Ecosyste.ms: Issues

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

GitHub / coq-community/bertrand issues and pull requests

#19 - Coq8.18

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

#18 - Transfer of Bertrand's postulate to CoqPrime

Issue - State: open - Opened by palmskog about 2 years ago

#17 - fix some basic arith deprecations

Pull Request - State: closed - Opened by palmskog almost 3 years ago - 3 comments

#16 - Reorganize into subdirectories for maintainability

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

#15 - more idiomatic why3 replay ci

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

#14 - update meta.yml for 8.15 and updated Why3 deps

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

#13 - update why replay requirements, add CI for replay

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

#12 - Fix meta.yml and regenerate files from templates.

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

#11 - opam file for why3 proof, switch to GitHub Actions CI, fix Dune build

Pull Request - State: closed - Opened by palmskog about 4 years ago - 7 comments

#10 - Idea: port Why program to C and verify with VST

Issue - State: open - Opened by palmskog over 4 years ago - 1 comment

#9 - Support for Coq 8.12

Pull Request - State: closed - Opened by palmskog over 4 years ago

#8 - Fixes to make the project more maintainable

Pull Request - State: closed - Opened by palmskog over 4 years ago

#7 - Update info on compatibility and CI.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago

#6 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago

#5 - Opam package compiling with Coq 8.10

Issue - State: closed - Opened by herbelin about 5 years ago - 1 comment

#4 - Update CI and add other files generated from meta.yml

Pull Request - State: closed - Opened by Zimmi48 about 6 years ago - 3 comments

#3 - Setup Continuous Integration.

Pull Request - State: closed - Opened by Zimmi48 over 6 years ago

#2 - Bertrand is only compatible with Coq 8.7

Issue - State: closed - Opened by Zimmi48 over 6 years ago - 1 comment

#1 - Removing one useless use of v62.

Pull Request - State: closed - Opened by Zimmi48 over 8 years ago - 1 comment