| Commit message (Expand) | Author | Age |
|---|
| * | Renamed identifiers for increased geopolitical appeal |  Rustan Leino | 2016-02-08 |
| * | Implemented resolution, verification, and (poorly performing) compilation of ... | leino | 2015-10-05 |
| * | Removed specContextOnly parameter from ResolveStatement. | leino | 2015-09-28 |
| * | Removed more traces of the previous resolution checks that happened during pa... | leino | 2015-09-28 |
| * | Additional tests | leino | 2015-09-28 |
| * | Whitespace changes in test file | leino | 2015-09-28 |
| * | Changed computation of ghosts until pass 2 of resolution. | leino | 2015-09-28 |
| * | Added back in various ghost tests | leino | 2015-09-20 |
| * | Changes that only affect line numbers in test case | leino | 2015-09-20 |
| * | Removed tabs from test file | leino | 2015-09-20 |
| * | Preliminary refactoring of ghost-statement computations to after type checking | leino | 2015-09-20 |
| * | Bug fix: check that assign-such-that constraint is of type boolean | Rustan Leino | 2015-07-31 |
| * | Fixed crash in resolution where, after reporting an error, the cases #type an... | Rustan Leino | 2015-07-29 |
| * | clarified error message that occurs when the "opened" keyword is left off of ... |  Michael Lowell Roberts | 2015-07-20 |
| * | Allow let-such-that expression to be compiled, provided that they provably ha... | leino | 2015-03-13 |
| * | Fixed bug in resolution of illegal programs. | leino | 2015-03-10 |
| * | Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s... | leino | 2015-01-23 |
| * | When ambiguous references all resolve to the same declaration, don't complain | leino | 2015-01-09 |
| * | Fixed resolution of method calls with explicit type parameters. | leino | 2015-01-02 |
| * | Language change: All functions and methods declared lexically outside any cla... | leino | 2014-12-12 |
| * | Snapshot, to be continued | leino | 2014-12-02 |
| * | Fixed bug where resolution was overly restrictive with ghost variables appear... | leino | 2014-11-19 |
| * | Disallow automatic completion of type arguments to the LHS of datatype declar... | leino | 2014-10-28 |
| * | Stricter rules about that types need to be completely resolved. | leino | 2014-10-08 |
| * | Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are n... | leino | 2014-08-27 |
| * | Support for non-constrained derived types ("new types"). | leino | 2014-08-21 |
| * | Merge | leino | 2014-08-20 |
| |\ |
|
| * | | Start of derived types (aka "new types") | leino | 2014-08-20 |
| | * | Change behavior of 'decreases *', which can be applied to loops and methods. ... | Rustan Leino | 2014-08-19 |
| |/ |
|
| * | Refactor resolver, and really allow reads to take fields of type A -> set<obj> |  Dan Rosén | 2014-08-15 |
| * | Resolved further merge issues | leino | 2014-08-05 |
| * | Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in th... | leino | 2014-08-02 |
| * | Renamed "arbitrary type" to "opaque type" | Rustan Leino | 2014-07-15 |
| * | Allow an arbitrary-type to take type parameters | Rustan Leino | 2014-07-15 |
| * | Added type synonyms. (No support yet for these in refinements.) | Rustan Leino | 2014-07-11 |
| * | Further resolved merge conflicts | Rustan Leino | 2014-07-08 |
| * | Merge | Rustan Leino | 2014-07-08 |
| |\ |
|
| * | | Test cases for int<->real conversions | Rustan Leino | 2014-07-08 |
| | * | Merge | Dan Rosén | 2014-07-07 |
| | |\ |
|
| | * | | New logical encoding of types with Is and IsAlloc | Dan Rosén | 2014-07-07 |
| | | * | Allow array-type parameters to be filled in automatically. | leino | 2014-07-02 |
| | |/
|/| |
|
| * | | Added tuples and tuple types. Syntax is the expected one, namely parentheses ... | Rustan Leino | 2014-06-27 |
| * | | Added support for 'dirty' forall statements. | chmaria | 2014-06-03 |
| |/ |
|
| * | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |
Rustan Leino
Michael Lowell Roberts
Dan Rosén