index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Binaries
/
DafnyRuntime.cs
Commit message (
Expand
)
Author
Age
*
Fix issue #60
qunyanm
2015-03-06
*
Optimization to nativeType: have EuclideanModulus_sbyte and EuclideanModulus_...
chrishaw
2014-12-11
*
Optimization to nativeType: have EuclideanDivision_sbyte and EuclideanDivisio...
chrishaw
2014-12-09
*
Add nativeType attribute for newtype declarations. Change Compiler.cs to use...
chrishaw
2014-12-09
*
Added types "char" and "string" (the latter being a synonym for "seq<char>").
leino
2014-10-20
*
Compile lambda functions and apply expressions, and change let expr compilation
Dan Rosén
2014-08-12
*
Implemented missing routine in runtime system (real-to-int conversion)
leino
2014-07-21
*
Compile reals
Rustan Leino
2014-04-13
*
Merge
Rustan Leino
2014-01-08
|
\
*
|
Allow left-hand sides of a let expression to be patterns (like in the case of...
Rustan Leino
2014-01-08
|
*
Compile assign-such-that for all integers, not just ones where a bound is found
Rustan Leino
2014-01-06
|
/
*
The "choose" statement, hacky and specialized as it was, is now gone. Use th...
Rustan Leino
2013-03-27
*
Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful ...
Rustan Leino
2013-03-27
*
Fixed some build/migration issues
Rustan Leino
2012-10-04