- May 27, 2004
-
-
pfdietz authored
-
- May 24, 2004
-
-
pfdietz authored
-
- May 10, 2004
-
-
pfdietz authored
Enable macrolet in armedbear lisp. Make the size be randomly distributed from 1..size rather than always be 'size'.
-
- May 01, 2004
-
-
pfdietz authored
-
- Apr 25, 2004
-
-
pfdietz authored
-
- Apr 24, 2004
-
-
pfdietz authored
-
- Apr 22, 2004
-
-
pfdietz authored
-
- Apr 17, 2004
-
-
pfdietz authored
-
- Apr 14, 2004
- Mar 30, 2004
-
-
pfdietz authored
-
- Mar 03, 2004
-
-
pfdietz authored
Add ability to dump all trials to files, for easier debugging of crasher bugs. Add boole to generator/pruner. Make the :kind field of eval errors contain a printed form of the caught error.
-
- Feb 12, 2004
-
-
pfdietz authored
-
- Feb 08, 2004
-
-
pfdietz authored
-
- Jan 16, 2004
-
-
pfdietz authored
-
- Jan 14, 2004
-
-
pfdietz authored
More files tests, and added more logical pathname tests. We make an assumption that the CLTEST logical host can be defined to be the directory containing this test suite. More progv tests inspired by random test failures.
-
- Dec 31, 2003
-
-
pfdietz authored
-
- Dec 29, 2003
-
-
uid67352 authored
Toned down some constants to reduce the change of getting integers that are too big. Fixed some bugs in form simplification. Added restart-bind (trivial use).
-
- Dec 23, 2003
-
-
uid67352 authored
Reinstalled the beginning of the pathname tests. Extend the random test generator to handle various additional forms, including instances of PROGV, DOTIMES, and TAGBODY.
-
- Nov 29, 2003
-
-
pfdietz authored
-
- Nov 16, 2003
-
-
pfdietz authored
Increase the change of generating flet/labels funcall. Remove a pruning bug. Add rules for simplifying apply/funcall forms. Add a memoization hint table for speeding up pruning. Do more gc in sbcl to avoid space blowout.
-
- Nov 10, 2003
-
-
pfdietz authored
-
- Nov 04, 2003
-
-
pfdietz authored
Considerable extensions, including multiple-value-bind, multiple-value-call, optional arguments in flet/labels, improved pruning.
-
- Oct 19, 2003
-
-
pfdietz authored
Improve pruning of n-ary functions. Add option to compile named dummy functions instead of anonymous lambdas. Conditionalize away some common ACL 6.2 failures.
-
- Oct 11, 2003
-
-
pfdietz authored
I've removed the conditionalization of an ASH case. This increases the number of failures under cmucl so that (test-random-integer-forms 100 3 ...) fails about 5% of the iterations there. Also added an ASH example to misc.lsp
-
pfdietz authored
Modify how integer types are generated so we have a high probability of seeing types where the upper and lower bounds are 'close' in magnitude.
-
- Oct 10, 2003
-
-
pfdietz authored
Turn off ASH generation in cmucl, where it still causes too many errors. Make second form be uncompiled in gcl as well as clisp.
-
- Oct 09, 2003
-
-
pfdietz authored
-
- Oct 05, 2003
-
-
pfdietz authored
Import QUIT from CL-USER into CL-TEST, if it is present. Add clisp package locking form (conditionally compiled) to get around a bug preventing the tests from loading. Add ability to interpret rather than compile the unoptimized lambda form in the random tester, and enable that mode for clisp.
-
- Sep 30, 2003
-
-
pfdietz authored
Generate declarations in separate DECLARE forms, to make commenting out forms during manual pruning easier.
-
- Sep 26, 2003
- Sep 25, 2003
-
-
pfdietz authored
Improved pruning. Make variable information be passed in a special variables, along with type information. Add first generator for SETQ forms.
-
- Sep 23, 2003
-
-
pfdietz authored
-
- Sep 22, 2003
-
-
pfdietz authored
-
- Sep 21, 2003
-
-
pfdietz authored
Refactored parts of pruning code. Added CASE exprs. Made pruner a bit smarter about flet/labels. Added values, progn as unary operators. Trap errors during eval of compiled functions. Changed the report format some.
-
- Sep 18, 2003
-
-
pfdietz authored
Dump failing forms when they fail. Improve handling of FLET in pruner. Add implicit blocks/returns in flet and labels. Add labels. Make * more common to exercise type bugs.
-
- Sep 16, 2003
-
-
pfdietz authored
Fixed up LET/LET* pruning, and added FLET forms. Initialize the random state to (make-random-state t) by default.
-
- Sep 15, 2003
-
-
pfdietz authored
-
- Sep 14, 2003
-
-
pfdietz authored
Updated the random torture tester. There is now a PRUNE-RESULTS function that reduces the size of the forms that fail testing. Also, added more lisp forms to the random form generator.
-