Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / INRIA/zelus issues and pull requests
#20 - Better integration with Dune
Pull Request -
State: closed - Opened by gbdrt over 1 year ago
#19 - Implement parallel equation verification
Pull Request -
State: closed - Opened by jchen-cs over 1 year ago
- 1 comment
#19 - Implement parallel equation verification
Pull Request -
State: closed - Opened by jchen-cs over 1 year ago
- 1 comment
#18 - Spranjal fixing refinement expression dependent types
Pull Request -
State: closed - Opened by SharmPranjal about 2 years ago
- 3 comments
#18 - Spranjal fixing refinement expression dependent types
Pull Request -
State: closed - Opened by SharmPranjal about 2 years ago
- 3 comments
#17 - Fix compilation under Sundials/ML 5.8.0
Pull Request -
State: closed - Opened by tbrk almost 3 years ago
- 13 comments
#17 - Fix compilation under Sundials/ML 5.8.0
Pull Request -
State: closed - Opened by tbrk almost 3 years ago
- 13 comments
#16 - Fix the Python back end
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#15 - Add support for automaton in the Python backend
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#14 - Add exhaustive muF to Python operator matchings
Pull Request -
State: closed - Opened by rtkin over 3 years ago
- 1 comment
#13 - Add exhaustive muF to Python operator matchings
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#12 - Add renaming & flattening passes + clean code
Pull Request -
State: closed - Opened by rtkin over 3 years ago
- 1 comment
#11 - Fix compilation of infix operators : surround operations by parentheses
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#11 - Fix compilation of infix operators : surround operations by parentheses
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#10 - Compiling initialization of infer according to the Python back end.
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#10 - Compiling initialization of infer according to the Python back end.
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#9 - Fix muf
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#9 - Fix muf
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#8 - Fix muf
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#8 - Fix muf
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#7 - Rt/muf2
Pull Request -
State: closed - Opened by rtkin over 3 years ago
#4 - Rename files to avoid conflicts with OCaml compiler-libs
Pull Request -
State: closed - Opened by mandel over 3 years ago
- 6 comments
#4 - Rename files to avoid conflicts with OCaml compiler-libs
Pull Request -
State: closed - Opened by mandel over 3 years ago
- 6 comments
#3 - Github action to build and test on examples
Pull Request -
State: closed - Opened by gbdrt over 3 years ago
#3 - Github action to build and test on examples
Pull Request -
State: closed - Opened by gbdrt over 3 years ago
#2 - Dunify examples
Issue -
State: closed - Opened by gbdrt almost 4 years ago
- 4 comments
#2 - Dunify examples
Issue -
State: closed - Opened by gbdrt almost 4 years ago
- 4 comments
#1 - Change ocaml minimal version
Pull Request -
State: closed - Opened by pjmkrpg almost 4 years ago
- 1 comment