| Wed, 30 Nov 2022 21:53:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 15:14:21 +0100 |
wenzelm |
more direct target directory;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2022 15:03:31 +0100 |
wenzelm |
clarified signature: prefer Scala functions instead of shell scripts;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 13:38:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2022 23:37:54 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2022 17:11:43 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 08 Nov 2021 19:25:17 +0100 |
wenzelm |
repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process);
|
file |
diff |
annotate
|
| Thu, 07 Oct 2021 13:55:24 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 07 Oct 2021 13:46:50 +0200 |
wenzelm |
proper build on macOS;
|
file |
diff |
annotate
|
| Thu, 07 Oct 2021 13:12:08 +0200 |
wenzelm |
build minisat, using recent fork from original sources;
|
file |
diff |
annotate
|