Ecosyste.ms: Issues

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

GitHub / coq-community/stalmarck issues and pull requests

#31 - Adapt to coq/coq#18938 (EConstr.ERelevance)

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

#31 - Adapt to coq/coq#18938 (EConstr.ERelevance)

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

#30 - remove redundant flags, update boilerplate, commit to Dune-Coq 0.3

Pull Request - State: closed - Opened by palmskog over 1 year ago

#30 - remove redundant flags, update boilerplate, commit to Dune-Coq 0.3

Pull Request - State: closed - Opened by palmskog over 1 year ago

#29 - Adapt w.r.t. coq/coq#17768.

Pull Request - State: closed - Opened by ppedrot over 1 year ago

#29 - Adapt w.r.t. coq/coq#17768.

Pull Request - State: closed - Opened by ppedrot over 1 year ago

#28 - reorganize files into theories/src/tests

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

#27 - work around problem with dune install by only using coq_makefile

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

#26 - clean up some code

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

#25 - add Proof sentences, fix coqdoc comments

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

#24 - comment header in each file, use from-require-import

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

#23 - Fix master

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

#22 - Fix Coq master build

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

#21 - refresh Nix CI

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

#20 - Nix refresh for v8.14

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

#19 - add explicit hint locality to avoid warnings

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

#18 - switch to GitHub Actions CI

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

#17 - fix Require deprecation warnings

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

#16 - Switch to dune for building and reorganize files and packages

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

#15 - Switch to dune for building and reorganize files and packages

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

#14 - Switch to dune for building and reorganize files and packages

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

#13 - change maintainer in meta.yml and README.md

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

#12 - Regenerate files from latest templates.

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

#11 - Fixes to build with 8.10

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

#10 - update files from templates for 8.9

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

#9 - Patent warning appears to be obsolete

Issue - State: closed - Opened by palmskog almost 6 years ago

#8 - Extracted code is checked into version control

Issue - State: closed - Opened by palmskog almost 6 years ago

#7 - Port to mlg, adapt to SProp

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

#6 - update meta.yml and regenerate opam and README.md

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

#5 - update meta.yml and regenerate opam and README.md for 8.9

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

#4 - Travis for 8.9

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

#3 - Fix deprecations for 8.9

Pull Request - State: closed - Opened by palmskog about 6 years ago - 1 comment

#2 - Add CI.

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

#1 - stalmark (master) is not compatible with any released version of Coq!

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