Fri, 06 Nov 2009 08:11:58 +0100 adopted mode syntax for values command
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33481
adopted mode syntax for values command
Fri, 06 Nov 2009 08:11:58 +0100 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 33480
disabled upt example because of a problem due to overloaded constants with the predicate compiler
Fri, 06 Nov 2009 08:11:58 +0100 added optional mode annotations for parameters in the values command
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33479
added optional mode annotations for parameters in the values command
Fri, 06 Nov 2009 08:11:58 +0100 moved values command from core to predicate compile
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33478
moved values command from core to predicate compile
Fri, 06 Nov 2009 08:11:58 +0100 added further example of the values command
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33477
added further example of the values command
Fri, 06 Nov 2009 08:11:58 +0100 Adopted output of values command
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33476
Adopted output of values command
Fri, 06 Nov 2009 08:11:58 +0100 improved handling of overloaded constants; examples with numerals
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33475
improved handling of overloaded constants; examples with numerals
Fri, 06 Nov 2009 08:11:58 +0100 made SML/NJ happy; tuned
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33474
made SML/NJ happy; tuned
Fri, 06 Nov 2009 08:11:58 +0100 adding tracing function for evaluated code; annotated compilation in the predicate compiler
bulwahn [Fri, 06 Nov 2009 08:11:58 +0100] rev 33473
adding tracing function for evaluated code; annotated compilation in the predicate compiler
Fri, 06 Nov 2009 17:52:57 +0100 added documentation for local SMT solver setup and available SMT options,
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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip