summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Simplified StratifiedVC interfaceGravatar akashlal2015-06-01
* Improve heuristics for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-31
* Merge branch 'master' of https://github.com/boogie-org/boogieGravatar qadeer2015-05-27
|\
* | bug fix in popGravatar qadeer2015-05-27
| * Allow for extra instrumentation on program before vc genGravatar Akash Lal2015-05-25
| * Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-22
|/
* Merge branch 'master' of https://github.com/boogie-org/boogieGravatar qadeer2015-05-20
|\
* | added more specificationsGravatar qadeer2015-05-20
| * Minor changesGravatar Valentin Wüstholz2015-05-20
| * Minor refactoringGravatar Valentin Wüstholz2015-05-20
| * Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-20
| * Improve support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-19
| * Make it not return cached verification results for timed-out implementations ...Gravatar Valentin Wüstholz2015-05-18
| * Add some experimental support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-18
| * Minor refactoringGravatar Valentin Wüstholz2015-05-17
| * Make caching of verification results more fine-grained for changes that affec...Gravatar Valentin Wüstholz2015-05-17
| * Fix for printFixedPoint when dealing with functionsGravatar Akash Lal2015-05-13
| * SecureVC: exampleGravatar Akash Lal2015-05-07
| * Fix for secureVCGenGravatar Akash Lal2015-05-07
| * Make it preserve the fact that the value of an assumption variable never beco...Gravatar Valentin Wüstholz2015-05-06
| * Fix for AbsHoudiniGravatar akashlal2015-05-01
| * AbsHoudini: made disjunct bound a parameterGravatar akashlal2015-05-01
| * Add support for 'verified_under' attributes on procedure calls and invariants.Gravatar Valentin Wüstholz2015-04-29
| * Try to add build status icon for the Windows build.Gravatar Dan Liew2015-04-28
| * Try to fix the emission of invalid SMT-LIBv2 queries when Boogie has aGravatar Dan Liew2015-04-26
| * Minor fixes for AbsHoudiniGravatar Akash Lal2015-04-23
|/
* renamed og to civlGravatar qadeer2015-04-22
* Better error messageGravatar akashlal2015-04-21
* added more examplesGravatar qadeer2015-04-18
* patched ghost checkingGravatar qadeer2015-04-18
* changed aux attribute to ghostGravatar qadeer2015-04-18
* fixed the treatment of externGravatar qadeer2015-04-17
* first check inGravatar qadeer2015-04-16
* patched the type checker to deal with modularityGravatar qadeer2015-04-16
* Note that CVC4 support is experimental.Gravatar Dan Liew2015-04-05
* Fix typo in README.md spotted by Jeroen Ketema.Gravatar Dan Liew2015-04-05
* Patch by Jeroen Ketema.Gravatar Dan Liew2015-04-05
* Disable test is ``Test/Secure``. They aren't set up properly.Gravatar Dan Liew2015-04-05
* Some test cases for SecureVCGen (disabled for lit currently)Gravatar akashlal2015-04-05
* VC gen for security propertiesGravatar akashlal2015-04-05
* Fix ``Test/test15/CaptureState.bpl`` test under Linux.Gravatar Dan Liew2015-04-03
* Fix ``livevars/daytona_bug2_ioctl_example_2.bpl`` test under Linux.Gravatar Dan Liew2015-04-03
* Add TravisCI build status icon to README.mdGravatar Dan Liew2015-04-03
* Clean up .gitignore fileGravatar Dan Liew2015-04-03
* Remove some old mercurial files.Gravatar Dan Liew2015-04-03
* Add .travis.yml file for TravisCI builds.Gravatar Dan Liew2015-04-03
* Add initial README.mdGravatar Dan Liew2015-04-03
* Add LICENSE file.Gravatar Dan Liew2015-04-01
* updated the example to include atomic specifications (sent by Suha)Gravatar qadeer2015-03-29
* Patch by Jeroen KetemaGravatar Dan Liew2015-03-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 05:29:11 +0000