suzanne.soy/datalog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • cc1dbf6d7f Ignore /doc/ folder fix-repl Georges Dupéron 2016-03-31 21:28:28 +0200
  • a7b932630a Fix GitHub issue #2: REPL does not work with #lang datalog Georges Dupéron 2016-03-31 21:27:53 +0200
  • 5930fd8231 add check syntax arrows to constants master Jay McCarthy 2016-03-05 19:01:05 -0500
  • 84a3b742ae fixes pr1 Jay McCarthy 2016-02-24 09:38:56 -0500
  • 437a53717c Always set original Jay McCarthy 2015-11-20 11:55:55 -0500
  • c2a3c35db1 Correct typo in contract Jay McCarthy 2015-09-17 11:12:54 -0400
  • a0d3481b73 fix for new syntax expander, thanks mflatt! Jay McCarthy 2015-07-28 15:24:36 -0600
  • 5fc15cde51 Add standard .gitignore file. Sam Tobin-Hochstadt 2014-12-06 17:46:27 -0500
  • 8fd18912be Remove extra dirs. Sam Tobin-Hochstadt 2014-12-01 22:13:42 -0500
  • caecdcc3a0 Remove stray reference to Racket in LICENSE files. Sam Tobin-Hochstadt 2014-11-25 14:08:39 -0500
  • 75eb420c6f use drracket:default-filters and drracket:default-extension in datalog Robby Findler 2014-05-26 19:37:47 -0500
  • f66ee21a2f Clarify Datalog/Racket interaction re Matthias Jay McCarthy 2014-04-18 10:09:15 -0600
  • 7b98f39e5a Demonstrate Racket/Datalog interop more and add unsyntax Jay McCarthy 2014-04-16 12:58:59 -0600
  • eea12c1bd8 LGPL by reference Matthew Flatt 2014-02-27 14:42:59 -0700
  • a9a07692d3 2013 -> 2014 Eli Barzilay 2014-01-21 15:02:21 -0500
  • 0d174b701c fix datalog colorer for specials Robby Findler 2013-09-14 17:44:41 -0500
  • 05f2a2b25b include license with each package Matthew Flatt 2013-08-31 06:23:49 -0600
  • 59e23e7239 add pkg-desc' and pkg-authors' to each package Matthew Flatt 2013-07-30 17:50:52 -0600
  • 4c90222124 fix some tests Matthew Flatt 2013-07-21 19:55:10 -0600
  • 231d318678 enable compilation of tests formerly in "racket-test"; reorganize Matthew Flatt 2013-07-16 15:56:24 -0600
  • ffc7b5e0ee auto-fix documentation package dependencies Matthew Flatt 2013-07-11 17:49:25 -0600
  • 5fb66a8859 Use #lang info instead of #lang setup/infotab. Sam Tobin-Hochstadt 2013-07-04 15:45:47 -0400
  • 89f7f6cb26 auto-fix dependencies in "pkgs" Matthew Flatt 2013-06-29 05:42:38 -0600
  • fbc822cb4a a step toward single-collection packages as default Matthew Flatt 2013-06-25 22:17:38 +0200
  • 3280c0f29e reorganize into core plus packages Matthew Flatt 2013-05-24 21:57:31 -0600
  • d7c8cdd938 Removing even/odd reading hack and just protecting parser from eof-ing ports Jay McCarthy 2013-03-19 08:58:32 -0600
  • b15bac2328 Fix lots of indentation mistakes. Eli Barzilay 2013-03-14 07:15:43 -0400
  • 4375abb895 adjust datalog so that syntax objects are not used as source location information representation. Robby Findler 2012-06-02 08:01:42 -0500
  • e2a9deace2 Fixing datalog tests broken by bf95ee105 Jay McCarthy 2012-06-01 17:25:00 -0600
  • 6c9cb53757 Adjust datalog to cooperate with check syntax a little bit more. Robby Findler 2012-06-01 04:44:04 -0500
  • b4ad4cf27e Big newline at EOF scan. Eli Barzilay 2012-02-29 00:28:11 -0500
  • 4a985badae Some info.rkt cleanups. Eli Barzilay 2011-08-29 16:28:53 -0400
  • 9ca70a975b Broke one Jay McCarthy 2011-08-15 09:44:59 -0600
  • 05958ed236 Converting away from racket to racket/base Jay McCarthy 2011-08-15 09:33:07 -0600
  • 17e668dc53 Adding serialization of theories Jay McCarthy 2011-07-26 08:22:06 -0400
  • 51eff0360d docs reorganization added tutorial, racket categories relabeled some other categories normalized manual names: de-bolded, changed some names Ryan Culpepper 2011-06-29 03:14:04 -0600
  • 61c5ddc3aa Fixing example from Naurin Zamir Jay McCarthy 2011-06-28 08:31:18 -0600
  • 6fd31b3169 A long overdue scan to eliminate files without terminating newlines. Eli Barzilay 2011-06-28 02:01:41 -0400
  • 6f10b320ac A ton of @scheme*' -> @racket*' and related updates. Eli Barzilay 2011-06-24 15:08:24 -0400
  • 5bfc495929 moved the docs-complete library into rackunit to avoid having a separate, new manual for the one library Robby Findler 2011-05-05 14:56:40 -0500
  • f521899944 Moving... Jay McCarthy 2011-04-26 16:33:01 -0600
  • 2f1084cec9 added lots of new tests that our documentation is complete Robby Findler 2011-04-25 13:24:43 -0500
  • 95e09ed301 Comment out what looks like debugging output (cherry picked from commit d01e6a8dcce2a586953aa405bfeb1cec23c2c8bb) Eli Barzilay 2011-02-01 20:49:58 -0500
  • bfb8a8aca2 Fixing PR11515 Jay McCarthy 2011-01-19 16:25:16 -0700
  • 65e04305ee Supporting empty programs in datalog languages, fixes pr11140 Jay McCarthy 2010-08-28 15:54:21 -0600
  • e2ec80b56a Removing unnecessary newlines and making tests newline accurate Jay McCarthy 2010-08-18 10:45:01 -0600
  • 371cc2a620 Fixing pr11100 Jay McCarthy 2010-08-13 11:34:54 -0600
  • 5e021c9a87 Adding fake lambdas to get arrows on clauses. Jay McCarthy 2010-07-20 13:59:22 -0600
  • 0a86976eb1 Switch to using substitutions in returns and remove old parts of the interface Jay McCarthy 2010-06-30 10:30:55 -0600
  • f3127aa2c1 Fix documentation and add warning voice Jay McCarthy 2010-06-29 16:02:42 -0600
  • ed27738882 Fixing tests, adding provide, clarifying names Jay McCarthy 2010-06-29 13:18:04 -0600
  • fff50a1ccb Adding FFI to Datalog Jay McCarthy 2010-06-29 11:09:07 -0600
  • b565ef8d31 Fixing output port Jay McCarthy 2010-06-28 19:58:18 -0600
  • 8eee85b8bb Adding datalog macro Jay McCarthy 2010-06-28 13:22:53 -0600
  • 96d80cf95a Using the datalog reader for racklog Jay McCarthy 2010-06-28 11:08:03 -0600
  • a89d757639 Using configure-runtime Jay McCarthy 2010-06-26 18:04:21 -0600
  • 31bb2c96d5 Uses a more traditional read/expand/eval pipeline Jay McCarthy 2010-06-26 15:25:07 -0600
  • 062703ebba Simplifying organization Jay McCarthy 2010-06-26 13:36:33 -0600
  • abb211b522 Reader refactor Jay McCarthy 2010-06-26 13:30:59 -0600
  • ee39d5b701 Use capitalized letters for variables in paren version Jay McCarthy 2010-06-26 13:17:10 -0600
  • 77b5b07e9b Protecting :- outside clauses Jay McCarthy 2010-06-26 13:08:10 -0600
  • 1e0f7514bc Using current-read-interaction and renabling adapted tutorial Jay McCarthy 2010-06-25 22:36:03 -0600
  • 5287b0c6cf Removing old sexp library and correct docs for warning Jay McCarthy 2010-06-25 22:04:55 -0600
  • f365b561dd Moving tests Jay McCarthy 2010-06-25 22:00:42 -0600
  • fbeb110aff Datalog docs Jay McCarthy 2010-06-25 17:07:53 -0600
  • 042a0a5dbb Paren datalog Jay McCarthy 2010-06-25 16:16:55 -0600
  • 1ae2f94781 Paren examples Jay McCarthy 2010-06-25 15:29:48 -0600
  • d7ffe1ef99 docs Jay McCarthy 2010-06-24 15:40:19 -0600
  • a14e87e56f Tests Jay McCarthy 2010-06-24 15:31:42 -0600
  • cd74d2dd5b Typo Jay McCarthy 2010-06-24 15:21:51 -0600
  • 80a32fb213 Clean up Jay McCarthy 2010-06-24 15:17:44 -0600
  • 83e858254f Removing tool and using new repl submit Jay McCarthy 2010-06-24 15:10:24 -0600
  • aaa66de05a Cleaning up printer Jay McCarthy 2010-06-24 14:33:57 -0600
  • 3c1a55e7bb Removing pprint dependency Jay McCarthy 2010-06-24 14:31:30 -0600
  • 43cf5339a2 Typo Jay McCarthy 2010-06-24 14:12:50 -0600
  • f257e8b1d0 Rackety Jay McCarthy 2010-06-24 13:51:38 -0600
  • c26d108e75 Initial add of Datalog Jay McCarthy 2010-06-24 13:44:07 -0600
  • 93a28ed14e rename all files .ss -> .rkt Matthew Flatt 2010-04-27 16:05:36 -0600
  • 380eb82c43 Adding PLAI software to the core Jay McCarthy 2010-02-16 18:56:44 +0000
  • dfb1da8e37 new units, contracts, tests Jay McCarthy 2009-02-26 17:09:26 +0000
  • f43cb23c83 import Matthew Flatt 1998-01-13 22:13:43 +0000
  • f514febf9d importing Robby Findler 1998-01-05 21:57:29 +0000
  • a5c2d46d36 startup Matthew Flatt 1997-12-20 15:57:42 +0000
  • 5c82f510da initial empty commit Sam Tobin-Hochstadt 2014-11-30 09:11:48 -0500