Ecosyste.ms: Issues

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

GitHub / coq-community/alea issues and pull requests

#18 - CI: add Coq 8.13 and 8.14

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

#18 - CI: add Coq 8.13 and 8.14

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

#17 - Fix deprecated-hint-without-locality warning

Issue - State: open - Opened by anton-trunov almost 3 years ago

#17 - Fix deprecated-hint-without-locality warning

Issue - State: open - Opened by anton-trunov almost 3 years ago

#16 - switch to GitHub Actions CI

Pull Request - State: closed - Opened by palmskog almost 4 years ago - 1 comment

#16 - switch to GitHub Actions CI

Pull Request - State: closed - Opened by palmskog almost 4 years ago - 1 comment

#15 - Coq 8.12 and switch from omega to lia

Pull Request - State: closed - Opened by anton-trunov about 4 years ago

#14 - Regenerate files from latest templates.

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

#13 - Fix license

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

#12 - Update meta.yml

Pull Request - State: closed - Opened by volodeyka over 4 years ago - 2 comments

#11 - Fix license type and add LICENSE file

Issue - State: closed - Opened by anton-trunov over 4 years ago - 3 comments

#10 - Cleanup description: it should not contain markdown

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

#9 - Replace omega with lia

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

#8 - Ci1

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

#7 - fix description and reformulate documentation a bit

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

#6 - Add https://github.com/coq-contribs/random/ to README.md

Issue - State: closed - Opened by anton-trunov over 4 years ago - 1 comment

#5 - Tweaks

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

#4 - Refactor imports

Issue - State: closed - Opened by anton-trunov over 4 years ago - 1 comment

#3 - Incorporate more info from https://www.lri.fr/~paulin/ALEA/

Issue - State: closed - Opened by anton-trunov over 4 years ago - 1 comment

#2 - Other GitHub versions of ALEA

Issue - State: open - Opened by palmskog almost 5 years ago - 4 comments

#1 - added some files in .gitignore

Pull Request - State: closed - Opened by volodeyka almost 5 years ago