Commit Graph

20069 Commits

Author SHA1 Message Date
Casey Klein
4ca857fad7 Configures DrDr to run larger random tests 2011-01-03 09:37:32 -06:00
Casey Klein
25c1400d8b Exposes the default value of the #:attempt-size argument 2011-01-03 09:37:32 -06:00
Casey Klein
69227df4bf Restricts the test generator's use of `dw' thunks 2011-01-03 09:37:32 -06:00
Matthew Flatt
8190f3341b remove bogus #:namespace argument from handin status servlet runner 2011-01-03 07:21:51 -07:00
Jay McCarthy
daf3219cbe FIxing error exposed by Stefan 2011-01-03 07:12:44 -07:00
Robby Findler
fbe6e06957 give up on predicting the stack trace contents when yield is used 2011-01-03 07:15:03 -06:00
Matthew Flatt
df2351f90f adapt better to available drawing and GUI libraries on Unix variants 2011-01-02 20:18:11 -07:00
Robby Findler
6fb6fca73b make the test suite less picky about the contents of the stack (but not if it has content or not) 2011-01-02 19:53:39 -06:00
Matthew Flatt
c5de056da5 another continuation-context caching repair
because the previous repair essentially disabled caching
2011-01-02 16:38:25 -07:00
Matthew Flatt
a226abec59 fix entry loss in continuation-context caching 2011-01-02 16:04:26 -07:00
Robby Findler
193617f917 added the 'blaming' part of the contract message to self-contract violations (but kept 'self-') 2011-01-02 17:01:18 -06:00
John Clements
47e3db06ff change pref name to match docs 2011-01-02 14:45:14 -08:00
Matthew Flatt
dbd8faee1b fix scheduler bug
where the particular combination of events seems not
 to have been possible until the extra delim-cont
 for try-atomic hook was added
2011-01-02 09:24:15 -07:00
Robby Findler
7eb3e8c28a change drracket and framework so they don't rebind printf anymore
(instead binding oprintf to print to the original output port of drracket)
2011-01-02 10:03:24 -06:00
Robby Findler
1be502ed79 fixed a bug that Eli noticed in the initial state of the language dialog 2011-01-02 10:03:23 -06:00
Robby Findler
465d5a9f75 adjust check to only insist that, when there is an editor, is it the right kind of editor. 2011-01-02 10:03:21 -06:00
Robby Findler
4f19b0d454 add a coercion so that equality is simpler for things produced by 'bitmap' 2011-01-02 06:51:36 -06:00
Robby Findler
7716851cde 2htdp/image: added support for alpha as a mode? argument 2011-01-01 20:01:50 -06:00
Matthew Flatt
19b1df6586 win32: fix bitmap+string labels for XP 2011-01-01 14:17:31 -07:00
Matthew Flatt
18ca91dc97 win32: make bitmap+string label look right in Win7 2011-01-01 13:54:45 -07:00
Matthew Flatt
a6e04695bb win32: bitmap+string button labels 2011-01-01 13:54:45 -07:00
Matthew Flatt
241bb79cb0 allow a button% to have both a string and a bitmap for its label 2011-01-01 13:54:45 -07:00
Matthew Flatt
a916f1af42 win32: fix problem with bitmap labels
related to PR 11566
2011-01-01 11:33:53 -07:00
John Clements
c7f1211c99 argmin/argmax empty list comment 2011-01-01 08:19:46 -08:00
Matthew Flatt
71223e6175 win32: survive theme-access failure 2011-01-01 08:22:17 -07:00
Matthew Flatt
bdc0d2c862 like f57b431c2e (missed other case) 2011-01-01 08:22:17 -07:00
Eli Barzilay
7cac1f6ac2 New Racket version 5.0.99.6. 2011-01-01 03:50:21 -05:00
Matthew Flatt
07c272df4a gtk: fix screen-bitmap depth selection and a spurious tab callback 2010-08-12 23:35:40 -04:00
Jon Rafkind
11494ce8b9 use padding instead of manually moving the origin 2010-12-31 19:29:34 -07:00
Robby Findler
a57666f130 set panel-single.rkt pref 2010-12-31 20:19:15 -06:00
Robby Findler
1d5031c3e6 probable fix for race condition in check syntax (exposed by test suite) 2010-12-31 20:15:55 -06:00
Robby Findler
3237be6b4e renamed the check syntax progress status-line 2010-12-31 20:15:53 -06:00
Matthew Flatt
15fa34b091 gtk: tolerate absence of a minor combo_box function 2010-08-12 19:52:37 -04:00
Matthew Flatt
856df5e113 doc correction 2010-12-31 14:41:37 -07:00
Matthew Flatt
44cf598298 win32 file locking 2010-12-31 14:40:39 -07:00
Matthew Flatt
55693e090f add port-try-file-lock?' and port-file-unlock' 2010-12-31 14:40:27 -07:00
Matthew Flatt
1e3b2ee9ee doc typo
Closes PR 11582
2010-12-31 14:40:27 -07:00
Matthew Flatt
5809860dd3 fix problem with text% padding 2010-12-31 14:40:27 -07:00
Casey Klein
f480d75810 Enables the randomized delimited control tests in DrDr 2010-12-31 15:34:32 -06:00
Casey Klein
03c48b67a7 Restricts the test generator's use of % within cont 2010-12-31 15:34:31 -06:00
Casey Klein
8b50aeb346 Fixes a bug in the elimination of continuation values 2010-12-31 15:34:31 -06:00
Casey Klein
a6e40bfb03 Further restricts the test generator's use of `wcm' 2010-12-31 15:34:31 -06:00
Casey Klein
579cb022bd Changes the randomized tests to watch for the first exception.
The particular exception raised is important. We don't want a later
one raised by a dynamic-wind post-thunk.
2010-12-31 15:34:31 -06:00
Casey Klein
de8b1bc101 Fixes a bug in the generation of `side-condition' patterns
The bindings supplied to `side-condition' predicates by the matcher
sometimes contain the-not-hole; the ones supplied by the generator
must be the same.
2010-12-31 15:34:31 -06:00
Robby Findler
699058d3a4 do a little bit better job keeping the manipulation of the gui state on the eventspace handler thread (in the syncheck test) 2010-12-31 15:29:23 -06:00
Eli Barzilay
3fb871586f Removed some exe bits that look redundant. 2010-12-31 15:59:39 -05:00
Eli Barzilay
1f49e35b21 2010 -> 2011 2010-12-31 15:59:39 -05:00
Eli Barzilay
e2cc0942cc Attempt to make some ignore files more robust 2010-12-31 15:59:39 -05:00
Eli Barzilay
5b2d55a336 sbloch is responsible for picturing-programs 2010-12-31 15:59:39 -05:00
Robby Findler
01fc959e63 change 2htdp/image docs so that it uses just the regular evaluation mechanism instead of the fancy dance it was doing before 2010-12-31 14:44:10 -06:00