Tue, 28 Sep 2010 08:35:00 +0200 | blanchet | make SML/NJ happy | file | diff | annotate |
Fri, 17 Sep 2010 10:52:35 +0200 | boehmes | add full support for datatypes to the SMT interface (only used by Z3 in oracle mode so far); added store to keep track of datatype selector functions | file | diff | annotate |