|
Failed to load latest commit information. |
|
bin
|
Updated Z3, Boogie, and Corral versions
|
Oct 20, 2018
|
|
|
docs
|
Added conditional verifiers paper
|
Jul 23, 2018
|
|
|
examples
|
Updated our running example
|
Aug 17, 2016
|
|
|
include
|
Fix rust entry point
|
Nov 7, 2018
|
|
|
lib
|
Minor fix to comments in Rust additions
|
Nov 10, 2018
|
|
|
rise4fun
|
Restored the functionality of Rise4Fun's webserver. Previously, any a…
|
Feb 21, 2018
|
|
|
share/smack
|
Last minute patch to fix an SVCOMP issue with several benchmarks
|
Nov 28, 2018
|
|
|
svcomp
|
Bumped version number to 1.9.3
|
Nov 28, 2018
|
|
|
test
|
Add checking for left-shift overflow for C programs. Fixes #382.
|
Nov 2, 2018
|
|
|
tools/llvm2bpl
|
Add an LLVM pass to normalize loops.
|
Jun 5, 2018
|
|
|
.gitattributes
|
Added newline in the end of gitattributes
|
Mar 23, 2016
|
|
|
.gitignore
|
Merged upstream develop branch.
|
May 22, 2015
|
|
|
.travis.yml
|
Updated mono install procedure
|
Oct 18, 2018
|
|
|
CMakeLists.txt
|
Add non-C smack libraries to CMake
|
Oct 2, 2018
|
|
|
CONTRIBUTING.md
|
Unified contribution guidelines
|
Dec 20, 2016
|
|
|
Doxyfile
|
Bumped version number to 1.9.3
|
Nov 28, 2018
|
|
|
LICENSE
|
Updated copyright year
|
Jan 19, 2018
|
|
|
README.md
|
Update Boogie and Corral links
|
Nov 17, 2017
|
|
|
Vagrantfile
|
Updated default vagrant Ubuntu release to 16.04 (xenial)
|
Oct 18, 2018
|
|
|
astyle.conf
|
Improved our code formatting style file a little bit to make it more …
|
Jul 3, 2013
|