syndicate-lang
/
marketplace-dns-2014
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • d91c729772 Merge branch 'typeless' into syndicate syndicate Tony Garnock-Jones 2018-01-22 16:46:42 +0000
  • 35430ecb2e The Big Spawn/Actor Swap Tony Garnock-Jones 2017-02-20 17:23:10 -0500
  • 3dbe108662 Update root zone info and add script for doing the update typeless Tony Garnock-Jones 2016-09-09 15:12:55 -0400
  • 53af1e0dd5 Progress on Syndicate conversion of proxy.rkt; doesn't run yet Tony Garnock-Jones 2016-09-07 06:33:16 +0100
  • aea344fd81 Updates for #:meta-level -> inbound/outbound and for (actor(relay...))->(actor...) Tony Garnock-Jones 2016-09-05 14:33:28 +0100
  • b7bdb4065e Initial progress. driver.rkt runs; now on proxy.rkt Tony Garnock-Jones 2016-06-06 17:07:33 -0400
  • 806bc1c0fe Dust off tests. Tony Garnock-Jones 2016-06-06 16:08:53 -0400
  • dc3df20d9b First pass at stripping types Tony Garnock-Jones 2014-08-06 21:58:50 -0700
  • fd73114fc3 bitsyntax is now a package typed Tony Garnock-Jones 2014-05-30 19:23:08 -0400
  • e9bb82743d Update README Tony Garnock-Jones 2014-05-23 12:24:38 -0400
  • 903aa1168b Explicitly ignore DNSSEC uses of DNS header bits. Tony Garnock-Jones 2014-05-14 15:36:06 -0400
  • fe320d86ce Update to extrasugar syntax Tony Garnock-Jones 2013-06-10 17:04:10 -0400
  • 1c59eff9d3 Simple makefile Tony Garnock-Jones 2013-05-31 13:16:36 -0400
  • d6af03bf02 Fix up patterns for new stricter TR checking. Tony Garnock-Jones 2013-05-31 13:16:28 -0400
  • c4fa8e1881 README and GPLv3 Tony Garnock-Jones 2013-05-21 12:14:05 -0400
  • e2f38da0e7 Initial commit extracted from racket-dns repo Tony Garnock-Jones 2013-05-10 16:38:25 -0400