-
4dfb4c46a1
world --> network
Tony Garnock-Jones
2016-01-20 14:16:18 -0500
-
1ab7475869
world --> network
Tony Garnock-Jones
2016-01-20 14:13:49 -0500
-
5e6d72b991
Rearrange bank-account examples.
Tony Garnock-Jones
2016-01-18 17:38:58 -0500
-
1d28908600
Add project-assertions convenience routine.
Tony Garnock-Jones
2016-01-18 17:33:26 -0500
-
aa9677dbe1
Rename World to Network
Tony Garnock-Jones
2016-01-18 14:29:48 -0500
-
ad9a78b4a4
Directly detect incoming connections in examples/chat-simplified-internals
Tony Garnock-Jones
2016-01-16 22:12:35 -0500
-
024157103c
Simplified TCP protocol chat example
Tony Garnock-Jones
2016-01-16 21:59:30 -0500
-
b7726dafb8
Clearer example
Tony Garnock-Jones
2016-01-16 18:45:44 -0500
-
fe2bc31f4f
Avoid use of sub; wait for server to come ready before sending messages
Tony Garnock-Jones
2016-01-16 18:11:35 -0500
-
f1c1646163
Bank account example
Tony Garnock-Jones
2016-01-16 14:32:04 -0500
-
6058f8ec6e
mini-echo examples
Tony Garnock-Jones
2016-01-14 15:19:00 -0500
-
31fe2cd92b
Variations on chat server
Tony Garnock-Jones
2016-01-13 11:35:03 -0500
-
4faf189029
Echo example in actor form
Tony Garnock-Jones
2016-01-13 11:26:01 -0500
-
99466dad7f
examples/actor/chat-client.rkt
Tony Garnock-Jones
2016-01-08 12:22:27 -0500
-
a978731c55
Correct typo: 5000 should be 5999
Tony Garnock-Jones
2016-01-08 12:22:11 -0500
-
32ff49a814
TODO
Tony Garnock-Jones
2015-12-18 11:45:01 +1300
-
881769c274
Comment out debug-printing in expand-state
Tony Garnock-Jones
2015-12-15 15:05:28 +1300
-
e3aaed1ec9
Untabify
Tony Garnock-Jones
2015-12-15 15:01:13 +1300
-
edaf97ae05
Simplify and rename %%boot to actor-body->spawn-action
Tony Garnock-Jones
2015-12-12 07:02:13 +1300
-
97dceedff2
Expose `perform-core-action!`.
Tony Garnock-Jones
2015-12-12 06:52:16 +1300
-
bd0278297b
Add `network` to actor.rkt
Tony Garnock-Jones
2015-12-12 06:45:15 +1300
-
debd191992
Fix bug with `until` and #:collect.
Tony Garnock-Jones
2015-12-12 06:20:50 +1300
-
e2b7805232
Simple file-system example, similar to that in the paper submission
Tony Garnock-Jones
2015-12-11 20:25:52 +1300
-
122ea7ea1c
Steps toward proper scoping of #:collect bindings
Tony Garnock-Jones
2015-12-11 20:25:17 +1300
-
c607f1c53f
Cosmetic rearrangement of MINIMART_TRACE flag-parsing code
Tony Garnock-Jones
2015-12-11 20:24:45 +1300
-
0335e54e6a
Check for incorrect use of ? in patterns; allow (? pred? ...) in patterns
Tony Garnock-Jones
2015-12-11 20:24:20 +1300
-
30d46a2019
Avoid incorrect use of ?; replace with _
Tony Garnock-Jones
2015-12-11 20:22:36 +1300
-
91c2d6a3c7
box-and-client actor example
Tony Garnock-Jones
2015-12-11 17:55:46 +1300
-
424f38b268
Bring #:collect vars into scope for maintained assertions in actor.rkt
Tony Garnock-Jones
2015-12-11 17:55:34 +1300
-
80ab8e20cc
Avoid crashing trace when behavior or state are missing from relevant tables
Tony Garnock-Jones
2015-12-11 17:50:55 +1300
-
71c5cd3831
No longer store aggregates for ongoing assertions; instead, use the mux's interest-table
Tony Garnock-Jones
2015-12-11 17:36:32 +1300
-
e349e28650
Explore behavior of limit-patch a little
Tony Garnock-Jones
2015-12-11 17:36:10 +1300
-
e4eed9a9e4
Add prospect-pretty-print->string
Tony Garnock-Jones
2015-12-11 16:34:50 +1300
-
07f7fcb060
Handy debug printing (commented out)
Tony Garnock-Jones
2015-12-11 16:25:14 +1300
-
cd6f5a0f59
Remove dead code
Tony Garnock-Jones
2015-12-11 16:25:03 +1300
-
b0d20f328a
Introduce syntax-classes
Tony Garnock-Jones
2015-12-11 16:24:42 +1300
-
3b161ef573
First running HLL program!
Tony Garnock-Jones
2015-12-11 15:23:32 +1300
-
29042830e2
Greatly improve pretty-printing of many prospect structures
Tony Garnock-Jones
2015-12-11 15:21:24 +1300
-
85450362fb
Fix treap-values, which had been returning the keys (!)
Tony Garnock-Jones
2015-12-11 15:20:51 +1300
-
309ca6f349
Avoid crashing in trace/stderr.rkt by printing the special boot pseudo-event.
Tony Garnock-Jones
2015-12-11 15:17:01 +1300
-
d9db671896
Provide sequence-transitions*, sequence-transitions0 and sequence-transitions0*
Tony Garnock-Jones
2015-12-11 15:16:06 +1300
-
154dfa3831
Much interesting progress in actor.rkt
Tony Garnock-Jones
2015-12-10 12:59:49 +1300
-
c7870086c5
sequence-transitions0, sequence-transitions0*, and sequence-transitions*
Tony Garnock-Jones
2015-12-10 12:59:33 +1300
-
4876a60f93
More progress toward compilation of state forms
Tony Garnock-Jones
2015-12-09 16:18:36 +1300
-
c05393aa2e
Add missing rising-edge wrapper
Tony Garnock-Jones
2015-12-09 16:17:57 +1300
-
4b0d800b5f
Extract collected values in (until) macro
Tony Garnock-Jones
2015-12-09 14:34:24 +1300
-
2004d30f3a
Work toward using mux directly in actor.rkt
Tony Garnock-Jones
2015-12-09 14:12:27 +1300
-
a9600b0de8
Use newly-refactored mux in endpoint implementation
Tony Garnock-Jones
2015-12-05 06:23:28 +1300
-
4db7c17dc8
Refactor split in responsibilities between core and mux
Tony Garnock-Jones
2015-12-05 05:21:13 +1300
-
e03645e682
Correct error in example used for development
Tony Garnock-Jones
2015-12-03 20:49:11 -0500
-
bddcf9a240
Guess at a place where checking of termination conditions should occur
Tony Garnock-Jones
2015-12-03 13:45:27 -0800
-
aae15a008b
Switch to generic action-instruction; actor macro; more work on expand-state
Tony Garnock-Jones
2015-12-03 13:31:36 -0800
-
0bf0af74e6
Remove obsolete comment
Tony Garnock-Jones
2015-12-03 13:28:05 -0800
-
1e1fccd34d
Switch to endpoint-based actor.rkt layer
Tony Garnock-Jones
2015-12-03 12:55:40 -0800
-
54b80cf79b
Add as-endpoint to allow performing actions as if they came from other endpoints
Tony Garnock-Jones
2015-12-01 17:22:08 -0500
-
25fd4fddb7
Remove notion of endpoint pre/peri/post handlers
Tony Garnock-Jones
2015-11-25 11:27:58 -0500
-
25489c0043
Rearrange & begin documenting
Tony Garnock-Jones
2015-11-25 10:42:13 -0500
-
2400800bba
Lots of work toward HLL
Tony Garnock-Jones
2015-11-23 17:33:12 -0500
-
66fbb5e398
Fix create-process: it returns a transition
Tony Garnock-Jones
2015-12-05 04:40:02 +1300
-
2fa90c59b6
Adapt to new generalized spawn boot actions
Tony Garnock-Jones
2015-12-03 20:44:37 -0500
-
f3643601d4
Adapt to new flexibility in spawn startup actions
Tony Garnock-Jones
2015-12-03 13:07:04 -0800
-
2ae8817a6b
Log to show what is going on in the box-and-client example
Tony Garnock-Jones
2015-12-03 12:53:53 -0800
-
3087658f01
Fix missing exn propagation
Tony Garnock-Jones
2015-12-03 12:53:32 -0800
-
506d74ed42
Support other kinds of actions than patches when first spawning a process
Tony Garnock-Jones
2015-12-03 12:53:07 -0800
-
feb55c174c
New macro system forces fix to phase problem
Tony Garnock-Jones
2015-11-18 14:32:59 -0500
-
c3e94ff7e0
Oops -- wanted the raw ctor, not the cooked one
Tony Garnock-Jones
2015-11-18 14:32:43 -0500
-
c4f8b42787
Allow recording of exceptions in quit structs.
Tony Garnock-Jones
2015-11-17 14:01:04 -0500
-
252a09b48d
Notes on when vs #:when
Tony Garnock-Jones
2015-11-17 14:00:45 -0500
-
e3623f794b
notes-on-hll.md
Tony Garnock-Jones
2015-11-17 13:15:39 -0500
-
18bf10519b
Exploring more HLL-style examples
Tony Garnock-Jones
2015-11-09 20:16:50 -0500
-
46c6ac7a6e
Sketches of HLL
Tony Garnock-Jones
2015-11-09 19:07:29 -0500
-
7b72d40a70
box-and-client example
Tony Garnock-Jones
2015-11-02 21:40:12 -0500
-
cb6f60739d
Tweak collision detection to detect top surface last, making bugs harder to squash
Tony Garnock-Jones
2015-10-29 16:08:24 -0400
-
de35a23a6c
Add collect-garbage to improve (?) smoothness; log instantaneous frame rates
Tony Garnock-Jones
2015-10-29 16:08:10 -0400
-
d3ca36beaf
Fix the positive-edge case of scroll-offset computation
Tony Garnock-Jones
2015-10-29 15:58:11 -0400
-
dd498ab627
Fix silly mistake
Tony Garnock-Jones
2015-10-27 14:36:56 -0400
-
9f44e36688
Fancier level
Tony Garnock-Jones
2015-10-27 14:36:43 -0400
-
457e1bb0e5
Only checking the bottom corners avoids getting stuck
Tony Garnock-Jones
2015-10-27 14:36:24 -0400
-
7b03d90b23
Act solid only when hit from above
Tony Garnock-Jones
2015-10-27 14:26:55 -0400
-
b87f1e1da2
Packageize
Tony Garnock-Jones
2015-10-27 13:57:41 -0400
-
e2dfe2fe78
Add (commented-out) debug aids
Tony Garnock-Jones
2015-10-27 12:23:02 -0400
-
543a1753ca
Fix texture leak in scene updates
Tony Garnock-Jones
2015-10-27 12:22:51 -0400
-
49ea6a22b4
Avoid generating garbage textures so much
Tony Garnock-Jones
2015-10-27 12:22:19 -0400
-
f90ff642f1
Cache textures; significant performance improvement
Tony Garnock-Jones
2015-10-27 12:07:31 -0400
-
278c54b43d
Level backdrop
Tony Garnock-Jones
2015-10-27 11:42:11 -0400
-
5650e336d1
Mobile enemies, more levels
Tony Garnock-Jones
2015-10-27 10:52:00 -0400
-
6aa14d1068
patch-seq
Sam Caldwell
2015-10-27 10:13:08 -0400
-
f9015cbf23
Enemies (not moving yet)
Tony Garnock-Jones
2015-10-26 22:52:09 -0400
-
4429c4c120
Goal piece and end-the-game-in-victory
Tony Garnock-Jones
2015-10-26 22:28:45 -0400
-
5a4f06b350
Update docs
Tony Garnock-Jones
2015-10-26 22:04:37 -0400
-
86265bf0a0
Start switch to touchables
Tony Garnock-Jones
2015-10-26 22:04:27 -0400
-
3fef18c711
Level termination monitor
Tony Garnock-Jones
2015-10-26 22:04:06 -0400
-
c9f984a023
It seems like <= is appropriate for t, but not u
Tony Garnock-Jones
2015-10-26 22:03:25 -0400
-
418a8fe0e2
struct icon
Tony Garnock-Jones
2015-10-26 22:02:43 -0400
-
6554a3deff
Store position in player-avatar as a Point, not separate coordinates
Tony Garnock-Jones
2015-10-26 21:15:25 -0400
-
6fe1ac6e24
Avoid updating position assertions if it hasn't changed
Tony Garnock-Jones
2015-10-26 21:11:11 -0400
-
ba7170e7a4
Fix scroll-offset; also, kill player when they fall below level bottom
Tony Garnock-Jones
2015-10-26 21:10:01 -0400
-
287341cbbc
New terrain
Tony Garnock-Jones
2015-10-26 20:33:38 -0400
-
4b81179e7a
Slightly shorter hitbox
Tony Garnock-Jones
2015-10-26 20:33:30 -0400
-
3c3dcea8ee
Cancel velocity on collision; cheap hack
Tony Garnock-Jones
2015-10-26 20:32:00 -0400