Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
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);
file
|
diff
|
annotate
2012-12-03
wenzelm
tuned;
file
|
diff
|
annotate
2011-07-16
wenzelm
moved bash operations to Isabelle_System (cf. Scala version);
file
|
diff
|
annotate
2011-03-26
wenzelm
Isabelle_System.create_tmp_path/with_tmp_file: optional extension;
file
|
diff
|
annotate
2011-03-13
wenzelm
explicit type SHA1.digest;
file
|
diff
|
annotate
2011-03-13
wenzelm
more conventional variable name;
file
|
diff
|
annotate
2010-12-20
wenzelm
slightly more standard Isabelle_System.with_tmp_file/with_tmp_dir (cf. Scala version);
file
|
diff
|
annotate
2010-11-27
wenzelm
more explicit Isabelle_System operations;
file
|
diff
|
annotate
2010-11-19
wenzelm
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
file
|
diff
|
annotate
2010-11-17
boehmes
keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)
file
|
diff
|
annotate
2010-11-12
boehmes
check the return code of the SMT solver and raise an exception if the prover failed
file
|
diff
|
annotate
2010-11-08
boehmes
return the process return code along with the process outputs
file
|
diff
|
annotate
2010-07-08
haftmann
combinator with_tmp_dir
file
|
diff
|
annotate
2010-04-07
boehmes
simplified Cache_IO interface (input is just a string and not already stored in a file)
file
|
diff
|
annotate
2010-03-24
boehmes
use internal SHA1 digest implementation for generating hash keys
file
|
diff
|
annotate
2010-03-24
boehmes
remove component Cache_IO (external dependency on MD5 will be replaced by internal SHA1 digest implementation)
file
|
diff
|
annotate
|
base
less
more
(0)
tip