summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Dafny: Fixed axioms for Seq#Contains vs. the sequence building functionsGravatar Rustan Leino2011-06-29
* MergeGravatar Rustan Leino2011-06-21
|\
* | Dafny: bug fix in generating IsCanonicalBoolBox predicatesGravatar Rustan Leino2011-06-21
| * MergeGravatar qadeer2011-06-20
| |\ | |/ |/|
| * Translate IConditional exactly the same way as IConditionalStatement to accou...Gravatar qadeer2011-06-20
* | MergeGravatar Rustan Leino2011-06-20
|\|
* | Dafny: better error message when "decreases *" is attempted on a function or ...Gravatar Rustan Leino2011-06-20
| * MergeGravatar qadeer2011-06-20
| |\ | |/ |/|
| * whole bunch of bug fixesGravatar qadeer2011-06-20
* | MergeGravatar Rustan Leino2011-06-20
|\ \
| * \ MergeGravatar Rustan Leino2011-06-20
| |\ \
* | | | Dafny: removed deprecated "call" and "use" keywords from syntax highlightersGravatar Rustan Leino2011-06-20
| | | * MergeGravatar qadeer2011-06-17
| | | |\ | | | |/ | | |/|
| | | * changes for handling conversionsGravatar qadeer2011-06-17
| * | | Dafny: fixed accidental omission of CaptureState after some assignmentsGravatar Rustan Leino2011-06-16
| | * | removed division hadling from CLRsemanticsGravatar Unknown2011-06-16
| | |/
| | * Real2Int type errorGravatar Unknown2011-06-15
| | * refactored the prelude, added thread_local attribute to $Exception variableGravatar qadeer2011-06-14
| | * added more regressions to livevarsGravatar qadeer2011-06-14
| | * bug fix in live variable analysisGravatar qadeer2011-06-14
| | * various bug fixes related to running bct on phone appsGravatar qadeer2011-06-12
| | * further changesGravatar qadeer2011-06-12
| | * changes related to fixing problems with finally translationGravatar qadeer2011-06-12
| | * MergeGravatar qadeer2011-06-10
| | |\
| | * | bunch of changes related to finally handlingGravatar qadeer2011-06-10
| | | * solvedGravatar Unknown2011-06-09
| | |/
| | * using registerAsLatest directly to deal with multiple dll translationGravatar Unknown2011-06-08
| | |\
| | * | bug fixesGravatar Unknown2011-06-08
| | | * MergeGravatar qadeer2011-06-08
| | | |\
| | | * | bug fix in call to constructor of ProcedureInfoGravatar qadeer2011-06-08
| | | | * Tagging EMIC CC.NET build 2.1.30608.1Gravatar VccBuildServer2011-06-08
| | | | * Backed out changeset: 42ab6e4ab0b1Gravatar VccBuildServer2011-06-08
| | | | * Tagging EMIC CC.NET build 2.1.30608.0Gravatar VccBuildServer2011-06-08
| | | | * Modifications of CC.NET build 2.1.30608.0Gravatar VccBuildServer2011-06-08
| | | |/
| | | * beginning support for finally clausesGravatar qadeer2011-06-07
| | | * MergeGravatar qadeer2011-06-06
| | | |\ | | | |/ | | |/|
| | | * initial cut for translating exceptionsGravatar qadeer2011-06-06
| | * | Add a string for an uninterpreted value in errModelGravatar Unknown2011-06-06
| |/ /
| * | MergeGravatar Rustan Leino2011-06-05
| |\|
| * | Dafny: added implicit datatype query fields and datatype destructor fieldsGravatar Rustan Leino2011-06-05
| * | Boogie: white-space formatingGravatar Rustan Leino2011-06-05
|/ /
| * fixed calls to generic methods to add type argument appropriatelyGravatar qadeer2011-06-05
| * MergeGravatar qadeer2011-06-04
| |\ | |/ |/|
| * Further support for translating genericsGravatar qadeer2011-06-04
* | MergeGravatar Rustan Leino2011-06-02
|\|
* | Dafny: fixed soundness problem with HeapSucc axiomGravatar Rustan Leino2011-06-01
| * fixed a bug in translation of genericsGravatar qadeer2011-05-31
| * MergeGravatar qadeer2011-05-31
| |\ | |/ |/|
| * fixed a bug with array index translationGravatar qadeer2011-05-31
* | MergeGravatar Rustan Leino2011-05-31
|\ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 05:43:40 +0000