Ecosyste.ms: Issues

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

GitHub / math-comp/trajectories issues and pull requests

#37 - sync with flavor

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

#37 - sync with flavor

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

#36 - port to math-comp 2 + vertical cell repo + flavor branch

Pull Request - State: closed - Opened by gares 10 months ago - 4 comments

#36 - port to math-comp 2 + vertical cell repo + flavor branch

Pull Request - State: closed - Opened by gares 10 months ago - 4 comments

#35 - Removing CI action

Issue - State: open - Opened by ybertot over 1 year ago - 3 comments

#34 - fix the code wrt a change of semantics in hornerE no back. comp.

Pull Request - State: closed - Opened by ybertot almost 2 years ago - 1 comment

#34 - fix the code wrt a change of semantics in hornerE no back. comp.

Pull Request - State: closed - Opened by ybertot almost 2 years ago - 1 comment

#33 - fix a change in semantics for hornerE in a backward compatible way

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

#33 - fix a change in semantics for hornerE in a backward compatible way

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

#32 - change of semantics of `hornerE`

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

#32 - change of semantics of `hornerE`

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

#30 - remove the less general definition of Mobius

Issue - State: open - Opened by affeldt-aist almost 2 years ago - 1 comment

#30 - remove the less general definition of Mobius

Issue - State: open - Opened by affeldt-aist almost 2 years ago - 1 comment

#29 - finding an intersecting segment using b

Issue - State: closed - Opened by affeldt-aist almost 2 years ago - 1 comment

#29 - finding an intersecting segment using b

Issue - State: closed - Opened by affeldt-aist almost 2 years ago - 1 comment

#28 - replace Zp_succ with (_ + 1)%R

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

#28 - replace Zp_succ with (_ + 1)%R

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

#27 - use infotheo here

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

#27 - use infotheo here

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

#26 - unused lemma filter_succ

Issue - State: open - Opened by affeldt-aist almost 2 years ago - 1 comment

#25 - eqVneq w.r.t. 0

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

#25 - eqVneq w.r.t. 0

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

#24 - pending admit

Issue - State: closed - Opened by affeldt-aist almost 2 years ago - 1 comment

#24 - pending admit

Issue - State: closed - Opened by affeldt-aist almost 2 years ago - 1 comment

#23 - lint (cont'd)

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

#23 - lint (cont'd)

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

#22 - pending admit

Issue - State: closed - Opened by affeldt-aist almost 2 years ago - 1 comment

#22 - pending admit

Issue - State: closed - Opened by affeldt-aist almost 2 years ago - 1 comment

#21 - lint encompassl_spec

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

#21 - lint encompassl_spec

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

#20 - rename sensDirect to ccw/counterclockwise

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

#20 - rename sensDirect to ccw/counterclockwise

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

#19 - Update convex

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

#19 - Update convex

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

#18 - introduce fdist

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

#18 - introduce fdist

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

#17 - this should be removed

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

#16 - Hull2d

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

#16 - Hull2d

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

#15 - change layout

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

#15 - change layout

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

#14 - Pr 20220901

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

#14 - Pr 20220901

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

#13 - admits in three_circles + lint

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

#13 - admits in three_circles + lint

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

#12 - test Bezier definition

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

#12 - test Bezier definition

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

#11 - just linting while reading the corresponding paper

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

#11 - just linting while reading the corresponding paper

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

#10 - Cleanup bern

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

#10 - Cleanup bern

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

#9 - add real-closed dependency, reduce number of versions checked

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

#9 - add real-closed dependency, reduce number of versions checked

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

#8 - retrofit cm3 and properties of reciprocal

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

#7 - code for reciprocate_pol, proofs in progress

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

#6 - ler_absr_eval_pol

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

#5 - rename cmvt to civt

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

#4 - Functional Scheme

Issue - State: open - Opened by affeldt-aist over 2 years ago - 1 comment

#3 - reciprocate_pol

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

#2 - expand

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

#1 - translate_pol'

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