Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / meiersi/scyther-proof issues and pull requests
#13 - Linux Install Issue using Cabal
Issue -
State: closed - Opened by callalilychen over 9 years ago
- 7 comments
#12 - Primitive support for matching and non-matching + update to Isabelle2014
Pull Request -
State: closed - Opened by lochbihl almost 10 years ago
- 5 comments
#11 - make document preparation work
Pull Request -
State: closed - Opened by lochbihl almost 11 years ago
- 3 comments
#11 - make document preparation work
Pull Request -
State: closed - Opened by lochbihl almost 11 years ago
- 3 comments
#10 - Update to Isabelle2013-2
Pull Request -
State: closed - Opened by lochbihl about 11 years ago
#9 - Test that scyther-proof still compiles with GHC 7.0.4
Issue -
State: open - Opened by meiersi almost 12 years ago
#8 - Ensure that scyther-proof compiles with GHC 7.6.2
Issue -
State: closed - Opened by meiersi almost 12 years ago
- 1 comment
Labels: enhancement
#7 - update README.md to Isabelle2013
Pull Request -
State: closed - Opened by lochbihl almost 12 years ago
#6 - Remove superfluous isabelle theories
Issue -
State: closed - Opened by meiersi almost 12 years ago
- 2 comments
Labels: enhancement
#5 - Check regressions on examples
Issue -
State: closed - Opened by meiersi almost 12 years ago
- 1 comment
#4 - Update isar-keywords.el
Issue -
State: closed - Opened by meiersi almost 12 years ago
#3 - Adapt `README.md` to switch to Isabelle 2013
Issue -
State: closed - Opened by meiersi almost 12 years ago
- 1 comment
Labels: bug
#2 - Fix --rebuild-logic
Issue -
State: closed - Opened by meiersi almost 12 years ago
- 2 comments
Labels: bug
#1 - Update auf Isabelle2013
Pull Request -
State: closed - Opened by lochbihl almost 12 years ago
- 1 comment