suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
594 Commits 11 Branches 0 Tags 2.8 MiB
rosette3
Commit Graph

594 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Stephen Chang
a8f908ff19 more fail/toplvl in tests 2017-03-21 19:44:14 -04:00
Stephen Chang
bff10f9f03 use typecheck-fail/toplvl in tests 2017-03-21 19:16:31 -04:00
Stephen Chang
9e3c2c2866 more stx -> this-syntax 2017-03-21 19:16:15 -04:00
Stephen Chang
7968d6346c replace some stx stx-params with this-syntax 2017-03-21 17:56:04 -04:00
Stephen Chang
f0646f300b more synthcl3 code cleanup 2017-03-21 17:56:04 -04:00
Stephen Chang
25a66ae60e add macro to define int and float types; other cleanup 2017-03-21 17:56:04 -04:00
Stephen Chang
f0cf86e9bd add memset, sqrt, convert_X fns; add sobel filter tests 2017-03-21 17:56:04 -04:00
Stephen Chang
f2c6b581fe add walsh transform verify tests 2017-03-21 17:56:04 -04:00
Stephen Chang
21c77d7e61 add base/else grammar form; walsh synth tests passing 
- add ?? and @
- add comparison ops
- use cl:/ instead of my own - fixed walsh synth scalar test
- fix unbound ids err in for due to let*-like bindings
 2017-03-21 17:56:04 -04:00
Stephen Chang
e0a2900c77 synthcl3: fix pointer deref assignment bug; all matrix mult tests passing! 2017-03-21 17:56:04 -04:00
Stephen Chang
57bf9a5543 some file renaming 2017-03-21 17:56:04 -04:00
Stephen Chang
b5e8a7bceb fix some bugs; matrix synth tests working 
- pointer selection should have type of ptr base
- fix more invalid vectors, created by to-X, and :
- add cl fns
 2017-03-21 17:56:04 -04:00
Stephen Chang
f1f43697f9 support array decls; fix procedure to support local decls 2017-03-21 17:56:04 -04:00
Stephen Chang
5e0acd3f9b synthcl3: add choose, synth, verify; finish more-snippets tests 2017-03-21 17:56:04 -04:00
Stephen Chang
13ef7c8b72 start using expand/ro; fix define-synthax, woo! 2017-03-21 17:56:04 -04:00
Stephen Chang
8949a9fbf1 synthcl3: add separate void and Pointer type 
- distinguish int and real binop
- add more forms
- add more tests
 2017-03-21 17:56:04 -04:00
Stephen Chang
d20a238961 synthcl3: add macros to abstract definition of common forms and types 2017-03-21 17:56:04 -04:00
Stephen Chang
cdedc4b556 working with app snippet tests: assignment, vectors, pointers, selectors, procedures 2017-03-21 17:56:04 -04:00
Stephen Chang
8e2710e133 synth3: start assignment 2017-03-21 17:56:04 -04:00
Stephen Chang
56b8b52ea6 start synthcl3: snippets up to int16 working (float3 and ?: selection) 2017-03-21 17:56:04 -04:00
Stephen Chang
5d8557bbca clean up ifc tests 2017-03-21 17:56:04 -04:00
Stephen Chang
6d33532aab add more ifc3 tests 2017-03-21 17:56:04 -04:00
Stephen Chang
fd8a59a45f add ifc3, ifc3-tests 2017-03-21 17:56:04 -04:00
Stephen Chang
ad6978a432 add fsm3 2017-03-21 17:56:04 -04:00
Stephen Chang
0c1635e984 rosette3: add tests checking displayed output 2017-03-21 17:56:04 -04:00
Stephen Chang
311c5ab117 rosette3: elimindate some code duplication 
- use current-host-lang and typed-out
- reuse more unlifted forms (eg, let from ext-stlc)
 2017-03-21 17:56:04 -04:00
Stephen Chang
824803388f fix non-turnstile mlish to work with define-primop and current-host-lang 2017-03-21 17:56:04 -04:00
Stephen Chang
39ad3e1726 ext-stlc: multi-expr let body and top-lvl fn defs 2017-03-21 17:56:04 -04:00
Stephen Chang
b4d5c710b3 use current-host-lang in define-primop and typed-out 2017-03-21 17:56:03 -04:00
Stephen Chang
297e5df6ae start host lang param experiment 2017-03-21 17:56:03 -04:00
Stephen Chang
4f400b5e0a refine if: create sym val only when test is sym bool 2017-03-21 17:56:03 -04:00
Stephen Chang
593f4f5881 fix merge remnant 2017-03-21 17:56:03 -04:00
Stephen Chang
3edf1e031a fixes to complete rebase master 2017-03-21 17:56:03 -04:00
Stephen Chang
3140cbff36 small addition to rosette notes 2017-03-21 17:56:03 -04:00
Stephen Chang
17b78ef229 add symbolic reflection forms; add sec7 guide tests 
- for/all and define-lift not working with assert-type
  - how to associate pred with newly lifted (type) of values?
 2017-03-21 17:56:03 -04:00
Stephen Chang
583469c25f add remaining libs; add sec6 guide tests 2017-03-21 17:56:03 -04:00
Stephen Chang
60c13fdd18 add structs (generics dont completely work); add sec5 guide tests 2017-03-21 17:56:03 -04:00
Stephen Chang
61751777ae add forms and tests for guide sec49 solver and sols 2017-03-21 17:56:03 -04:00
Stephen Chang
e2fa3bcaa5 add pairs; add list, vector, and box fns; add guide 4.6-8 tests 
- add distinguish car/cdr from first/res
- add immut boxes
- add evaluate special case: nested Constant
 2017-03-21 17:56:03 -04:00
Stephen Chang
3995203803 add sec45 guide tests 2017-03-21 17:56:03 -04:00
Stephen Chang
5862112f57 add remaining sec44 guide tests; use term cache to improve testing 2017-03-21 17:56:03 -04:00
Stephen Chang
a242442a46 start sec4.4 tests; fix ~> arity; transfer stx props in define 
- change solvable, etc stx-prop-related err msg
 2017-03-21 17:56:03 -04:00
Stephen Chang
e3171e2b47 change BVPred input to Any; add remaining sec4.3 BV examples 2017-03-21 17:56:03 -04:00
Stephen Chang
3495584667 update rosette notes about Constant subtyping rule(s) 2017-03-21 17:56:03 -04:00
Stephen Chang
6ff4410841 add rhs Constant clause in sub?; fix cons to create U 2017-03-21 17:56:03 -04:00
Stephen Chang
a605de099b check for constants in forall and exists 2017-03-21 17:56:03 -04:00
Stephen Chang
2e7e6a5d5c better checks for pred?s in debug 2017-03-21 17:56:03 -04:00
Stephen Chang
d8f674b362 remove type annotation from ?? 2017-03-21 17:56:03 -04:00
Stephen Chang
2e50bec36a complete Constant; TODO: check for Constant in synthesize, etc? 2017-03-21 17:56:03 -04:00
AlexKnauth
4fa8bac761 start on the Constant constructor 2017-03-21 17:56:03 -04:00