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
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
less
more
(0)
tip