summaryrefslogtreecommitdiff
path: root/Source/Dafny/Compiler.cs
Commit message (Expand)AuthorAge
* Allow modifies clauses for a "Main" method annotated with {:main} attribute.Gravatar qunyanm2016-03-31
* Allow users to annontate a method as main with {:main} attribute. It’s an e...Gravatar qunyanm2016-03-28
* Fix issue 140. Move the initializion of _this before the TAIL_CALL_START label.Gravatar qunyanm2016-02-26
* Implement 'extern' declaration modifier.Gravatar Richard L. Ford2016-01-27
* Fix issue 116. Add the missing @ for the generated c# code.Gravatar qunyanm2016-01-05
* Fix issue 113. Make sure the tempVar name used in ToString() method doesn'tGravatar qunyanm2015-12-03
* Fix issue 108. Use idGenerator to create a new collection name for eachGravatar qunyanm2015-11-18
* Fix issue 107. Instead of writing out StaticReceiverExpr as null valuedGravatar qunyanm2015-11-17
* Fix issue 94. Allow tuple-based assignment in statement contexts.Gravatar qunyanm2015-11-14
* Fixed compilation of equality between reference typesGravatar leino2015-11-11
* Fix issue89. Copy the out param to a local before use it in an anonymousGravatar qunyanm2015-11-04
* Implemented resolution, verification, and (poorly performing) compilation of ...Gravatar leino2015-10-05
* MergeGravatar leino2015-09-28
|\
* | Changed computation of ghosts until pass 2 of resolution.Gravatar leino2015-09-28
| * merged IronDafny updates. two unit tests related to traits do not pass if ENA...Gravatar Michael Lowell Roberts2015-09-21
|/
* Minor refactoringGravatar Rustan Leino2015-08-20
* Fixed compilation that involve enumeration over native-type newtype values.Gravatar Rustan Leino2015-08-20
* MergeGravatar Rustan Leino2015-08-20
|\
* | Refactored and improved bounds discoveryGravatar Rustan Leino2015-08-19
| * Merge.Gravatar Clément Pit--Claudel2015-08-19
| |\ | |/ |/|
| * Review preceding commit with RustanGravatar Clément Pit--Claudel2015-08-17
| * Start committing split quantifiersGravatar Clément Pit--Claudel2015-08-14
* | Bug fixes and improvements in pretty printingGravatar leino2015-08-11
|/
* Fixed a contract error provoked by one of the tests.Gravatar Bryan Parno2015-07-02
* Compile function methods into C# in a more efficient manner,Gravatar Bryan Parno2015-07-01
* Update the hash code for datatypes to use the djb2 hash algorithm,Gravatar Bryan Parno2015-06-08
* Fix some issues when compiling generic types and generic function method callsGravatar Bryan Parno2015-06-08
* Changes to ComputeFreeVariables--bug fix as well as beautificationGravatar Rustan Leino2015-05-29
* Fix issue #67. Check SupportsEquality before determining whether to emit EqualsGravatar qunyanm2015-04-13
* Revised look-up and compilation of inherited trait members (static functions/...Gravatar leino2015-04-07
* Fixed missing case in previous check-inGravatar leino2015-04-05
* Fixed compilation of static members in traitsGravatar leino2015-04-05
* Fixed some bugs in override axioms (but still missing support for classes wit...Gravatar leino2015-04-05
* Fix issue #62. Check for modifies clause and constructors in the enclosingGravatar qunyanm2015-03-31
* Allow let-such-that expression to be compiled, provided that they provably ha...Gravatar leino2015-03-13
* Fixed bug in resolution of illegal programs.Gravatar leino2015-03-10
* Generate unique IDs hierarchically, to reduce changes to IDs when the program...Gravatar leino2015-01-28
* Did some refactoring to improve the name generation.Gravatar wuestholz2015-01-28
* Did some refactoring to improve the name generation.Gravatar wuestholz2015-01-27
* Did some refactoring to improve the name generation.Gravatar wuestholz2015-01-27
* Did some refactoring to improve the name generation.Gravatar wuestholz2015-01-27
* Add nativeType attribute for newtype declarations. Change Compiler.cs to use...Gravatar chrishaw2014-12-09
* fixed a minor bug: null checking.Gravatar Reza Ahmadi2014-12-03
* added multiple trait inheritance.Gravatar Reza Ahmadi2014-12-03
* - fixed a bug in merging fields that come from a parent traitGravatar Reza Ahmadi2014-12-02
* Bug fixes in the compilation of forall statements.Gravatar leino2014-11-13
* Now the parser parses "Type" rather than "IToken" for a traitGravatar Reza Ahmadi2014-11-05
* Extracted a separate class to generate fresh variable names.Gravatar wuestholz2014-11-06
* Refactored the generation of unique IDs for temporary variable names.Gravatar wuestholz2014-11-05
* Added initial support for dirty while statements.Gravatar chmaria2014-11-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-14 13:52:34 +0000