Commit message (Expand) | Author | Age | |
---|---|---|---|
* | removed call forall and * args to calls | 2013-02-23 | |
* | Boogie: Fixed a crash due to old expressions in lambda expressions that were ... | 2011-12-02 | |
* | Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ... | 2011-10-27 | |
* | Added "free call" statements that don't check the precondition in the caller. | 2011-09-14 | |
* | Add new feature: {:selective_checking} on procedures. See testcase for a desc... | 2010-12-17 | |
* | Change Synonym type printing to what it was, use a workaround in TypeToString... | 2010-08-18 | |
* | Boogie: | 2010-02-20 | |
* | Fix up the polymorphic case for lambda; it probably still isn't quite correct. | 2010-02-19 | |
* | Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;... | 2010-02-19 | |
* | Implement if-then-else expression. | 2010-02-18 | |
* | Initial set of files. | 2009-07-15 |