Source code checked in, #ef79a75e1a0a
Fix lit headers implicitly relying on bash-style constructs Window's batch doesn't recognize ";" as a command separator; lit has a workaround for that, bu it's just as simple to do the right thing on...
View ArticleSource code checked in, #afe3598da56f
Move heap-tracking-related changes to a separate branch
View ArticleSource code checked in, #ab22127c38eb
Fix a bug spotted by Chris in my BigInteger patch; thanks! The problem was this: Console.WriteLine(Int64.Parse("08000000000000000", NumberStyles.HexNumber)); // => -9223372036854775808...
View ArticleSource code checked in, #4453514f687c
Start working on removing the Heap pointer of functions with empty reads clauses. Some (~3) tests still fail.
View ArticleSource code checked in, #db61b86a0baf
Little edits in new CheckWellformedAndAssume code
View ArticleUpdated Wiki: Dafny's /optimize Feature
As of changeset 9c5d78cac927, you can now specify the /optimize option to instruct Dafny.exe to produce an optimized build of your program. What does this mean? - Dafny will enable an optimized version...
View ArticleUpdated Wiki: Documentation
Dafny is a verification-aware programming language that supports modern programming language features such as: imperative methodsmathematical functionsintegers, sets, and sequencesmutable classes and...
View ArticleUpdated Wiki: Dafny's /optimize Feature
Dafny's /optimize Feature As of changeset 9c5d78cac927, you can now specify the /optimize option to instruct Dafny.exe to produce an optimized build of your program. What does this mean? - Dafny will...
View ArticleUpdated Wiki: Dafny's /optimize Feature
Dafny's /optimize Feature As of changeset 9c5d78cac927, you can now specify the /optimize option to instruct Dafny.exe to produce an optimized build of your program. What does this mean? - Dafny will...
View ArticleUpdated Wiki: Documentation
Dafny is a verification-aware programming language that supports modern programming language features such as: imperative methodsmathematical functionsintegers, sets, and sequencesmutable classes and...
View ArticleUpdated Wiki: Documentation
Dafny is a verification-aware programming language that supports modern programming language features such as: imperative methodsmathematical functionsintegers, sets, and sequencesmutable classes and...
View ArticleUpdated Wiki: Documentation
Dafny is a verification-aware programming language that supports modern programming language features such as: imperative methodsmathematical functionsintegers, sets, and sequencesmutable classes and...
View Article