summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Added /z3multipleErrors flag for generation of multiple counterexamples per a...Gravatar mkawa2009-09-23
* * Boogie and Dafny: added /cev:<file> optionGravatar rustanleino2009-09-15
* Dafny: Added axioms for division and modulo.Gravatar rustanleino2009-09-15
* Dafny:Gravatar rustanleino2009-09-14
* Report prover warnings during smoke test via the VerifierCallbackGravatar stobies2009-09-07
* Use callback mechanism to report prover warnings; do not just write them to s...Gravatar stobies2009-09-07
* Renaming ExtractExpr into BvExtractExpr to fit naming scheme of the other bit...Gravatar stobies2009-09-07
* Full (?) support in Dafny for Counterexample Visualizer predicates.Gravatar rustanleino2009-08-19
* Please ignore. Just testing my account.Gravatar schaef2009-08-19
* Improve token-dumping in the inspector interfaceGravatar MichalMoskal2009-08-18
* Also sign AbsInt.dllGravatar stobies2009-08-18
* Added files to stamp drop builds with generated version numbersGravatar stobies2009-08-18
* - made the output of the Chalice-to-C# translator slightly nicerGravatar jansmans2009-08-17
* - Chalice-to-C# compiler now supports channelsGravatar jansmans2009-08-17
* Sign assembliesGravatar stobies2009-08-17
* Updated Answer files, in synch with my recent edits 31961.Gravatar rustanleino2009-08-16
* * Implemented channelsGravatar rustanleino2009-08-16
* Incorporated Counterexample Visualizer (CEV) information in the generated Boo...Gravatar rustanleino2009-08-15
* Fixed bug where the remove-empty-blocks optimization had not updated the star...Gravatar rustanleino2009-08-13
* Changes needed in order to build Boogie using a freshly built Spec# compiler ...Gravatar mikebarnett2009-08-10
* The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...Gravatar mikebarnett2009-08-09
* Removed Output files. These are created on a local machine when the tests ar...Gravatar rustanleino2009-08-07
* Fixed problem where nullary function with definition had caused a crash.Gravatar rustanleino2009-08-07
* Removed a temporary file that is created by the test script.Gravatar rustanleino2009-08-06
* Made Makefile DOS friendly.Gravatar rustanleino2009-08-06
* Fixed bug that used != instead of == in one translation of fresh.Gravatar rustanleino2009-08-06
* Parse channels and condition variables.Gravatar rustanleino2009-08-05
* Made trigger more liberal for int_2_U U_2_int axiom.Gravatar rustanleino2009-07-30
* Deleting another stray file.Gravatar mikebarnett2009-07-15
* Deleting the individual user options files.Gravatar mikebarnett2009-07-15
* Initial set of files.Gravatar mikebarnett2009-07-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-11 14:26:56 +0000