Wed, 18 Aug 2010 14:55:09 +0200 |
haftmann |
qualified constants Let and If
|
changeset |
files
|
Wed, 18 Aug 2010 14:55:09 +0200 |
haftmann |
NEWS
|
changeset |
files
|
Wed, 18 Aug 2010 12:27:39 +0200 |
haftmann |
merged
|
changeset |
files
|
Wed, 18 Aug 2010 12:26:48 +0200 |
haftmann |
deglobalization
|
changeset |
files
|
Wed, 18 Aug 2010 12:26:15 +0200 |
blanchet |
merged
|
changeset |
files
|
Wed, 18 Aug 2010 12:05:44 +0200 |
blanchet |
merged
|
changeset |
files
|
Wed, 18 Aug 2010 12:04:00 +0200 |
blanchet |
rename enum values
|
changeset |
files
|
Wed, 18 Aug 2010 12:03:44 +0200 |
blanchet |
handle bound name conflicts gracefully in FOF translation
|
changeset |
files
|
Wed, 18 Aug 2010 11:14:33 +0200 |
blanchet |
with Kodkodi 1.2.15, Java 1.5 is fine
|
changeset |
files
|
Wed, 18 Aug 2010 10:42:04 +0200 |
blanchet |
gracefully handle the case where the JVM is too old in Nitpick
|
changeset |
files
|
Wed, 18 Aug 2010 09:38:50 +0200 |
blanchet |
improve SPASS clause numbering hack
|
changeset |
files
|
Wed, 18 Aug 2010 12:19:27 +0200 |
haftmann |
deglobalization
|
changeset |
files
|