| 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 |