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

#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