src/Tools/cache_io.ML
2012-12-03 wenzelm synchronized read access to cache file -- avoid potential conflict with ongoing write (which is non-atomic);
2012-12-03 wenzelm tuned;
2011-07-16 wenzelm moved bash operations to Isabelle_System (cf. Scala version);
2011-03-26 wenzelm Isabelle_System.create_tmp_path/with_tmp_file: optional extension;
2011-03-13 wenzelm explicit type SHA1.digest;
2011-03-13 wenzelm more conventional variable name;
2010-12-20 wenzelm slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version);
2010-11-27 wenzelm more explicit Isabelle_System operations;
2010-11-19 wenzelm renamed raw "explode" function to "raw_explode" to emphasize its meaning;
2010-11-17 boehmes keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)
2010-11-12 boehmes check the return code of the SMT solver and raise an exception if the prover failed
2010-11-08 boehmes return the process return code along with the process outputs
2010-07-08 haftmann combinator with_tmp_dir
2010-04-07 boehmes simplified Cache_IO interface (input is just a string and not already stored in a file)
2010-03-24 boehmes use internal SHA1 digest implementation for generating hash keys
2010-03-24 boehmes remove component Cache_IO (external dependency on MD5 will be replaced by internal SHA1 digest implementation)
less more (0) tip