suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
c311b8ed66
racket/collects/deinprogramm
History
Mike Sperber 26ff29b12f Fix performance bug in QuickCheck. 
This would make generators with `number' or `real' in a co-arbitrary
position essentially never terminate.

svn: r16571
2009-11-06 14:52:56 +00:00
..
contract Make the DeinProgramm / DMdA one-of' / case' contracts use beginner-equal?. 2009-11-05 10:10:17 +00:00
DMdA/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
DMdA-advanced/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
DMdA-assignments/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
DMdA-beginner/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
DMdA-vanilla/lang Switch language readers to #lang s-exp 2009-06-16 17:13:51 +00:00
quickcheck Fix performance bug in QuickCheck. 2009-11-06 14:52:56 +00:00
scribblings Add hyperlink for "Eigenschaft". 2009-11-05 14:58:21 +00:00
convert-explicit.scm Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
convert-explicit.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
define-record-procedures.scm Unbreak the stepper wrt. the new `define-record-procedures' syntax. 2009-09-19 17:46:19 +00:00
define-record-procedures.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
deinprogramm-langs.ss Better output for procedures that failed property checks. 2009-09-17 13:05:12 +00:00
deinprogramm-struct.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-advanced-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-advanced.ss Add check-member-of' and check-range' to the DeinProgramm/DMdA 2009-10-16 11:53:04 +00:00
DMdA-assignments-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-assignments.ss Add check-member-of' and check-range' to the DeinProgramm/DMdA 2009-10-16 11:53:04 +00:00
DMdA-beginner-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-beginner.ss Add check-member-of' and check-range' to the DeinProgramm/DMdA 2009-10-16 11:53:04 +00:00
DMdA-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-vanilla-reader.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
DMdA-vanilla.ss Add check-member-of' and check-range' to the DeinProgramm/DMdA 2009-10-16 11:53:04 +00:00
DMdA.ss Don't let the stepper snoop inside `for-all'. 2009-09-19 18:01:30 +00:00
image.ss Fix comment about location of deinprogramm image.ss's tests. 2009-09-14 14:44:35 +00:00
info.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
line3d.scm Newlines at EOFs 2009-07-04 02:28:31 +00:00
line3d.ss Newlines at EOFs 2009-07-04 02:28:31 +00:00
logo-small.png Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
run-dmda-code.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
syntax-checkers.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
test-suite.ss Merge from mike/dmda branch. 2009-03-09 07:51:09 +00:00
turtle.ss Export contract' from the DMdA languages, making define-contract' obsolete. 2009-09-09 15:00:54 +00:00
world.ss Export contract' from the DMdA languages, making define-contract' obsolete. 2009-09-09 15:00:54 +00:00