Comsume exp #3
Open
Comsume exp #3
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Conflicts: # src/main/scala/Config.scala # src/main/scala/rules/QuantifiedChunkSupport.scala # src/main/scala/supporters/functions/FunctionVerificationUnit.scala # src/test/scala/PortableSiliconTests.scala
Scope-based SymbExLogger
# Conflicts: # src/main/scala/SymbExLogger.scala
…ting). See also Silver commit bf22fbb61b8eefe0c1bdebb4a1606dc824c4769e.
…reduces the current runtime of Silicon's test suite from 14:30 min to 12:00 min
…ifying unstable examples
… map cache resulted in incompletenesses
…e it causes a test case — sequences.vpr, notoriously instable — to time out.
…n semantic heap snapshots)
…e semantics and support unclear.
…ion-drop-unneeded-result Remove unused let-result from definitional function axiom
Initialization of Verifier.inputFile
…re-reporting/default Adapt Silicon to support PluginAwareReporter
Add state consolidations & handle imprecise expressions
|
Consume code looks good minus some minor things we can discuss at our next meeting. Feel free to resolve the merge conflicts, merge the branch into master, and delete the branch. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Includes all the changes in consume-fp plus some additional ones for expressions. Should be the final changes for consume