Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc/saw-core-coq issues and pull requests
#37 - Adapt to GaloisInc/saw-core#119.
Pull Request -
State: closed - Opened by brianhuffman over 3 years ago
#36 - Adapt to GaloisInc/saw-core#111, which uses Data.Text for FieldName.
Pull Request -
State: closed - Opened by brianhuffman over 3 years ago
#34 - BUG: Record projections with polymorphic types do not work correctly
Issue -
State: closed - Opened by eddywestbrook almost 4 years ago
- 1 comment
#33 - Wip heapster merge
Pull Request -
State: closed - Opened by benjaminselfridge almost 4 years ago
- 2 comments
#32 - Bound names
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
#29 - Heapster bound names
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
- 5 comments
#28 - Convert from `ansi-wl-pprint` package to `prettyprinter`.
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
- 1 comment
#26 - Update to follow 'structured-names' branch
Pull Request -
State: closed - Opened by robdockins almost 4 years ago
- 1 comment
#23 - Add soft line break for let expressions.
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
#21 - Translate Constant term bodies in a top-level name scope.
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
#20 - Heapster changes
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
#19 - Heapster changes
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
#18 - Translated `Constant` terms use wrong name environment
Issue -
State: closed - Opened by brianhuffman almost 4 years ago
#17 - Add precedences to term pretty printer, to minimize parentheses.
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
#15 - Coq pretty printer uses too many parentheses
Issue -
State: closed - Opened by brianhuffman almost 4 years ago
#14 - Preserve subterm sharing
Pull Request -
State: closed - Opened by brianhuffman almost 4 years ago
#13 - Adapt to renaming of package `cryptol-verifier` to `cryptol-saw-core`.
Pull Request -
State: closed - Opened by brianhuffman about 4 years ago
#12 - Translate bound names so as to avoid shadowing or using reserved keywords
Pull Request -
State: closed - Opened by brianhuffman about 4 years ago
#10 - Move some stuff from the formal-vaccine project into the CompM module
Pull Request -
State: closed - Opened by ChrisEPhifer about 4 years ago
#9 - Remove dependency on extensible-records coq package
Issue -
State: closed - Opened by brianhuffman over 4 years ago
- 1 comment
#6 - Preserve term sharing
Issue -
State: closed - Opened by brianhuffman over 4 years ago
#5 - Update SAW commands
Pull Request -
State: closed - Opened by Ptival over 4 years ago