Commit Graph

  • 11f2074adf I had missed out half the segment-intersection-time test Tony Garnock-Jones 2015-10-26 20:31:44 -0400
  • 72ed89ab35 Narrower hitbox Tony Garnock-Jones 2015-10-26 19:16:12 -0400
  • a3f709f63f Factor out impulse-multiplier Tony Garnock-Jones 2015-10-26 19:16:03 -0400
  • 6bb3ef493a Another solid block! Tony Garnock-Jones 2015-10-26 19:10:20 -0400
  • 8930b2dfbf Tweak gravity Tony Garnock-Jones 2015-10-26 19:10:15 -0400
  • ae04b9a8fd Don't stick to support when on the way past moving upward Tony Garnock-Jones 2015-10-26 19:09:36 -0400
  • a3caad0be6 Avoid tramlining on edges of blocks Tony Garnock-Jones 2015-10-26 19:08:59 -0400
  • a175908953 Initial stab at collision handling Tony Garnock-Jones 2015-10-26 17:53:39 -0400
  • db11dee3c8 Much progress Tony Garnock-Jones 2015-10-23 23:50:55 -0400
  • 69ba8d7a01 Player avatar; fix scroll-offset; explicit meta-level for sprites Tony Garnock-Jones 2015-10-23 21:58:55 -0400
  • 71bd34ac5b Add interframe time delta to frame-events Tony Garnock-Jones 2015-10-23 21:56:47 -0400
  • 8083ddf890 Remove 2d-world-meta-level parameter in favour of explicit arguments Tony Garnock-Jones 2015-10-23 21:49:50 -0400
  • 212900bc1a Cope with quit-world in the middle of an action sequence; TODO: unclear whether this is the best approach Tony Garnock-Jones 2015-10-23 21:49:21 -0400
  • e28841f695 Level spawner Tony Garnock-Jones 2015-10-23 21:12:10 -0400
  • 5409cebe88 Support 2d-world-meta-level parameter. TODO revisit parameterization Tony Garnock-Jones 2015-10-23 21:11:33 -0400
  • 8bb1b36073 Progress Tony Garnock-Jones 2015-10-23 19:51:00 -0400
  • 974c21e5d0 Add quit-world action to chat.rkt Tony Garnock-Jones 2015-10-23 19:50:08 -0400
  • d7095c9995 quit-world action Tony Garnock-Jones 2015-10-23 19:49:30 -0400
  • f5d331b0d8 Canonicalize atoms during pattern- and projection-compilation and value-matching Tony Garnock-Jones 2015-10-23 19:17:17 -0400
  • 9da90088b6 Cosmetic - adjust comment format Tony Garnock-Jones 2015-10-23 13:09:32 -0400
  • 0ddda2aebe Delegate many of the low-level I/O tasks to prospect-gl Tony Garnock-Jones 2015-10-23 13:08:20 -0400
  • 2420abe2e1 https://github.com/racket/racket/issues/1099 fixed by samth Tony Garnock-Jones 2015-10-23 11:56:22 -0400
  • a5db6ebc18 Communicate target-frame-rate in frame-events Tony Garnock-Jones 2015-10-23 11:54:41 -0400
  • 419bb054f1 Comment out frame counter again Tony Garnock-Jones 2015-10-23 11:50:06 -0400
  • 1105a54543 Limit frame rate Tony Garnock-Jones 2015-10-23 11:49:16 -0400
  • a6d857fe83 Factor out KeyboardIntegrator and clean up basic.rkt Tony Garnock-Jones 2015-10-23 11:38:45 -0400
  • f81d727bd9 Package infrastructure Tony Garnock-Jones 2015-10-23 11:29:33 -0400
  • 8875fd2351 TODO Tony Garnock-Jones 2015-10-23 11:24:19 -0400
  • c8642c2557 Better key press/release handling Tony Garnock-Jones 2015-10-22 19:47:31 -0400
  • b3f8506bf7 More work Tony Garnock-Jones 2015-10-22 17:59:31 -0400
  • 83e36ed9e5 WIP for machine switch Sam Caldwell 2015-10-22 17:04:17 -0400
  • 16522d8191 Tweak MF's adjustments :) Tony Garnock-Jones 2015-10-22 16:48:18 -0400
  • f1bf1f5256 Initial summary of HLL ideas from uni.org Tony Garnock-Jones 2015-10-22 11:35:30 -0400
  • 3b40a8287e Merge pull request #1 from mfelleisen/patch-1 Sam Caldwell 2015-10-21 16:14:39 -0400
  • 1bd0e40734 Update game.rkt Matthias Felleisen 2015-10-21 16:07:26 -0400
  • 0c40ac37a2 This is simpler. pr/9 Sam Tobin-Hochstadt 2015-10-21 09:26:43 -0400
  • 787cf73d5f Flesh out protocol description Sam Caldwell 2015-10-20 15:57:04 -0400
  • 89cff7adc8 flesh out protocol description Sam Caldwell 2015-10-20 11:36:37 -0400
  • e2ffe9bef6 startup Sam Caldwell 2015-10-20 10:26:11 -0400
  • d23d487849 add structure-capture bit to FAQ Sam Caldwell 2015-10-20 08:34:34 -0400
  • 543073fd2e README Tony Garnock-Jones 2015-10-17 21:11:55 -0400
  • e6530e2e4a Entrypoint for simply idling the stack Tony Garnock-Jones 2015-10-17 20:33:51 -0400
  • 0072607f65 Factor out demo stack configuration Tony Garnock-Jones 2015-10-17 20:33:10 -0400
  • 4cb6f5cf26 add spawn/stateless to FAQ Sam Caldwell 2015-09-23 14:56:28 -0400
  • bd328012a9 Merge pull request #8 from howell/master Sam Caldwell 2015-09-23 14:47:16 -0400
  • ecb42dbbe3 Fix typo in FAQ pr/8 Sam Caldwell 2015-09-22 14:46:14 -0400
  • 233e536347 Add a bit about #f events to the FAQ Sam Caldwell 2015-09-21 18:31:34 -0400
  • 2fa909104c Typos and whitespace Tony Garnock-Jones 2015-09-21 13:31:37 -0400
  • d428853981 Create a FAQ based on email exchanges. pr/7 Sam Caldwell 2015-09-12 22:45:49 -0400
  • 112c33302e 'gradient' Tony Garnock-Jones 2015-09-09 11:44:42 -0400
  • c7ae3c64d3 FPS meter Tony Garnock-Jones 2015-09-09 11:03:30 -0400
  • 14bd1f282d Fix glRotated call Tony Garnock-Jones 2015-09-08 20:25:55 -0400
  • 6bd6eecf0e Keyboard-controlled sprite Tony Garnock-Jones 2015-09-08 20:23:02 -0400
  • 7f06f3ceee simple-sprite Tony Garnock-Jones 2015-09-08 20:15:52 -0400
  • b94e6113b0 Initial commit Tony Garnock-Jones 2015-09-08 20:11:16 -0400
  • 7ed7ce096d Add (seal)s, for hiding structure from the routing table. Drastically improves big-bang example performance. Tony Garnock-Jones 2015-09-07 16:05:06 -0400
  • eaa59161dc Ignore scratch dir Tony Garnock-Jones 2015-08-25 16:14:36 -0400
  • 2a34861168 Switch back to module context; module-begin seems inappropriate? Tony Garnock-Jones 2015-08-25 16:12:15 -0400
  • f6be642c97 Fix set/tset usage in endpoint.rkt Tony Garnock-Jones 2015-08-25 15:54:23 -0400
  • 0a98061005 Use kernel-form-identifier-list and module-begin context for local-expand Tony Garnock-Jones 2015-08-25 15:54:08 -0400
  • f52ba70b98 Toy durable key-value store Tony Garnock-Jones 2015-08-21 17:56:03 -0400
  • 4d3e668ed4 Support deletion Tony Garnock-Jones 2015-08-21 17:41:59 -0400
  • e54004f4e0 Simple key-value store. Not finished! Tony Garnock-Jones 2015-08-21 17:02:41 -0400
  • 03b42f1917 Fix Dependencies. pr/1 Leif Andersen 2015-08-19 15:35:08 -0400
  • 44b6b5dcfa On-screen display of active window ID. Tony Garnock-Jones 2015-08-18 20:14:59 -0400
  • 35e966cb13 Switch to arbitrary hash-order. Tony Garnock-Jones 2015-08-18 20:14:31 -0400
  • 5eb155cc11 big-bang example Tony Garnock-Jones 2015-08-18 20:01:36 -0400
  • fc971868d9 README.md Tony Garnock-Jones 2015-08-18 12:47:29 -0400
  • 02c5ee97d3 Echo server example Tony Garnock-Jones 2015-08-18 12:45:29 -0400
  • 2e3a8fceaa Handle empty matchers better in dot rendering Tony Garnock-Jones 2015-07-14 17:56:10 -0400
  • b2e94f63b4 Try it out in the tests Tony Garnock-Jones 2015-07-14 17:44:12 -0400
  • 2b0ec0d632 dot output for matchers Tony Garnock-Jones 2015-07-14 17:38:32 -0400
  • 63039b63f0 A bug Tony Garnock-Jones 2015-07-09 14:03:46 -0400
  • 4c6dd497c1 TODO Tony Garnock-Jones 2015-07-09 10:43:55 -0400
  • 97245973fa Try bitsets instead of tsets bitset Tony Garnock-Jones 2015-06-20 06:58:31 -0400
  • 7d561fc49e First commit switching from sets to tsets for labels in RHSs of matchers. canonical-sets Tony Garnock-Jones 2015-06-19 20:29:16 -0400
  • ee1cf9b100 tset Tony Garnock-Jones 2015-06-19 20:08:49 -0400
  • 29bbe7678b Export treap-order; add treap->empty and treap-fold. Tony Garnock-Jones 2015-06-19 20:08:16 -0400
  • 76eaa2fa39 Port websocket support from minimart Tony Garnock-Jones 2015-06-06 17:15:43 -0400
  • 417c7728b7 Break dependency on web-server-lib Tony Garnock-Jones 2015-05-23 11:41:43 -0400
  • 2a6393f88b DSL support Tony Garnock-Jones 2015-05-12 20:11:47 -0400
  • 95bdd892f6 Initial work on endpoints for prospect Tony Garnock-Jones 2015-05-11 18:25:38 -0400
  • 2b5358ab2c More flexible state printing during tracing Tony Garnock-Jones 2015-05-11 18:25:21 -0400
  • e8b99ae8e7 Cosmetic: trim trailing whitespace Tony Garnock-Jones 2015-05-11 13:33:05 -0400
  • 5ea3cf283f Non-working backward-chaining experiment; observe one specific ancestry relationship. Tony Garnock-Jones 2015-04-25 14:51:12 -0400
  • a1bd9cd482 Add COUNT aggregate to forward-chaining example Tony Garnock-Jones 2015-04-25 11:51:55 -0400
  • e00f079871 Check whether avoiding delays maintains truth Tony Garnock-Jones 2015-04-24 17:30:51 -0400
  • 7c77223255 Forward-chaining Tony Garnock-Jones 2015-04-24 16:16:19 -0400
  • c92beaa5bf Fix semantics bug Tony Garnock-Jones 2015-04-03 21:42:32 -0400
  • d5ce38162b Only compute downward patch when needed Tony Garnock-Jones 2015-03-21 18:59:20 -0400
  • 1467912f57 Fix bug with incorrect dropped action. Tony Garnock-Jones 2015-03-21 18:38:37 -0400
  • dfb0eae02c Fix patch-feedback calculation mistake, to match fixes in redex and coq Tony Garnock-Jones 2015-03-21 17:31:17 -0400
  • 0d38e11ee8 Support tracing at ground-level; support display of intermediate world states Tony Garnock-Jones 2015-03-21 17:30:48 -0400
  • a016a967ef Improve comprehensibility of traces Tony Garnock-Jones 2015-03-21 12:30:10 -0400
  • df567e8793 Similar optimization to that applied to biased-intersection recently Tony Garnock-Jones 2015-03-18 19:02:53 -0400
  • dfad624028 Increase TCP listen connection backlog from 4 to 128, to avoid TCP timeouts when the queue builds up. Tony Garnock-Jones 2015-03-18 19:00:39 -0400
  • 77736e75a1 Important optimization in biased-intersection Tony Garnock-Jones 2015-03-18 15:30:59 -0400
  • ec2eea9e25 Factored out mux.rkt Tony Garnock-Jones 2015-03-16 10:38:32 -0400
  • bf316f792b Provide transition-bind and sequence-transitions Tony Garnock-Jones 2015-03-06 15:49:39 +0000
  • 6ccb9b5a57 Retain disabled behaviors, for the benefit of tracing & debugging Tony Garnock-Jones 2015-03-06 14:45:06 +0000