index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Core
/
Util.cs
Commit message (
Expand
)
Author
Age
*
ExprSeq: farewell
Ally Donaldson
2013-07-22
*
More refactoring towards replacing PureCollections.Sequence with List
Ally Donaldson
2013-07-22
*
Removed old comments about "BASEMOVE" and other constructor calls, where the ...
Unknown
2013-01-07
*
Boogie: added type 'real' with overloaded arithmetic operations plus real div...
boehmes
2012-09-27
*
Boogie: new syntax for integer division and modulus: use div and mod instead ...
boehmes
2012-09-27
*
GPUVerify: implement is-a-constant analysis
Peter Collingbourne
2012-06-15
*
Use DateTime.UtcNow instead of DateTime.Now
stobies
2012-01-11
*
Fixed the Boogie build.
wuestholz
2011-12-16
*
Dafny: Made sure that error locations refer to the Dafny program, even if the...
wuestholz
2011-12-15
*
Add IEnumerable.Concat1 method.
MichalMoskal
2011-02-23
*
Add IEnumerable.Iter
MichalMoskal
2011-02-17
*
Add some extension methods to IEnumberable<T>
MichalMoskal
2011-02-15
*
Get rid of some warnings.
MichalMoskal
2011-02-11
*
Boogie: Committing changed source files
tabarbe
2010-08-20
*
Boogie: Renaming core sources in preparation for port commit
tabarbe
2010-08-20