Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / affeldt-aist/infotheo issues and pull requests

#131 - compatibility with Coq 8.20

Pull Request - State: closed - Opened by affeldt-aist 3 months ago

#130 - compilation with latest available packages

Issue - State: open - Opened by affeldt-aist 4 months ago

#129 - resilience with arbitrary weight function

Pull Request - State: open - Opened by hoheinzollern 6 months ago

#128 - improve bounds

Pull Request - State: open - Opened by affeldt-aist 7 months ago

#127 - start porting proba.v

Pull Request - State: open - Opened by affeldt-aist 7 months ago - 1 comment

#126 - migration from coq R to mca R

Pull Request - State: open - Opened by t6s 7 months ago

#125 - tweaks to constants in weightedmean.v

Pull Request - State: closed - Opened by hoheinzollern 7 months ago

#124 - renaming

Pull Request - State: closed - Opened by affeldt-aist 7 months ago

#123 - fixes #122

Pull Request - State: closed - Opened by affeldt-aist 7 months ago

#122 - rename `cPr_eqE'` to `cPr_eq_def`

Issue - State: closed - Opened by affeldt-aist 7 months ago

#121 - fix naming

Pull Request - State: closed - Opened by affeldt-aist 8 months ago - 1 comment

#120 - Robust mean estimators

Pull Request - State: closed - Opened by hoheinzollern 8 months ago - 3 comments

#119 - fixes #69

Pull Request - State: closed - Opened by affeldt-aist 8 months ago

#118 - fixes #117

Pull Request - State: closed - Opened by affeldt-aist 8 months ago

#117 - `.-fdist` notation

Issue - State: closed - Opened by affeldt-aist 8 months ago

#116 - port to MC2

Pull Request - State: closed - Opened by gares 11 months ago - 3 comments

#113 - fix sumRE

Pull Request - State: closed - Opened by t6s 11 months ago

#112 - test compatibility with Coq 8.19

Pull Request - State: closed - Opened by affeldt-aist about 1 year ago

#111 - upd opam

Pull Request - State: closed - Opened by affeldt-aist about 1 year ago - 10 comments

#110 - change the notation for tnth from \_ to avoid a conflict with mca

Pull Request - State: closed - Opened by t6s about 1 year ago - 6 comments

#109 - RV_ring

Issue - State: open - Opened by hoheinzollern about 1 year ago

#109 - RV_ring

Issue - State: open - Opened by hoheinzollern about 1 year ago

#108 - generalize and cleanup some lemmas for bigop

Pull Request - State: closed - Opened by t6s about 1 year ago

#108 - generalize and cleanup some lemmas for bigop

Pull Request - State: closed - Opened by t6s about 1 year ago

#107 - Cleaning 20231122

Pull Request - State: closed - Opened by affeldt-aist about 1 year ago

#107 - Cleaning 20231122

Pull Request - State: closed - Opened by affeldt-aist about 1 year ago

#106 - Cleaning 20231121

Pull Request - State: closed - Opened by t6s about 1 year ago

#106 - Cleaning 20231121

Pull Request - State: closed - Opened by t6s about 1 year ago

#105 - define fsdist_conv using the convType of R

Pull Request - State: closed - Opened by t6s over 1 year ago - 2 comments

#105 - define fsdist_conv using the convType of R

Pull Request - State: closed - Opened by t6s over 1 year ago - 2 comments

#104 - make fsdistbindE unconditional; generalize fsdistbindEwiden

Pull Request - State: closed - Opened by t6s over 1 year ago - 1 comment

#104 - make fsdistbindE unconditional; generalize fsdistbindEwiden

Pull Request - State: closed - Opened by t6s over 1 year ago - 1 comment

#103 - WIP: generalize Reals to realTypes for fdist

Pull Request - State: closed - Opened by yoshihiro503 over 1 year ago

#103 - WIP: generalize Reals to realTypes for fdist

Pull Request - State: closed - Opened by yoshihiro503 over 1 year ago

#102 - Infotheo052

Pull Request - State: closed - Opened by affeldt-aist over 1 year ago

#101 - update to mc 1.16.0

Pull Request - State: closed - Opened by affeldt-aist almost 2 years ago

#100 - WIP: use realType in fdists

Pull Request - State: closed - Opened by yoshihiro503 about 2 years ago - 1 comment

#99 - Generalize fdists

Issue - State: closed - Opened by Tragicus about 2 years ago - 2 comments

#98 - fixes #97

Pull Request - State: closed - Opened by affeldt-aist about 2 years ago

#97 - generalize to fieldType

Issue - State: closed - Opened by affeldt-aist about 2 years ago

#96 - fixes #95

Pull Request - State: closed - Opened by affeldt-aist about 2 years ago

#95 - generalize to realType

Issue - State: closed - Opened by affeldt-aist about 2 years ago

#94 - rebase infotheo over (concrete) categories

Pull Request - State: open - Opened by t6s about 2 years ago

#93 - Change the notation for `sub_vec` from `#` to `\#`

Pull Request - State: closed - Opened by t6s about 2 years ago

#92 - define probability measure from fsdist

Pull Request - State: closed - Opened by t6s about 2 years ago

#91 - more cleaning

Pull Request - State: closed - Opened by affeldt-aist about 2 years ago

#90 - more uniform naming convention

Pull Request - State: closed - Opened by affeldt-aist about 2 years ago - 1 comment

#89 - minor fixes

Pull Request - State: closed - Opened by affeldt-aist about 2 years ago

#88 - cleaning, PR to finmap, doc

Pull Request - State: closed - Opened by affeldt-aist about 2 years ago

#87 - submit to mathcomp-analysis

Issue - State: closed - Opened by affeldt-aist over 2 years ago

#86 - improve vandermonde matrix

Pull Request - State: closed - Opened by yoshihiro503 over 2 years ago

#85 - Tragicus master 20221018

Pull Request - State: closed - Opened by affeldt-aist over 2 years ago

#84 - More hb

Pull Request - State: closed - Opened by affeldt-aist over 2 years ago - 2 comments

#83 - port of infotheo to HB

Pull Request - State: closed - Opened by affeldt-aist over 2 years ago - 2 comments

#82 - trying to port to HB

Pull Request - State: closed - Opened by affeldt-aist over 2 years ago - 1 comment

#81 - Carathéodory

Pull Request - State: closed - Opened by Tragicus over 2 years ago - 16 comments

#80 - compatibility with mc 1.15.0

Pull Request - State: closed - Opened by affeldt-aist over 2 years ago

#79 - compatibility with mca 0.4.0 and greater

Pull Request - State: closed - Opened by affeldt-aist almost 3 years ago

#78 - add redirections to removed items in changedlog.txt

Pull Request - State: closed - Opened by t6s about 3 years ago

#77 - fixes #74

Pull Request - State: closed - Opened by affeldt-aist about 3 years ago - 1 comment

#76 - subsumed by eponymous lemma in mca

Issue - State: closed - Opened by affeldt-aist about 3 years ago

#75 - define ereal_convType

Pull Request - State: closed - Opened by t6s about 3 years ago

#74 - rename to nnfun

Issue - State: closed - Opened by affeldt-aist about 3 years ago

#73 - fixes #72

Pull Request - State: closed - Opened by affeldt-aist about 3 years ago

#72 - rename subr_le0

Issue - State: closed - Opened by affeldt-aist about 3 years ago

#71 - replace boolean inequalities with Rstruct's ones

Issue - State: closed - Opened by affeldt-aist about 3 years ago

#70 - update wrt to mathcomp 1.13

Pull Request - State: closed - Opened by affeldt-aist about 3 years ago

#69 - vandermonde to MathComp

Issue - State: closed - Opened by affeldt-aist about 3 years ago - 3 comments

#68 - minor cleaning around random variables

Pull Request - State: closed - Opened by t6s over 3 years ago

#67 - use topology.fct_comRingType for RVs

Pull Request - State: open - Opened by t6s over 3 years ago - 9 comments

#66 - fixes issue #65

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#65 - ssrZ missing lemmas

Issue - State: closed - Opened by AyumuSaito over 3 years ago

#64 - new lemmas for infotheo

Issue - State: closed - Opened by hoheinzollern over 3 years ago - 5 comments
Labels: enhancement

#63 - compatibility with mathcomp-analysis 0.3.10

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#62 - remove choice_of_Type

Issue - State: closed - Opened by affeldt-aist over 3 years ago - 1 comment
Labels: enhancement

#61 - fixes issue #22

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago

#60 - support for mca 0.3.8

Pull Request - State: closed - Opened by affeldt-aist over 3 years ago - 1 comment

#59 - error when building ecc_modern

Issue - State: closed - Opened by lambdaofgod over 3 years ago - 2 comments

#58 - fingen

Pull Request - State: open - Opened by affeldt-aist over 3 years ago

#57 - I nixified this: https://github.com/jorsn/infotheo/tree/nixify

Issue - State: open - Opened by jorsn over 3 years ago - 1 comment

#56 - cleanup and comment

Pull Request - State: closed - Opened by t6s almost 4 years ago

#55 - Unable to install using opam. ERROR while compiling coq-infotheo.0.3.1

Issue - State: closed - Opened by ievajas almost 4 years ago - 2 comments

#53 - lemmas from monae

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago

#52 - generalize closed to ltR2W

Pull Request - State: closed - Opened by t6s almost 4 years ago

#51 - prob interface

Issue - State: open - Opened by affeldt-aist almost 4 years ago - 2 comments

#50 - fixes #41

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago

#49 - Dist necset notation

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago - 3 comments

#48 - improve Affine and BiglubMorph definitions

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago

#47 - fixes #42

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago

#46 - Conv set

Pull Request - State: closed - Opened by t6s almost 4 years ago - 2 comments

#45 - Boolean prob

Pull Request - State: closed - Opened by t6s almost 4 years ago - 9 comments

#42 - Lemma names Prob.ge0 and prob_le0 are not uniform

Issue - State: closed - Opened by t6s almost 4 years ago

#41 - rename constructor

Issue - State: closed - Opened by affeldt-aist almost 4 years ago

#40 - make oppr_{l,g}t0 equivalences

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago

#39 - fixes #32

Pull Request - State: closed - Opened by affeldt-aist almost 4 years ago