Robby Findler
c11de94f2a
add some convenience to the enumerators and change call-with-values
...
into define-values
2014-03-20 22:17:52 -05:00
Matthew Flatt
23fa168309
distro-build: use plt-web style for site or snapshot page
2014-03-20 18:28:21 -06:00
Matthew Flatt
af64776403
plt-web: add #:generate? argument to site
2014-03-20 18:28:21 -06:00
Matthew Flatt
43af294068
plt-web: add call-with-registered-roots
2014-03-20 18:28:21 -06:00
Matthew Flatt
68f6ab86f7
guide: fix style on itemlist
2014-03-20 18:28:21 -06:00
Burke Fetscher
26c8929b50
add delim-cont counterexamples, adjust check property
2014-03-20 16:01:02 -05:00
Robby Findler
dbd3e04b82
add tests to ensure counter examples in buggy versions of stlc-sub aren't
...
counter examples in stlc-sub-base.rkt
2014-03-20 11:56:55 -05:00
Robby Findler
e9e4f396d9
adjust stlc-sub to have a new property that
...
stresses substitution more
also, fix a bug in the substitution function
2014-03-20 11:42:51 -05:00
Eric Dobson
9aa7accd89
Fix polymorphic class checking.
2014-03-20 08:31:55 -07:00
Eric Dobson
90556817eb
Fix uses of expected in tc-app-list.
2014-03-19 22:58:37 -07:00
Eric Dobson
c7ef6fc6dd
Remove extraneous uses of expected in tc-app-hetero.
2014-03-19 22:40:06 -07:00
Eric Dobson
aa6a04fd46
Simplify tc-expr testcase.
2014-03-19 21:08:31 -07:00
Jay McCarthy
7c4012bbd4
delim cont 1
2014-03-19 16:32:28 -06:00
Jay McCarthy
ed840e90fa
remove fixed
2014-03-19 16:32:28 -06:00
Jay McCarthy
ef3ca65c8a
remove fixed
2014-03-19 16:32:28 -06:00
Jay McCarthy
59353317a2
polystlc 9
2014-03-19 16:32:28 -06:00
Jay McCarthy
22cc6b6249
polystlc 8
2014-03-19 16:32:28 -06:00
Jay McCarthy
11e5bda76f
polystlc 7
2014-03-19 16:32:27 -06:00
Jay McCarthy
f7efcd1057
polystlc 6
2014-03-19 16:32:27 -06:00
Jay McCarthy
99bded9346
polystlc 5
2014-03-19 16:32:27 -06:00
Jay McCarthy
ef6b2934c1
polystlc 4
2014-03-19 16:32:27 -06:00
Jay McCarthy
63786c16b5
polystlc 3
2014-03-19 16:32:27 -06:00
Jay McCarthy
3b778e5db1
polystlc 2
2014-03-19 16:32:27 -06:00
Jay McCarthy
4db4f1f9b9
polystlc 1
2014-03-19 16:32:27 -06:00
Jay McCarthy
a1eeafaf38
Fix indent
2014-03-19 16:32:27 -06:00
Jay McCarthy
0d8ecdf816
Removing fixed
2014-03-19 16:32:27 -06:00
Jay McCarthy
e8da597de9
stlc sub 5
2014-03-19 16:32:27 -06:00
Jay McCarthy
00988db325
stlc sub 4
2014-03-19 16:32:27 -06:00
Jay McCarthy
b1bc4ce430
stlc sub 3
2014-03-19 16:32:27 -06:00
Jay McCarthy
84fcd48039
stlc sub 2
2014-03-19 16:32:27 -06:00
Jay McCarthy
9b8697fa6e
stlc-sub 1
2014-03-19 16:32:27 -06:00
Jay McCarthy
6e3a9861c6
removing fixed
2014-03-19 16:32:27 -06:00
Jay McCarthy
c1db657163
stlc 9
2014-03-19 16:32:27 -06:00
Jay McCarthy
0d8dab679f
stlc 8
2014-03-19 16:32:27 -06:00
Jay McCarthy
253e8ee669
stlc 7
2014-03-19 16:32:27 -06:00
Jay McCarthy
d6dc594662
stlc 6
2014-03-19 16:32:27 -06:00
Jay McCarthy
0d14e14b21
stlc 5
2014-03-19 16:32:27 -06:00
Jay McCarthy
e31703fc35
stlc 4
2014-03-19 16:32:26 -06:00
Jay McCarthy
a4f3585101
stlc 3
2014-03-19 16:32:26 -06:00
Jay McCarthy
f9946f4b95
stlc 2
2014-03-19 16:32:26 -06:00
Jay McCarthy
7fc57ba1ad
stlc 1 counter
2014-03-19 16:32:26 -06:00
Jay McCarthy
33ca8d05db
Fix diffs
2014-03-19 16:32:26 -06:00
Jay McCarthy
f7d554d727
Fix diffs
2014-03-19 16:32:26 -06:00
Jay McCarthy
0bdf7260ed
Repair check and remove fixed
2014-03-19 16:32:26 -06:00
Jay McCarthy
9c4dcf2ea4
Ignore rejected patches
2014-03-19 16:32:26 -06:00
Jay McCarthy
01846909f9
Fix this screw-up
2014-03-19 16:32:26 -06:00
Burke Fetscher
dfe144e3b8
add bug6 to verifier benchmark
2014-03-19 16:23:58 -05:00
Robby Findler
67d16cbae5
make the list/e combinator be more fair
2014-03-19 15:28:59 -05:00
Robby Findler
09d78f0604
add counter examples to rbtrees
2014-03-19 14:16:28 -05:00
Robby Findler
a451fcfa47
fix performance bug in Redex
...
The bug was in the way matching worked for lists. Specifically, if
you define a grammar like this one:
e ::= (- e)
(- e e)
integer
and you have a term like this:
(- (- (- (- (- (- (- 11)))))))
then at each step of matching against 'e', Redex would try both
alternatives, meaning it is attempting 2^n matches (where n is
the number of nested minus signs).
The fix eagerly checks the lengths of the lists and so brings this
back to a linear time matching problem.
(This came up in the delimited continuation model from the paper
_Constraining Delimited Control with Contracts_, ESOP 2013, altho
Redex's caching can mask the bad behavior, making this linear
again in normal uses of that model.)
2014-03-19 13:02:32 -05:00
