summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| * Boogie build succeededGravatar CodeplexBot2011-10-01
| * MergeGravatar Unknown2011-09-30
| |\
| * | Started working on inter-procedural inferenceGravatar Unknown2011-09-30
| | * MergeGravatar Rustan Leino2011-09-30
| | |\
| | * | Ignore Chalice/bin directoryGravatar Rustan Leino2011-09-30
| | * | Dafny: Updated snapshotable tree to remove IsReadonly precondition for Create...Gravatar Rustan Leino2011-09-30
| | * | Dafny: fixed bug in translator when LHS of a call was an array element or a natGravatar Rustan Leino2011-09-30
| * | | MergeGravatar Unknown2011-09-30
| |\ \ \ | | | |/ | | |/|
| * | | Changes to GPUVerifyGravatar Unknown2011-09-30
| | * | MergeGravatar qadeer2011-09-30
| | |\ \
| | * | | bug fix in houdiniGravatar qadeer2011-09-30
| * | | | Refactoring and reorganisation of GPUVerifyGravatar Unknown2011-09-30
| |/ / /
| | * | Dafny: Fixed the 'Answer' file for test 'dafny2'.Gravatar wuestholz2011-09-30
| | * | Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2011-09-30
| |/ /
| | * Dafny: beautification in one test case, and fixed an Answer fileGravatar Rustan Leino2011-09-29
| | * Dafny: improved a resolution error message, and fixed a crash in the resolverGravatar Rustan Leino2011-09-29
| * | Added missing filesGravatar Unknown2011-09-29
| * | MergeGravatar Unknown2011-09-29
| |\|
| * | Made use of Houdini optionalGravatar Unknown2011-09-29
| | * Dafny: Added TreeBarrier as a test caseGravatar peter mueller peter.mueller@inf.ethz.ch2011-09-29
| | * Boogie build succeededGravatar CodeplexBot2011-09-29
| |/ |/|
* | - updated the examples to use the new keywords (interface/datamodel)Gravatar Aleksandar Milicevic2011-09-29
* | VCC: Support _(blob ..) types; fix crashGravatar Michal Moskal2011-09-28
* | MergeGravatar Rustan Leino2011-09-28
|\ \
* | | Jennisys: change of keywords, now: interface/datamodel/codeGravatar Rustan Leino2011-09-28
| | * MergeGravatar Unknown2011-09-28
| | |\ | | |/ | |/|
| * | Chalice build succeededGravatar CodeplexBot2011-09-28
| * | Boogie build succeededGravatar CodeplexBot2011-09-28
| * | MergeGravatar qadeer2011-09-27
| |\ \
| * | | updated Houdini so it works with SMTLibGravatar qadeer2011-09-27
| | * | Bug fix to stratified inlining error trace valuesGravatar Unknown2011-09-28
| |/ /
| | * MergeGravatar Unknown2011-09-27
| | |\ | | |/ | |/|
| | * Progress on GPUVerifyGravatar Unknown2011-09-27
| * | MergeGravatar qadeer2011-09-27
| |\ \
| * | | fixed houdini so that it is cognizant of inlined proceduresGravatar qadeer2011-09-27
| * | | Updated the ANSWER file for 'test15'.Gravatar wuestholz2011-09-27
| * | | Chalice: Added missing reference output for AVLTree examplesGravatar mschwerhoff2011-09-27
| * | | Tagging EMIC CC.NET build 2.1.30927.0Gravatar VccBuildServer2011-09-27
| * | | Name the constant used in @MV_state function applications - otherwise we get ...Gravatar Michal Moskal2011-09-26
| | * | MergeGravatar qadeer2011-09-24
| | |\ \ | | |/ / | |/| |
| | * | bitvector fixesGravatar qadeer2011-09-24
| * | | Tagging EMIC CC.NET build 2.1.30924.1Gravatar VccBuildServer2011-09-24
| * | | BVD/VCC: Handle reading records/data types from memoryGravatar Michal Moskal2011-09-23
| * | | Tagging EMIC CC.NET build 2.1.30924.0Gravatar VccBuildServer2011-09-24
| * | | Better support for map typesGravatar Michal Moskal2011-09-23
| * | | Handle datatypes and recordsGravatar Michal Moskal2011-09-23
| * | | Add handling of union active optionsGravatar Michal Moskal2011-09-23
| * | | Make sure items are visible when navigating the model with arrow keysGravatar Michal Moskal2011-09-23
| * | | Dafny: Added some assertions.Gravatar wuestholz2011-09-23
| * | | Dafny: Added a 'Checked' configuration and fixed some runtime assertion viola...Gravatar wuestholz2011-09-23
| |/ /
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 01:54:15 +0000