Commits

Commits on May 23, 2019

Merge branch 'master' of github.com:GaloisInc/crucible
yav
committedMay 23, 2019
Move executable in a separate directory
yav
committedMay 23, 2019
Expose the overrides from crux-llvm
yav
committedMay 23, 2019

Commits on May 22, 2019

Utilities for finding functions.
yav
committedMay 22, 2019
Make the Crucible initialization depend on the Translation
yav
committedMay 22, 2019
Make the Setup code LLVM independent
yav
committedMay 22, 2019
Allow using base 4.11
yav
committedMay 22, 2019

Commits on May 21, 2019

Commits on Dec 7, 2018

Set the simulator verbosity to being one less than the crux's verbosity.
yav
committedDec 7, 2018
Remove unused import
yav
committedDec 7, 2018

Commits on Dec 6, 2018

Rewrite to avoid requirement for MonadFail
yav
committedDec 6, 2018
Ignore GHC environment files
yav
committedDec 6, 2018

Commits on Aug 10, 2018

Fix-up gcPop take 2
yav
committedAug 10, 2018
Undo previous "fix".
yav
committedAug 10, 2018
Fix comment
yav
committedAug 10, 2018
Fix-up gcPop
yav
committedAug 10, 2018
Fix comments
yav
committedAug 10, 2018
Correct the definition of goalsConj
yav
committedAug 10, 2018

Commits on Jul 11, 2018

Merge branch 'master' of github.com:GaloisInc/crucible
yav
committedJul 11, 2018
Annotate paths with loop iterations
yav
committedJul 11, 2018

Commits on Jul 10, 2018

Generate counter example executables.
yav
committedJul 10, 2018
Rename stuff, and copy over UI skin
yav
committedJul 10, 2018
Add a bit of a delay so that we can see the progress bar
yav
committedJul 10, 2018
Say things after proving stuff.
yav
committedJul 10, 2018
Store output in a directory called "results"
yav
committedJul 10, 2018
Merge remote-tracking branch 'origin/master' into yav/wip
yav
committedJul 10, 2018
Merge pull request #46 from GaloisInc/goal-tree
yav
committedJul 10, 2018
Display paths; clean-up goal simplification.
yav
committedJul 10, 2018
Place all output in the same sub-directory
yav
committedJul 10, 2018
Don't discard assume true path conditions, as we still need to know that we went that way
yav
committedJul 10, 2018
Add some more primitives for sv-comp
yav
committedJul 10, 2018

Commits on Jul 9, 2018

Generate JS source
yav
committedJul 9, 2018