| Wed, 29 Nov 2017 10:32:42 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 19:22:47 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 01:19:40 +0200 |
blanchet |
more robust backend identification
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 01:14:33 +0200 |
blanchet |
correctly locate SMBC from Nunchaku
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 00:02:30 +0200 |
blanchet |
extended and renamed Nunchaku's Kodkod bounds
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 00:02:25 +0200 |
blanchet |
repaired Nunchaku cache handing
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 00:02:24 +0200 |
blanchet |
added Kodkod-specific options to Nunchaku
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 00:02:20 +0200 |
blanchet |
proper Bash escaping
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 00:02:16 +0200 |
blanchet |
more precise output for Nunchaku
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 00:01:52 +0200 |
blanchet |
use proper syntax with nunchaku tool
|
file |
diff |
annotate
|
| Fri, 08 Sep 2017 00:01:36 +0200 |
blanchet |
moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years
|
file |
diff |
annotate
| base
|