Commits

Commits on Aug 29, 2022

Merge pull request #1022 from GaloisInc/rwd/simple-loop-invariant
robdockins
committedAug 29, 2022

Commits on Aug 26, 2022

Weaken the footprint checking code.
robdockins
committedAug 26, 2022
Add checking to the memory footprint to ensure we have reached fixpoint.
robdockins
committedAug 26, 2022
Cleanups, comments, and improvements to the code for finding
robdockins
committedAug 26, 2022

Commits on Aug 23, 2022

Minor cleanups / address code review comments
robdockins
committedAug 23, 2022
Apply suggestions from code review

committedAug 23, 2022

Commits on Aug 8, 2022

Rework the "simple loop fixpoint" feature into a more
robdockins
committedAug 8, 2022
Provide a name for the "noSatisfyingWrite" special boolean
robdockins
committedAug 8, 2022

Commits on Jun 30, 2022

Merge pull request #1006 from GaloisInc/rwd/llvm-lazy-load
robdockins
committedJun 30, 2022
Rework the lazy loading feature again to make it so that the function
robdockins
committedJun 30, 2022

Commits on Jun 29, 2022

Update/improve/add comments and add changelog entries.
robdockins
committedJun 29, 2022
Rework some aspects of the LLVM lazy loading code to avoid
robdockins
committedJun 29, 2022
Fix uc-crux-llvm test suite
robdockins
committedJun 29, 2022
Fix crucible-llvm test suite
robdockins
committedJun 29, 2022
Implement new registration functions that "lazily" set up
robdockins
committedJun 29, 2022
Only translate CFGs when requested via getTranslatedCFG.
robdockins
committedJun 29, 2022
Update UC-Crux-LLVM with API changes
robdockins
committedJun 29, 2022
Start updating the crucible-llvm API to set up for
robdockins
committedJun 29, 2022

Commits on Mar 17, 2022

Merge pull request #955 from GaloisInc/symSequence-expose
robdockins
committedMar 17, 2022

Commits on Mar 15, 2022

Expose a few additional operations onm SymSequence.
robdockins
committedMar 15, 2022

Commits on Mar 4, 2022

Merge pull request #951 from GaloisInc/simple-loop-fixpoint2
robdockins
committedMar 4, 2022
Refactor the simple loop fixpoint state machine datastructures
robdockins
committedMar 4, 2022

Commits on Mar 3, 2022

Update SimpleLoopFixpoint with changes relating to the
robdockins
committedMar 3, 2022
Various inline comments
robdockins
committedMar 3, 2022
Merge remote-tracking branch 'origin/master' into simple-loop-fixpoint2
robdockins
committedMar 3, 2022

Commits on Jan 22, 2022

Merge pull request #945 from GaloisInc/separate-backend
robdockins
committedJan 22, 2022

Commits on Jan 21, 2022

fix symio and llvm test suite
robdockins
committedJan 21, 2022
Rework some aspects of how the Unsupported error is used.
robdockins
committedJan 21, 2022
Simplify somewhat the use of type proxies.
robdockins
committedJan 21, 2022
Update What4 module and use the new EmptyExprBuilderState
robdockins
committedJan 21, 2022
Rename and reorganize the IsSymInterface and IsBoolSolver
robdockins
committedJan 21, 2022

Commits on Jan 19, 2022

Apply suggestions from code review

robdockins
and
RyanGlScott
committedJan 19, 2022

Commits on Jan 13, 2022

Start a crucible CHANGELOG describing the separate backend changes.
robdockins
committedJan 13, 2022

Commits on Jan 11, 2022

Simplify the implementation of refIsEqual in crucible-jvm.
robdockins
committedJan 11, 2022

Commits on Jan 10, 2022

Bump What4 submodule
robdockins
committedJan 10, 2022