| Mon, 09 Aug 2010 11:21:05 +0200 | wenzelm | merged | changeset | files |
| Sun, 08 Aug 2010 20:51:02 +0200 | haftmann | discontinued separation of `define` and `declare_const` | changeset | files |
| Sun, 08 Aug 2010 20:41:25 +0200 | haftmann | unravelled target initialization code | changeset | files |
| Sun, 08 Aug 2010 08:39:45 +0200 | boehmes | added filter for Boogie verification conditions (to prune assertions already proved by Boogie/Z3) | changeset | files |