summaryrefslogtreecommitdiff
path: root/Binaries/DafnyRuntime.cs
Commit message (Expand)AuthorAge
* Fix for soundness bug discovered in SeqFromArray.Gravatar Michael Lowell Roberts2015-09-17
* fix for comparison error in prelude when using /optimize.Gravatar Michael Lowell Roberts2015-08-31
* Fixed compilation that involve enumeration over native-type newtype values.Gravatar Rustan Leino2015-08-20
* added -optimize option to compiler.Gravatar Michael Lowell Roberts2015-06-12
* HashCode for Set/MultiSet/Map should be independent of the order of theGravatar qunyanm2015-04-17
* Change GetHashCode for Set, MultiSet and MapGravatar qunyanm2015-04-16
* Fix issue #68. Change GetHashCode implementation for Sequence.Gravatar qunyanm2015-04-14
* Add LongLength methods to Set/Map in DafnyRuntime.csGravatar chrishaw2015-03-17
* Fix issue #60Gravatar qunyanm2015-03-06
* Optimization to nativeType: have EuclideanModulus_sbyte and EuclideanModulus_...Gravatar chrishaw2014-12-11
* Optimization to nativeType: have EuclideanDivision_sbyte and EuclideanDivisio...Gravatar chrishaw2014-12-09
* Add nativeType attribute for newtype declarations. Change Compiler.cs to use...Gravatar chrishaw2014-12-09
* Added types "char" and "string" (the latter being a synonym for "seq<char>").Gravatar leino2014-10-20
* Compile lambda functions and apply expressions, and change let expr compilationGravatar Dan Rosén2014-08-12
* Implemented missing routine in runtime system (real-to-int conversion)Gravatar leino2014-07-21
* Compile realsGravatar Rustan Leino2014-04-13
* MergeGravatar Rustan Leino2014-01-08
|\
* | Allow left-hand sides of a let expression to be patterns (like in the case of...Gravatar Rustan Leino2014-01-08
| * Compile assign-such-that for all integers, not just ones where a bound is foundGravatar Rustan Leino2014-01-06
|/
* The "choose" statement, hacky and specialized as it was, is now gone. Use th...Gravatar Rustan Leino2013-03-27
* Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful ...Gravatar Rustan Leino2013-03-27
* Fixed some build/migration issuesGravatar Rustan Leino2012-10-04