Thu, 27 May 2010 17:09:06 +0200 | boehmes | sort signature in SMT-LIB output (improves sharing of SMT certificates: goals of the same logical structure are translated into equal SMT-LIB benchmarks) | changeset | files |
Thu, 27 May 2010 16:30:26 +0200 | boehmes | merged | changeset | files |
Thu, 27 May 2010 16:29:33 +0200 | boehmes | renamed constant "apply" to "fun_app" (which is closer to the related "fun_upd") | changeset | files |