Eric Dobson
|
049057edd9
|
Make -imp simplify more, and use it in more places.
Also add filter tests for implication.
|
2014-03-25 00:03:39 -07:00 |
|
Eric Dobson
|
fcedc4ab59
|
Make Bottom not a special case for tc-any-results.
|
2014-03-24 20:27:54 -07:00 |
|
Robby Findler
|
9c0317b04e
|
misc cleanups to graphing code so sizing is easier and
change the labels in the legends
|
2014-03-24 09:19:07 -05:00 |
|
Eric Dobson
|
cc377272d6
|
Make -filter and -not-filter do more simplification.
|
2014-03-24 00:09:17 -07:00 |
|
Eric Dobson
|
aedf612a06
|
Remove dead code in tc-metafunctions.
|
2014-03-23 22:49:27 -07:00 |
|
Robby Findler
|
d718a66d97
|
forgot bug #5 description (and clarify bug #4 wrt to bug #5)
|
2014-03-23 16:51:57 -05:00 |
|
Robby Findler
|
9ec3eea040
|
proper descriptions of the rvm model bugs
|
2014-03-23 16:45:18 -05:00 |
|
Eric Dobson
|
240695a4c1
|
Make typecheck tests provide more information.
|
2014-03-23 14:35:36 -07:00 |
|
Robby Findler
|
b7cd08b5fd
|
add small(ish) counterexample to delim-cont-3
|
2014-03-23 14:07:35 -05:00 |
|
Robby Findler
|
1a4b68f7e5
|
move legend to bottom right
|
2014-03-23 14:07:35 -05:00 |
|
Burke Fetscher
|
da158e6d95
|
fix rvm ordered generation to not do test every time
|
2014-03-22 19:22:37 -05:00 |
|
Eric Dobson
|
ac1d7ea19e
|
Fixup rec-lambda contract
|
2014-03-22 17:12:30 -07:00 |
|
Burke Fetscher
|
0f5be21f21
|
apppend unexposed bugs to the rhs of the benchmark plot
|
2014-03-22 15:59:06 -05:00 |
|
Eric Dobson
|
94a5f215b1
|
Remove duplicate top-filter empty case.
|
2014-03-21 23:45:47 -07:00 |
|
Eric Dobson
|
ca082c2176
|
Fix use of expected type of ignore expressions.
|
2014-03-21 23:45:47 -07:00 |
|
Eric Dobson
|
8de32baf28
|
Fix misuse of expected in tc-send.
|
2014-03-21 22:58:45 -07:00 |
|
Eric Dobson
|
cf713b7030
|
Fix tc-if. Remove dead cases and misuse of expected.
|
2014-03-21 22:58:44 -07:00 |
|
Eric Dobson
|
750e408d94
|
Fix expected use in single-value.
|
2014-03-21 22:58:44 -07:00 |
|
Eric Dobson
|
29fb1c60c2
|
Make wcm not misuse the expected results.
|
2014-03-21 22:58:44 -07:00 |
|
Eric Dobson
|
e355539c41
|
Make tc-values not misuse expected.
|
2014-03-21 22:58:44 -07:00 |
|
Eric Dobson
|
8cf1246fb1
|
Change tc-app-lambda to not return bad filters.
Makes tc/rec-lambda/check return the actual results, and erase the names of
the values bound by the let.
|
2014-03-21 22:58:43 -07:00 |
|
Eric Dobson
|
74f8dc7436
|
Make heterogenous vector typechecking not double typecheck the arguments.
|
2014-03-21 22:44:45 -07:00 |
|
Eric Dobson
|
a7d6809243
|
fixup
|
2014-03-21 22:01:32 -07:00 |
|
Eric Dobson
|
534f41e729
|
Update current-seen
|
2014-03-21 22:01:32 -07:00 |
|
Max New
|
31469441dc
|
Fix many/e enum bug (probably impossible to observe at redex level)
|
2014-03-21 23:54:26 -05:00 |
|
Robby Findler
|
3abb14a63e
|
fix property to actually use Kleene equality (instead
of comparing the output of standard reduction)
|
2014-03-21 23:43:15 -05:00 |
|
Robby Findler
|
29fe17729b
|
add small counter examples to list machine
Also include test cases that show that the counter
examples type check
|
2014-03-21 16:26:04 -05:00 |
|
Robby Findler
|
bd3aaa0ff7
|
use parameterize instead of setting parameters
|
2014-03-21 16:25:41 -05:00 |
|
Robby Findler
|
d05834afb7
|
find slightly smaller counter examples for a few bugs
|
2014-03-21 14:53:09 -05:00 |
|
Robby Findler
|
ea8889397b
|
export consistent-with?
|
2014-03-21 14:52:44 -05:00 |
|
Burke Fetscher
|
51651d2dc4
|
add stlc-sub with type soundness property
|
2014-03-21 13:54:48 -05:00 |
|
Eric Dobson
|
bbec642284
|
Make version of tc-err that checks return types.
|
2014-03-21 09:04:49 -07:00 |
|
Eric Dobson
|
43449f820c
|
Make check-below not return no-filter and no-obj.
|
2014-03-21 08:52:32 -07:00 |
|
Lei Wang
|
424cef9397
|
Modified Scribble Indentation functions to support "line push back"(combine concurrent short lines)
|
2014-03-21 01:08:16 -04:00 |
|
Burke Fetscher
|
9d70f35ec4
|
adjust vm correctness property, update diffs
|
2014-03-20 23:46:34 -05:00 |
|
Burke Fetscher
|
bb1d23cb1d
|
add vm bug 2 and update counterexamples
|
2014-03-20 23:46:34 -05:00 |
|
Eric Dobson
|
a7f0be7165
|
Make abbreviation for make-Event to match others.
|
2014-03-20 21:12:42 -07:00 |
|
Eric Dobson
|
efd27fa4f7
|
Add type key to ClassTop.
|
2014-03-20 20:42:10 -07:00 |
|
Eric Dobson
|
ca867bc97f
|
Simplify typechecking of extend-parameterization.
|
2014-03-20 20:22:17 -07:00 |
|
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 |
|