Tony Garnock-Jones
|
c607f1c53f
|
Cosmetic rearrangement of MINIMART_TRACE flag-parsing code
|
2015-12-11 20:24:54 +13:00 |
Tony Garnock-Jones
|
0335e54e6a
|
Check for incorrect use of ? in patterns; allow (? pred? ...) in patterns
|
2015-12-11 20:24:20 +13:00 |
Tony Garnock-Jones
|
30d46a2019
|
Avoid incorrect use of ?; replace with _
|
2015-12-11 20:22:36 +13:00 |
Tony Garnock-Jones
|
91c2d6a3c7
|
box-and-client actor example
|
2015-12-11 17:55:46 +13:00 |
Tony Garnock-Jones
|
424f38b268
|
Bring #:collect vars into scope for maintained assertions in actor.rkt
|
2015-12-11 17:55:34 +13:00 |
Tony Garnock-Jones
|
80ab8e20cc
|
Avoid crashing trace when behavior or state are missing from relevant tables
|
2015-12-11 17:50:55 +13:00 |
Tony Garnock-Jones
|
71c5cd3831
|
No longer store aggregates for ongoing assertions; instead, use the mux's interest-table
|
2015-12-11 17:36:32 +13:00 |
Tony Garnock-Jones
|
e349e28650
|
Explore behavior of limit-patch a little
|
2015-12-11 17:36:10 +13:00 |
Tony Garnock-Jones
|
e4eed9a9e4
|
Add prospect-pretty-print->string
|
2015-12-11 16:34:50 +13:00 |
Tony Garnock-Jones
|
07f7fcb060
|
Handy debug printing (commented out)
|
2015-12-11 16:25:14 +13:00 |
Tony Garnock-Jones
|
cd6f5a0f59
|
Remove dead code
|
2015-12-11 16:25:03 +13:00 |
Tony Garnock-Jones
|
b0d20f328a
|
Introduce syntax-classes
|
2015-12-11 16:24:42 +13:00 |
Tony Garnock-Jones
|
3b161ef573
|
First running HLL program!
|
2015-12-11 15:23:32 +13:00 |
Tony Garnock-Jones
|
29042830e2
|
Greatly improve pretty-printing of many prospect structures
|
2015-12-11 15:21:24 +13:00 |
Tony Garnock-Jones
|
85450362fb
|
Fix treap-values, which had been returning the keys (!)
|
2015-12-11 15:20:51 +13:00 |
Tony Garnock-Jones
|
309ca6f349
|
Avoid crashing in trace/stderr.rkt by printing the special boot pseudo-event.
|
2015-12-11 15:17:01 +13:00 |
Tony Garnock-Jones
|
d9db671896
|
Provide sequence-transitions*, sequence-transitions0 and sequence-transitions0*
|
2015-12-11 15:16:06 +13:00 |
Tony Garnock-Jones
|
154dfa3831
|
Much interesting progress in actor.rkt
|
2015-12-10 12:59:49 +13:00 |
Tony Garnock-Jones
|
c7870086c5
|
sequence-transitions0, sequence-transitions0*, and sequence-transitions*
|
2015-12-10 12:59:33 +13:00 |
Tony Garnock-Jones
|
4876a60f93
|
More progress toward compilation of state forms
|
2015-12-09 16:18:36 +13:00 |
Tony Garnock-Jones
|
c05393aa2e
|
Add missing rising-edge wrapper
|
2015-12-09 16:17:57 +13:00 |
Tony Garnock-Jones
|
4b0d800b5f
|
Extract collected values in (until) macro
|
2015-12-09 14:34:24 +13:00 |
Tony Garnock-Jones
|
2004d30f3a
|
Work toward using mux directly in actor.rkt
|
2015-12-09 14:12:27 +13:00 |
Tony Garnock-Jones
|
a9600b0de8
|
Use newly-refactored mux in endpoint implementation
|
2015-12-05 06:23:28 +13:00 |
Tony Garnock-Jones
|
4db7c17dc8
|
Refactor split in responsibilities between core and mux
|
2015-12-05 05:58:16 +13:00 |
Tony Garnock-Jones
|
e03645e682
|
Correct error in example used for development
|
2015-12-05 04:40:31 +13:00 |
Tony Garnock-Jones
|
bddcf9a240
|
Guess at a place where checking of termination conditions should occur
|
2015-12-05 04:40:31 +13:00 |
Tony Garnock-Jones
|
aae15a008b
|
Switch to generic action-instruction; actor macro; more work on expand-state
|
2015-12-05 04:40:31 +13:00 |
Tony Garnock-Jones
|
0bf0af74e6
|
Remove obsolete comment
|
2015-12-05 04:40:31 +13:00 |
Tony Garnock-Jones
|
1e1fccd34d
|
Switch to endpoint-based actor.rkt layer
|
2015-12-05 04:40:31 +13:00 |
Tony Garnock-Jones
|
54b80cf79b
|
Add as-endpoint to allow performing actions as if they came from other endpoints
|
2015-12-05 04:40:30 +13:00 |
Tony Garnock-Jones
|
25fd4fddb7
|
Remove notion of endpoint pre/peri/post handlers
|
2015-12-05 04:40:30 +13:00 |
Tony Garnock-Jones
|
25489c0043
|
Rearrange & begin documenting
|
2015-12-05 04:40:30 +13:00 |
Tony Garnock-Jones
|
2400800bba
|
Lots of work toward HLL
|
2015-12-05 04:40:30 +13:00 |
Tony Garnock-Jones
|
66fbb5e398
|
Fix create-process: it returns a transition
|
2015-12-05 04:40:30 +13:00 |
Tony Garnock-Jones
|
2fa90c59b6
|
Adapt to new generalized spawn boot actions
|
2015-12-03 20:44:37 -05:00 |
Tony Garnock-Jones
|
f3643601d4
|
Adapt to new flexibility in spawn startup actions
|
2015-12-03 13:07:04 -08:00 |
Tony Garnock-Jones
|
2ae8817a6b
|
Log to show what is going on in the box-and-client example
|
2015-12-03 12:56:52 -08:00 |
Tony Garnock-Jones
|
3087658f01
|
Fix missing exn propagation
|
2015-12-03 12:56:52 -08:00 |
Tony Garnock-Jones
|
506d74ed42
|
Support other kinds of actions than patches when first spawning a process
|
2015-12-03 12:56:52 -08:00 |
Tony Garnock-Jones
|
feb55c174c
|
New macro system forces fix to phase problem
|
2015-11-18 14:32:59 -05:00 |
Tony Garnock-Jones
|
c3e94ff7e0
|
Oops -- wanted the raw ctor, not the cooked one
|
2015-11-18 14:32:43 -05:00 |
Tony Garnock-Jones
|
c4f8b42787
|
Allow recording of exceptions in quit structs.
|
2015-11-17 14:01:04 -05:00 |
Tony Garnock-Jones
|
252a09b48d
|
Notes on when vs #:when
|
2015-11-17 14:00:45 -05:00 |
Tony Garnock-Jones
|
e3623f794b
|
notes-on-hll.md
|
2015-11-17 13:39:28 -05:00 |
Tony Garnock-Jones
|
18bf10519b
|
Exploring more HLL-style examples
|
2015-11-09 20:16:50 -05:00 |
Tony Garnock-Jones
|
46c6ac7a6e
|
Sketches of HLL
|
2015-11-09 19:07:29 -05:00 |
Tony Garnock-Jones
|
7b72d40a70
|
box-and-client example
|
2015-11-02 21:40:12 -05:00 |
Tony Garnock-Jones
|
cb6f60739d
|
Tweak collision detection to detect top surface last, making bugs harder to squash
|
2015-10-29 16:08:24 -04:00 |
Tony Garnock-Jones
|
de35a23a6c
|
Add collect-garbage to improve (?) smoothness; log instantaneous frame rates
|
2015-10-29 16:08:10 -04:00 |