bulwahn [Fri, 06 Nov 2009 12:10:55 +0100] rev 33488
merge
bulwahn [Fri, 06 Nov 2009 08:47:32 +0100] rev 33487
merged
bulwahn [Fri, 06 Nov 2009 08:18:35 +0100] rev 33486
adopted the predicate compile quickcheck
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33485
made definition of functions generically for the different instances
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33484
renamed generator to random_function in the predicate compiler
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33483
improved handling of already defined functions in the predicate compiler; could cause trouble before when no modes for a predicate were infered
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33482
strictly respecting the line margin in the predicate compiler core
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33481
adopted mode syntax for values command
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33480
disabled upt example because of a problem due to overloaded constants with the predicate compiler
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33479
added optional mode annotations for parameters in the values command
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33478
moved values command from core to predicate compile
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33477
added further example of the values command
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33476
Adopted output of values command
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33475
improved handling of overloaded constants; examples with numerals
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33474
made SML/NJ happy; tuned
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33473
adding tracing function for evaluated code; annotated compilation in the predicate compiler
boehmes [Fri, 06 Nov 2009 17:52:57 +0100] rev 33472
added documentation for local SMT solver setup and available SMT options,
added verbose output for SMT solver invocation,
test if local SMT solver exists before invoking it,
always trace (possible) counterexamples,
documented existence of SMT server
krauss [Fri, 06 Nov 2009 14:42:42 +0100] rev 33471
renamed method induct_scheme to induction_schema
krauss [Fri, 06 Nov 2009 13:49:19 +0100] rev 33470
NEWS
krauss [Fri, 06 Nov 2009 13:42:29 +0100] rev 33469
removed session SizeChange: outdated, only half-functional, alternatives exist (cf. size_change method)
krauss [Fri, 06 Nov 2009 13:36:46 +0100] rev 33468
renamed method sizechange to size_change
krauss [Fri, 06 Nov 2009 12:13:45 +0100] rev 33467
added boehmes and hoelzl to isatest mailings
wenzelm [Fri, 06 Nov 2009 10:26:13 +0100] rev 33466
merged
boehmes [Fri, 06 Nov 2009 09:27:20 +0100] rev 33465
tuned