| Mon, 07 Mar 2016 21:09:28 +0100 |
wenzelm |
File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Mon, 03 Dec 2012 16:07:28 +0100 |
wenzelm |
synchronized read access to cache file -- avoid potential conflict with ongoing write (which is non-atomic);
|
file |
diff |
annotate
|
| Mon, 03 Dec 2012 15:23:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 20:52:41 +0200 |
wenzelm |
moved bash operations to Isabelle_System (cf. Scala version);
|
file |
diff |
annotate
|
| Sat, 26 Mar 2011 18:31:39 +0100 |
wenzelm |
Isabelle_System.create_tmp_path/with_tmp_file: optional extension;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 20:21:24 +0100 |
wenzelm |
explicit type SHA1.digest;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 16:14:14 +0100 |
wenzelm |
more conventional variable name;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 14:44:00 +0100 |
wenzelm |
slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version);
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 15:28:00 +0100 |
wenzelm |
more explicit Isabelle_System operations;
|
file |
diff |
annotate
|
| Sat, 20 Nov 2010 00:53:26 +0100 |
wenzelm |
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
|
file |
diff |
annotate
|
| Wed, 17 Nov 2010 08:14:55 +0100 |
boehmes |
keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)
|
file |
diff |
annotate
|
| Fri, 12 Nov 2010 17:28:43 +0100 |
boehmes |
check the return code of the SMT solver and raise an exception if the prover failed
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 12:13:51 +0100 |
boehmes |
return the process return code along with the process outputs
|
file |
diff |
annotate
|
| Thu, 08 Jul 2010 09:36:23 +0200 |
haftmann |
combinator with_tmp_dir
|
file |
diff |
annotate
|
| Wed, 07 Apr 2010 20:40:42 +0200 |
boehmes |
simplified Cache_IO interface (input is just a string and not already stored in a file)
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 09:43:34 +0100 |
boehmes |
use internal SHA1 digest implementation for generating hash keys
|
file |
diff |
annotate
|
| Wed, 24 Mar 2010 08:22:43 +0100 |
boehmes |
remove component Cache_IO (external dependency on MD5 will be replaced by internal SHA1 digest implementation)
|
file |
diff |
annotate
| base
|