summaryrefslogtreecommitdiff
path: root/Source/Basetypes/Rational.cs
Commit message (Expand)AuthorAge
* Get rid of F# dependencies - use System.Numerics and a custom Rational struct...Gravatar MichalMoskal2010-12-02
* 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