Change saw-core tuple representation.#1612

Draft

brianhuffman wants to merge 27 commits intomasterfrom

saw-tuples

Commits on Mar 17, 2022

Fix definition of `ensureTupleType` in SCTypeCheck.hs.
brianhuffman
committed

Commits on Mar 18, 2022

Remove saw-core parenthesized tuple selector syntax "x.(1)".
brianhuffman
committed
Rewrite CompM combinators in Prelude.sawcore to use new tuple types.
brianhuffman
committed
Update saw-core tuple syntax in heapster-saw/examples.
brianhuffman
committed
Restore special cases to tuple operations in Heapster/SAWTranslation.
brianhuffman
committed
Change saw-core tuple representation.
brianhuffman
committed
Reinstate pair-related functions to Verifier/SAW/OpenTerm.hs
brianhuffman
committed
Adapt heapster-saw to changed tuple representation.
brianhuffman
committed
Adapt saw-core-coq to changed tuple representation.
brianhuffman
committed
Adapt saw-script to changed tuple representation.
brianhuffman
committed
Adapt crux-mir-comp to changed tuple representation.
brianhuffman
committed
Fix definition of `ensureTupleType` in SCTypeCheck.hs.
brianhuffman
committed
Remove saw-core parenthesized tuple selector syntax "x.(1)".
brianhuffman
committed
Rewrite CompM combinators in Prelude.sawcore to use new tuple types.
brianhuffman
committed
Update saw-core tuple syntax in heapster-saw/examples.
brianhuffman
committed
Restore special cases to tuple operations in Heapster/SAWTranslation.
brianhuffman
committed
Export typeListOpenTerm from OpenTerm library.
brianhuffman
committed
Add Coq definitions for `Tuple` and `{head,tail,cons}Tuple` functions.
brianhuffman
committed
fixed a bug in translateBlockMapBodies, which was iteratively building pairs instead of building one big tuple; changd foldBlockMapLetRec to mapBlockMapLetRec to facilitate this
Eddy Westbrook
committed
Merge branch 'saw-tuples' of github.com:GaloisInc/saw-script into saw-tuples
Eddy Westbrook
committed
added saw-core-coq translations for all the tuple-related definitions
Eddy Westbrook
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Change saw-core tuple representation.#1612

Change saw-core tuple representation.#1612
brianhuffman wants to merge 27 commits intomasterfrom
saw-tuples

Commits on Mar 16, 2022

Change saw-core tuple representation.

Reinstate pair-related functions to Verifier/SAW/OpenTerm.hs

Adapt heapster-saw to changed tuple representation.

Adapt saw-core-coq to changed tuple representation.

Adapt saw-script to changed tuple representation.

Adapt crux-mir-comp to changed tuple representation.

Commits on Mar 17, 2022

Fix definition of `ensureTupleType` in SCTypeCheck.hs.

Commits on Mar 18, 2022

Remove saw-core parenthesized tuple selector syntax "x.(1)".

Rewrite CompM combinators in Prelude.sawcore to use new tuple types.

Update saw-core tuple syntax in heapster-saw/examples.

Restore special cases to tuple operations in Heapster/SAWTranslation.

Change saw-core tuple representation.

Reinstate pair-related functions to Verifier/SAW/OpenTerm.hs

Adapt heapster-saw to changed tuple representation.

Adapt saw-core-coq to changed tuple representation.

Adapt saw-script to changed tuple representation.

Adapt crux-mir-comp to changed tuple representation.

Fix definition of `ensureTupleType` in SCTypeCheck.hs.

Remove saw-core parenthesized tuple selector syntax "x.(1)".

Rewrite CompM combinators in Prelude.sawcore to use new tuple types.

Update saw-core tuple syntax in heapster-saw/examples.

Restore special cases to tuple operations in Heapster/SAWTranslation.

Export typeListOpenTerm from OpenTerm library.

Add Coq definitions for `Tuple` and `{head,tail,cons}Tuple` functions.

fixed a bug in translateBlockMapBodies, which was iteratively building pairs instead of building one big tuple; changd foldBlockMapLetRec to mapBlockMapLetRec to facilitate this

Merge branch 'saw-tuples' of github.com:GaloisInc/saw-script into saw-tuples

added saw-core-coq translations for all the tuple-related definitions

Change saw-core tuple representation.#1612brianhuffman wants to merge 27 commits intomasterGaloisInc/saw-script:masterfrom saw-tuplesGaloisInc/saw-script:saw-tuplesCopy head branch name to clipboard

Commits

Commits on Mar 16, 2022

Commits on Mar 17, 2022

Commits on Mar 18, 2022

Change saw-core tuple representation.#1612
brianhuffman wants to merge 27 commits intomasterfrom
saw-tuples