Stephen Chang
|
b30a1a9425
|
start rosette2
|
2016-08-24 16:54:55 -04:00 |
|
AlexKnauth
|
0eefdab628
|
add case-> to rosette
|
2016-08-24 15:27:04 -04:00 |
|
AlexKnauth
|
cddfdc0349
|
use flatten/depth-lens instead of stx-append*n-lens
|
2016-08-24 09:33:54 -04:00 |
|
Stephen Chang
|
268af37ff0
|
add stlc+union+case
|
2016-08-22 10:49:36 -04:00 |
|
Stephen Chang
|
efbf03c258
|
start stlc+union
|
2016-08-22 09:30:30 -04:00 |
|
Stephen Chang
|
bb74d26ddc
|
start typed ifc
|
2016-08-22 09:25:01 -04:00 |
|
Stephen Chang
|
541c1e64a9
|
add list to typed rosette
|
2016-08-22 09:21:57 -04:00 |
|
Stephen Chang
|
8b81c93692
|
typed fsm lang uses choose from typed rosette
|
2016-08-22 09:21:55 -04:00 |
|
Stephen Chang
|
4e48285d7f
|
add more fsm tests
|
2016-08-22 09:18:59 -04:00 |
|
Stephen Chang
|
abf74414f0
|
fix choose in typed fsm lang
- convert typed rosette and its langs to use rosette's #%module-begin
|
2016-08-22 09:18:52 -04:00 |
|
Stephen Chang
|
f7b4dde15b
|
fix more src locs in typecheck.rkt
|
2016-08-22 08:58:44 -04:00 |
|
AlexKnauth
|
eacf9d50d0
|
support #:do and #:fail-when syntax-parse options
|
2016-08-18 17:08:16 -04:00 |
|
Stephen Chang
|
ebecdb663c
|
allow arbitrary number of dashes in type rules
closes #23
|
2016-08-18 16:49:23 -04:00 |
|
Stephen Chang
|
6d99f352db
|
allow single env, implies empty tvctx
|
2016-08-18 15:17:26 -04:00 |
|
Stephen Chang
|
aa0136cf29
|
make prop tag optional, defaults to :
|
2016-08-18 14:52:50 -04:00 |
|
AlexKnauth
|
e673527813
|
add #:attributes decleration
|
2016-08-18 13:15:29 -04:00 |
|
AlexKnauth
|
e9230e0ba3
|
remove square brackets around syntax-parse kws
|
2016-08-17 17:49:37 -04:00 |
|
Stephen Chang
|
ad37a45a69
|
update deps
|
2016-07-28 12:26:47 -04:00 |
|
AlexKnauth
|
2ddf45f8de
|
remove brackets around e ≫ e-
|
2016-07-26 11:44:17 -04:00 |
|
AlexKnauth
|
dac08d9b15
|
support multiple ellipses on ind-clauses
|
2016-07-26 09:27:14 -04:00 |
|
AlexKnauth
|
d698bce58b
|
refactor turnstile
|
2016-07-26 08:46:34 -04:00 |
|
AlexKnauth
|
b73857d151
|
support multiple ellipses in the rhs of turnstile clauses
|
2016-07-25 10:24:42 -04:00 |
|
Stephen Chang
|
a0bb758a42
|
use stx lenses from lens pkg instead of append-lens.rkt
|
2016-07-20 19:05:58 -04:00 |
|
Stephen Chang
|
3707d90531
|
enable use of define-type-alias in language implementations
- using \tau.norm in define-type-alias implementation causes
"invalid type" errors when the file is compiled
|
2016-07-20 18:44:15 -04:00 |
|
Stephen Chang
|
f90c464a19
|
disable some overloading tests to avoid marshalling error
|
2016-07-20 18:40:51 -04:00 |
|
Stephen Chang
|
6e7a8aedf3
|
fix rosette tests again
|
2016-07-19 16:27:38 -04:00 |
|
Stephen Chang
|
580ffdd1ac
|
add typed fsm forms except verification forms
|
2016-07-19 15:46:55 -04:00 |
|
Stephen Chang
|
6fdffbcb34
|
fix bv tests
|
2016-07-19 15:46:03 -04:00 |
|
Stephen Chang
|
e17ae9e5fe
|
update extends and reuse in typecheck.rkt to:
- support paths instead of filenames
- require prefix-in by default
- fix srclocs of extends
|
2016-07-19 15:42:35 -04:00 |
|
Stephen Chang
|
e573a0927c
|
add stx-append*-lens
|
2016-07-19 15:40:17 -04:00 |
|
Stephen Chang
|
e0f96296ed
|
start fsm, (bv tests not passing)
|
2016-07-19 11:48:43 -04:00 |
|
Stephen Chang
|
dee0e2f8d0
|
fix typed equal? to use rosette equal?
|
2016-07-19 11:48:43 -04:00 |
|
Stephen Chang
|
30d5a8780b
|
add random testing check-equal
|
2016-07-19 11:48:43 -04:00 |
|
Stephen Chang
|
2f60ad5e27
|
finish typed-bv lang: typechecks all easy/med/hard tests
|
2016-07-19 11:48:43 -04:00 |
|
Stephen Chang
|
9969375654
|
rename bv -> rosette
|
2016-07-19 11:48:43 -04:00 |
|
Stephen Chang
|
b3fb830a46
|
add parameters
|
2016-07-19 11:48:43 -04:00 |
|
Stephen Chang
|
cef8660c75
|
add all bv ops from rosette
|
2016-07-19 11:48:43 -04:00 |
|
Stephen Chang
|
38ba3d273d
|
start typed bv
|
2016-07-19 11:48:43 -04:00 |
|
AlexKnauth
|
fc243732c3
|
add append-lens.rkt
|
2016-07-19 11:05:28 -04:00 |
|
Stephen Chang
|
990619e9c9
|
turnstile provides postfix-in
|
2016-07-11 19:23:54 -04:00 |
|
Stephen Chang
|
f22e9b0683
|
add racket version req to readme
|
2016-07-06 15:51:14 -04:00 |
|
Stephen Chang
|
bdc5db67f0
|
update readme with new dir structure
|
2016-07-06 15:49:40 -04:00 |
|
AlexKnauth
|
d59c510941
|
factor out do-tests macro
|
2016-07-01 12:43:01 -04:00 |
|
AlexKnauth
|
1d50b065b9
|
copy over the rest of the mlish tests
|
2016-07-01 12:05:26 -04:00 |
|
AlexKnauth
|
7677a6de28
|
copy over the rest of the non-mlish tests
|
2016-06-30 18:23:52 -04:00 |
|
AlexKnauth
|
a8f1634baa
|
start copying tests over to macrotypes/examples/tests
|
2016-06-30 17:42:23 -04:00 |
|
AlexKnauth
|
308fb84792
|
infer instantiations for argument positions, add define/rec
|
2016-06-28 14:03:12 -04:00 |
|
AlexKnauth
|
57885d8645
|
infer instantiations for function positions
|
2016-06-28 14:01:54 -04:00 |
|
AlexKnauth
|
6e2f9a4a16
|
implement occurs check
|
2016-06-28 14:01:54 -04:00 |
|
AlexKnauth
|
ceed899f5f
|
add define, *, and a new join
|
2016-06-28 14:01:54 -04:00 |
|