src/Tools/cache_io.ML
Wed, 26 Nov 2014 20:05:34 +0100 wenzelm renamed "pairself" to "apply2", in accordance to @{apply 2};
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);
Mon, 03 Dec 2012 15:23:36 +0100 wenzelm tuned;
Sat, 16 Jul 2011 20:52:41 +0200 wenzelm moved bash operations to Isabelle_System (cf. Scala version);
Sat, 26 Mar 2011 18:31:39 +0100 wenzelm Isabelle_System.create_tmp_path/with_tmp_file: optional extension;
Sun, 13 Mar 2011 20:21:24 +0100 wenzelm explicit type SHA1.digest;
Sun, 13 Mar 2011 16:14:14 +0100 wenzelm more conventional variable name;
Mon, 20 Dec 2010 14:44:00 +0100 wenzelm slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version);
Sat, 27 Nov 2010 15:28:00 +0100 wenzelm more explicit Isabelle_System operations;
Sat, 20 Nov 2010 00:53:26 +0100 wenzelm renamed raw "explode" function to "raw_explode" to emphasize its meaning;
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)
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
Mon, 08 Nov 2010 12:13:51 +0100 boehmes return the process return code along with the process outputs
Thu, 08 Jul 2010 09:36:23 +0200 haftmann combinator with_tmp_dir
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)
Wed, 24 Mar 2010 09:43:34 +0100 boehmes use internal SHA1 digest implementation for generating hash keys
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)
less more (0) tip