Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Generate unique IDs hierarchically, to reduce changes to IDs when the program... | leino | 2015-01-28 |
* | Did some refactoring to improve the name generation. | wuestholz | 2015-01-27 |
* | Set up the same test infrastructure as in Boogie. | wuestholz | 2014-05-29 |