summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
...
* Link Model.cs in ModelViewer, so that BVD can be updated independtly of the r...Gravatar Michal Moskal2011-10-03
* MergeGravatar Unknown2011-09-30
|\
* | Started working on inter-procedural inferenceGravatar Unknown2011-09-30
| * MergeGravatar 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
| * | bug fix in houdiniGravatar qadeer2011-09-30
* | | Refactoring and reorganisation of GPUVerifyGravatar Unknown2011-09-30
|/ /
| * 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
| * VCC: Support _(blob ..) types; fix crashGravatar Michal Moskal2011-09-28
| * MergeGravatar Rustan Leino2011-09-28
| |\
* | \ MergeGravatar Unknown2011-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
| * | | 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
| * | | BVD/VCC: Handle reading records/data types from memoryGravatar Michal Moskal2011-09-23
| * | | 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
| |/ /
| * | Tree navigation with left/right arrowGravatar Michal Moskal2011-09-20
| * | Formatting.Gravatar Michal Moskal2011-09-20
| * | Dafny: Fixed an assertion violation in the "Checked" configuration.Gravatar wuestholz2011-09-20
| | * MergeGravatar Rustan Leino2011-09-17
| | |\
| * | | Dafny: Added support for attributes on methods and constructors.Gravatar wuestholz2011-09-16
| * | | Fixed test failures in the "Checked" configuration.Gravatar wuestholz2011-09-19
| | |/ | |/|
| * | Added "free call" statements that don't check the precondition in the caller.Gravatar wuestholz2011-09-14
|/ /
* | MergeGravatar Unknown2011-09-14
|\ \
| * | fixed bug in data value generationGravatar qadeer2011-09-13
* | | MergeGravatar Unknown2011-09-13
|\| |
| * | Added some extra functionality to Model code for corralGravatar Unknown2011-09-13
| * | fixes to model value generation for stratified inliningGravatar qadeer2011-09-12
| | * Dafny: generate a compiler error upon encountering an assume statementGravatar Rustan Leino2011-09-11
| | * Dafny: fixed compilation bug (datatype equality had used pointer equality, no...Gravatar Rustan Leino2011-09-11
| | * Dafny: fixed compilation error where type of target "null" was undeterminedGravatar Rustan Leino2011-09-11
| * | MergeGravatar qadeer2011-09-08
| |\|
| * | further fixesGravatar qadeer2011-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 06:05:43 +0000