Tue, 31 May 2011 19:27:19 +0200 | boehmes | proper nesting of loops in new monomorphizer; | file | diff | annotate |
Tue, 31 May 2011 19:21:20 +0200 | boehmes | use new monomorphizer for SMT; | file | diff | annotate |
Tue, 31 May 2011 16:38:36 +0200 | blanchet | fixed comment | file | diff | annotate |
Fri, 27 May 2011 16:45:24 +0200 | boehmes | added re-implemented monomorphizer for types with better control for number of generated instances (strict as opposed to the SMT monomorphizer) and with fact annotations controlling in which round certain facts are considered for monomorphization | file | diff | annotate |