summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* MergeGravatar leino2014-08-05
|\
* | Resolved further merge issuesGravatar leino2014-08-05
| * Tests for non-terminating computations. Already passing.Gravatar Nada Amin2014-08-05
* | MergeGravatar leino2014-08-02
|\|
* | Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in th...Gravatar leino2014-08-02
| * added one more test caseGravatar Reza Ahmadi2014-07-31
| * combined few testsGravatar Reza Ahmadi2014-07-31
| * combined two testsGravatar Reza Ahmadi2014-07-31
| * MergeGravatar Reza Ahmadi2014-07-31
| |\
| | * Changed test case to not use '/doNotUseParallelism' anymore.Gravatar wuestholz2014-07-31
* | | Test file whitespace deltaGravatar leino2014-07-23
* | | Implemented missing routine in runtime system (real-to-int conversion)Gravatar leino2014-07-21
| |/ |/|
| * added one more test.Gravatar Reza Ahmadi2014-07-20
| * - fixed a bug in inheriting members from a traitGravatar Reza Ahmadi2014-07-20
| * fixed one .expect file. now all 11 tests related to Traits pass.Gravatar Reza Ahmadi2014-07-20
| * - fixed an issue regarding including ghost functions in the compiled interfaceGravatar Reza Ahmadi2014-07-20
| * added ignored filesGravatar Reza Ahmadi2014-07-18
| * added trait feature:Gravatar Reza Ahmadi2014-07-18
|/
* Fixed build break from recent changeGravatar leino2014-07-15
* An attempt at making dafny4/NumberRepresentations.dfy run faster and more pre...Gravatar Rustan Leino2014-07-15
* Renamed "arbitrary type" to "opaque type"Gravatar Rustan Leino2014-07-15
* Allow an arbitrary-type to take type parametersGravatar Rustan Leino2014-07-15
* Added more tests.Gravatar wuestholz2014-07-15
* Another variation of GenericSort, this time instantiating with "int"Gravatar Rustan Leino2014-07-14
* MergeGravatar Rustan Leino2014-07-14
|\
* | Support for type synonyms in refinementsGravatar Rustan Leino2014-07-14
| * Added a test.Gravatar wuestholz2014-07-13
|/
* MergeGravatar Rustan Leino2014-07-11
|\
* | Added type synonyms. (No support yet for these in refinements.)Gravatar Rustan Leino2014-07-11
| * Check that type arguments to map display expressions are fully resolvedGravatar Dan Rosén2014-07-11
| * Don't assume can calls for quantifiersGravatar Dan Rosén2014-07-11
|/
* Make reveal axioms from opaque functions quantify over layersGravatar Dan Rosén2014-07-10
* Added more tests for the more advanced verification result caching.Gravatar wuestholz2014-07-10
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
* MergeGravatar Rustan Leino2014-07-09
|\
* | Improved AnalyzeList encoding in a way that performs way better.Gravatar Rustan Leino2014-07-09
* | Include an explicit trigger to make NumberRepresentations.dfy behave more con...Gravatar Rustan Leino2014-07-09
* | Ignore checked-only and free-only split expressions in places where they "don...Gravatar Rustan Leino2014-07-09
| * Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
|/
* Build VS Extension for both VS 2012 and VS 2013.Gravatar Rustan Leino2014-07-08
* Further resolved merge conflictsGravatar Rustan Leino2014-07-08
* MergeGravatar Rustan Leino2014-07-08
|\
* | Test cases for int<->real conversionsGravatar Rustan Leino2014-07-08
* | Cleaned up a test programGravatar Rustan Leino2014-07-08
* | Implemented compilation of the int<->real conversions, and changed the resolu...Gravatar Rustan Leino2014-07-08
| * Tidy up two files in test suiteGravatar Dan Rosen2014-07-07
| * MergeGravatar Dan Rosén2014-07-07
| |\
| * | Fixes to vim highlightingGravatar Dan Rosén2014-07-07
| * | New logical encoding of types with Is and IsAllocGravatar Dan Rosén2014-07-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-08 07:40:46 +0000