Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / moves-rwth/caesar issues and pull requests
#8 - Rewrite tests to use proof rule annotations
Issue -
State: open - Opened by Philipp15b 8 months ago
Labels: enhancement
#7 - annotations: calculus annotations (wp,ert,wlp)
Pull Request -
State: open - Opened by umutdural 11 months ago
#6 - Fix: multiple annotations
Pull Request -
State: closed - Opened by umutdural about 1 year ago
- 1 comment
#5 - fix: nested one-loop encodings
Pull Request -
State: closed - Opened by umutdural about 1 year ago
#4 - Website 2.0
Pull Request -
State: closed - Opened by Philipp15b about 1 year ago
#3 - pgcl2heyvl encoding: bounded model checking
Pull Request -
State: closed - Opened by umutdural about 1 year ago
#2 - annotations, proof rule encodings, specty
Pull Request -
State: closed - Opened by umutdural about 1 year ago
#1 - add support for triggers on quantifiers
Pull Request -
State: closed - Opened by Philipp15b about 1 year ago