Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | moved argument expected_modes into options; improved mode check to only check mode of the named predicate | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | removed unnecessary argument rpred in code_pred function | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added option show_mode_inference; added splitting of conjunctions in expand_tuples | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | changed import_intros to handle parameters differently; changed handling of higher-order function compilation; reverted MicroJava change; tuned | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | further cleaning up | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added option show_proof_trace | changeset | files |