summaryrefslogtreecommitdiff
path: root/Source/Basetypes/BigNum.cs
Commit message (Expand)AuthorAge
* Boogie: Added new abstract interpretation harness, which uses native Boogie E...Gravatar Rustan Leino2011-12-05
* Expose ToByteArray()Gravatar MichalMoskal2011-02-18
* Get rid of F# dependencies - use System.Numerics and a custom Rational struct...Gravatar MichalMoskal2010-12-02
* Boogie:Gravatar rustanleino2010-10-12
* Boogie: Basetypes port 1/3: Committing new sourcesGravatar tabarbe2010-08-27
* Boogie: Renaming the Basetypes sources in preparation for my port commit.Gravatar tabarbe2010-08-27