AlexKnauth
|
d5b46b9ee4
|
add rackunit-lib as a build-dep
|
2016-09-17 17:55:44 -04:00 |
|
AlexKnauth
|
ccdb667fac
|
move default-type-eval into typecheck.rkt
|
2016-09-17 09:15:41 -04:00 |
|
AlexKnauth
|
a075b9b4f8
|
fix ~?Some pattern expander
|
2016-09-02 10:57:46 -04:00 |
|
AlexKnauth
|
a56250b26e
|
start on tests from section 3 of the Guide
|
2016-08-31 18:59:54 -04:00 |
|
AlexKnauth
|
3d92dbdde3
|
add #lang turnstile/lang; change #lang turnstile's #%module-begin
|
2016-08-31 18:49:25 -04:00 |
|
Stephen Chang
|
98c5a6c231
|
support multiple exprs in let body; add set!
|
2016-08-31 16:57:23 -04:00 |
|
Stephen Chang
|
3f61c468be
|
rename rosette-guide-tests -> rosette-guide-sec2-tests
|
2016-08-31 16:22:55 -04:00 |
|
Stephen Chang
|
5436f70de3
|
add remaining Rosette guide, sec2 examples
|
2016-08-31 16:22:08 -04:00 |
|
Stephen Chang
|
761645833d
|
split Bool into True and False in stlc+union; add current-bitwidth to rosett2
|
2016-08-31 15:42:29 -04:00 |
|
Stephen Chang
|
af98a9dec9
|
add solve
|
2016-08-31 15:19:12 -04:00 |
|
Stephen Chang
|
90e9517b3a
|
add synthesize and lib/synthax
|
2016-08-31 15:02:21 -04:00 |
|
Stephen Chang
|
60fa8ab91f
|
fix syntax taint errs produced by srcloc workaround in #%app
|
2016-08-31 12:58:56 -04:00 |
|
Stephen Chang
|
10a143a16d
|
add verify, evaluate; and debug, render in separate libs
|
2016-08-30 16:58:15 -04:00 |
|
Stephen Chang
|
2a6167e4d0
|
add immutable vectors; add "of" suffix to data structure type constructors
|
2016-08-30 11:41:40 -04:00 |
|
Stephen Chang
|
54c0ee1cb6
|
fix inf loop in current-sub?
- add more guide tests
|
2016-08-29 16:57:50 -04:00 |
|
AlexKnauth
|
513f6dcfd4
|
use type-cast and assert-pred for assert-type
|
2016-08-29 16:13:46 -04:00 |
|
Stephen Chang
|
1a14c5e377
|
add rosette-guide-tests; add various forms
- let-symbolic
- vector
- begin
|
2016-08-29 15:25:26 -04:00 |
|
AlexKnauth
|
98e5cdc77f
|
add more assert-type tests
|
2016-08-29 11:26:22 -04:00 |
|
Stephen Chang
|
a9cf9cb217
|
add tests for assert-type; use new lifted bitvector? as BVPred "pred" stx prop
|
2016-08-26 17:01:48 -04:00 |
|
AlexKnauth
|
49fa6f5c38
|
add a lifted bitvector? predicate
|
2016-08-26 16:52:06 -04:00 |
|
Stephen Chang
|
d28893eb31
|
add Any; remove rosette1 dependencies
|
2016-08-26 15:15:49 -04:00 |
|
AlexKnauth
|
a2d702f221
|
add check-type+asserts
|
2016-08-26 14:28:08 -04:00 |
|
Stephen Chang
|
34ded75744
|
fix bv sdsl tests
|
2016-08-26 12:42:06 -04:00 |
|
AlexKnauth
|
eb3ff40404
|
convert bv.rkt to extend rosette2
|
2016-08-26 11:56:21 -04:00 |
|
Stephen Chang
|
d7ab2d0f29
|
add some forms required by bv sdsl: Param, let, define (no tests yet)
|
2016-08-26 11:11:15 -04:00 |
|
AlexKnauth
|
5df20847cb
|
uncomment more tests
|
2016-08-25 17:00:05 -04:00 |
|
Stephen Chang
|
c3540ed7a9
|
add pred stx props and assert-type
|
2016-08-25 16:43:07 -04:00 |
|
AlexKnauth
|
25fa722acf
|
uncomment more tests
|
2016-08-25 15:38:30 -04:00 |
|
Stephen Chang
|
32c13d9ae2
|
fix BVPred to not use old rosette version
|
2016-08-25 15:27:24 -04:00 |
|
Stephen Chang
|
9e2b2ddd3c
|
add if and define-symbolic
|
2016-08-25 14:17:46 -04:00 |
|
AlexKnauth
|
e07f912cf7
|
rosette2: support more bv operations
|
2016-08-25 11:59:17 -04:00 |
|
AlexKnauth
|
6ee48d12a5
|
rosette2: start on bv operations
|
2016-08-25 11:38:20 -04:00 |
|
AlexKnauth
|
f3014ef2e7
|
rosette2: add sub1 and +
|
2016-08-25 11:09:58 -04:00 |
|
AlexKnauth
|
cc27c76ab8
|
rosette2: support applying symbolic function types
|
2016-08-25 10:07:00 -04:00 |
|
AlexKnauth
|
9743656778
|
rosette2: support applying Ccase-> functions
|
2016-08-25 09:53:22 -04:00 |
|
AlexKnauth
|
add4a2d7d5
|
more work on rosette2
|
2016-08-24 19:42:03 -04:00 |
|
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 |
|