Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/mmaps issues and pull requests
#16 - Fix deprecations and test Coq 8.20 in CI
Pull Request -
State: closed - Opened by palmskog 5 months ago
#15 - README update
Pull Request -
State: closed - Opened by palmskog 12 months ago
- 2 comments
#14 - add general lemmas relating fold and add
Pull Request -
State: closed - Opened by palmskog about 1 year ago
#13 - add proof of relate_fold_add
Pull Request -
State: closed - Opened by palmskog about 1 year ago
- 3 comments
#12 - Add results relating fold and add
Issue -
State: closed - Opened by palmskog about 1 year ago
- 2 comments
#11 - Fix deprecations and compatibility with 8.18
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#10 - extensional trie map for positive
Pull Request -
State: open - Opened by palmskog almost 2 years ago
- 3 comments
#9 - CI for 8.17
Pull Request -
State: closed - Opened by palmskog almost 2 years ago
#8 - Additional MMaps implementations using efficient trees
Issue -
State: open - Opened by palmskog almost 2 years ago
#7 - Reorganize files, add coqdoc and table of contents
Pull Request -
State: closed - Opened by palmskog about 2 years ago
- 2 comments
#6 - Compatibility with 8.17 and beyond
Pull Request -
State: closed - Opened by palmskog about 2 years ago
- 2 comments
#5 - Release for Coq 8.16
Issue -
State: closed - Opened by palmskog about 2 years ago
- 1 comment
#4 - Port to 8.17 and beyond
Issue -
State: closed - Opened by palmskog about 2 years ago
#3 - modern build automation, meta.yml and boilerplate generation
Pull Request -
State: closed - Opened by palmskog about 2 years ago
- 1 comment
#2 - Quick port to Coq 8.13.2 and 8.14.1 and 8.15.1
Pull Request -
State: closed - Opened by xavierleroy almost 3 years ago
- 4 comments
#1 - Doesn't build with Coq 8.14.1, 8.13.2, 8.12.2, nor 8.11.2
Issue -
State: closed - Opened by xavierleroy almost 3 years ago