Fri, 06 Nov 2009 21:20:37 +0100 |
nipkow |
merged
|
changeset |
files
|
Wed, 04 Nov 2009 11:40:59 +0100 |
nipkow |
merged
|
changeset |
files
|
Thu, 29 Oct 2009 16:23:57 +0100 |
nipkow |
Replaced exception CRing by error because it is meant for the user.
|
changeset |
files
|
Fri, 06 Nov 2009 19:22:52 +0100 |
nipkow |
merged
|
changeset |
files
|
Fri, 06 Nov 2009 19:22:32 +0100 |
nipkow |
Command atp_minimize uses the naive linear algorithm now
|
changeset |
files
|
Fri, 06 Nov 2009 19:02:36 +0100 |
bulwahn |
merged
|
changeset |
files
|
Fri, 06 Nov 2009 16:59:17 +0100 |
bulwahn |
merged
|
changeset |
files
|
Fri, 06 Nov 2009 14:16:57 +0100 |
bulwahn |
merged
|
changeset |
files
|
Fri, 06 Nov 2009 12:10:55 +0100 |
bulwahn |
merge
|
changeset |
files
|
Fri, 06 Nov 2009 08:47:32 +0100 |
bulwahn |
merged
|
changeset |
files
|
Fri, 06 Nov 2009 08:18:35 +0100 |
bulwahn |
adopted the predicate compile quickcheck
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
made definition of functions generically for the different instances
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
renamed generator to random_function in the predicate compiler
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
improved handling of already defined functions in the predicate compiler; could cause trouble before when no modes for a predicate were infered
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
strictly respecting the line margin in the predicate compiler core
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
adopted mode syntax for values command
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
disabled upt example because of a problem due to overloaded constants with the predicate compiler
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
added optional mode annotations for parameters in the values command
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
moved values command from core to predicate compile
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
added further example of the values command
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
Adopted output of values command
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
improved handling of overloaded constants; examples with numerals
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
made SML/NJ happy; tuned
|
changeset |
files
|
Fri, 06 Nov 2009 08:11:58 +0100 |
bulwahn |
adding tracing function for evaluated code; annotated compilation in the predicate compiler
|
changeset |
files
|
Fri, 06 Nov 2009 17:52:57 +0100 |
boehmes |
added documentation for local SMT solver setup and available SMT options,
|
changeset |
files
|
Fri, 06 Nov 2009 14:42:42 +0100 |
krauss |
renamed method induct_scheme to induction_schema
|
changeset |
files
|
Fri, 06 Nov 2009 13:49:19 +0100 |
krauss |
NEWS
|
changeset |
files
|
Fri, 06 Nov 2009 13:42:29 +0100 |
krauss |
removed session SizeChange: outdated, only half-functional, alternatives exist (cf. size_change method)
|
changeset |
files
|
Fri, 06 Nov 2009 13:36:46 +0100 |
krauss |
renamed method sizechange to size_change
|
changeset |
files
|
Fri, 06 Nov 2009 12:13:45 +0100 |
krauss |
added boehmes and hoelzl to isatest mailings
|
changeset |
files
|