| Wed, 08 Jan 2025 14:35:30 +0100 |
wenzelm |
remove special cases for CVC4 that are actually unused (see also 6273d4c8325b and 1f1c5d85d232);
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2021 22:23:37 +0200 |
wenzelm |
clarified signature: more options for bash_process;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 14:48:03 +0100 |
wenzelm |
clarified signature, following Isabelle/Scala;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2021 13:29:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 20 Feb 2021 23:01:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 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
|