suzanne.soy/datalog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
60 Commits 2 Branches 0 Tags 2.5 MiB
3280c0f29e
Commit Graph

60 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Matthew Flatt
3280c0f29e reorganize into core plus packages 
The "racket" directory contains a pared-back version of the
repository, roughly.

The "pkgs" directory everything else in the repository, but
organized into packages.

original commit: b2ebb0a28bf8136e75cd98316c22fe54c30eacb2
 2013-06-19 09:01:37 -06:00
Jay McCarthy
d7c8cdd938 Removing even/odd reading hack and just protecting parser from eof-ing ports 
original commit: 41e07b0cc6c8db0eae1e986037d1fe1e6e5c4fe6
 2013-03-19 08:58:41 -06:00
Eli Barzilay
b15bac2328 Fix lots of indentation mistakes. 
(Found by my ayatollah script...)

original commit: af6be85ff576e475753a46bd3f1690eb8bf88a28
 2013-03-14 10:55:47 -04:00
Robby Findler
4375abb895 adjust datalog so that syntax objects are not used as source location 
information representation.

This should make datalog work better with compiled files and it
should also avoid an O(n^2) problem in the way it expands

original commit: 058504afbdfeaa6a606bee9b9f68b3355f5074af
 2012-06-02 08:04:45 -05:00
Jay McCarthy
e2a9deace2 Fixing datalog tests broken by bf95ee105 
original commit: 7d506713dd28604fe42fdb38653053ef10227c7d
 2012-06-01 17:33:13 -06:00
Robby Findler
6c9cb53757 Adjust datalog to cooperate with check syntax a little bit more. 
Specifically:
 - make predicate symbols and variables be original (and,
   in the former case, have srclocs)
 - remove the originality in the quoted syntax constants
   that the expansion introduces

I think there is probably something better that should be done
with those introduced syntax constants, possibly relacing
them with #f, or possibly replacing them with source location
lists, but I'm not sure how they are used, so I've just left
them in there.

(Also, very minor Rackety in check syntax)

original commit: bf95ee10523daabea4925073ff035bf57ecad59f
 2012-06-01 04:55:04 -05:00
Eli Barzilay
b4ad4cf27e Big newline at EOF scan. 
original commit: f7c67b49a49a723534454ce561cd060e63889480
 2012-02-29 00:28:11 -05:00
Eli Barzilay
4a985badae Some info.rkt cleanups. 
original commit: ffbd9e16ea240b8ad49527d5e5e02b660c8435b0
 2011-08-29 16:33:13 -04:00
Jay McCarthy
9ca70a975b Broke one 
original commit: 89ce37d90cb07cfaba8c54adcc7ef1e9bb017d5a
 2011-08-15 10:06:22 -06:00
Jay McCarthy
05958ed236 Converting away from racket to racket/base 
original commit: cd92964eefb8e812318d43677e23bcb66897eec9
 2011-08-15 10:06:21 -06:00
Jay McCarthy
17e668dc53 Adding serialization of theories 
original commit: 99fd3546be6db746fad678a35cefa5a46a730d44
 2011-07-26 08:22:19 -04:00
Ryan Culpepper
51eff0360d docs reorganization 
added tutorial, racket categories
  relabeled some other categories
  normalized manual names: de-bolded, changed some names

original commit: 1b702a2ae32aba835f7467ced6b203902db0ccd9
 2011-07-01 17:16:53 -06:00
Jay McCarthy
61c5ddc3aa Fixing example from Naurin Zamir 
original commit: 13ff06aee5b1d0e73a6127ede97a933fbf48dded
 2011-06-28 08:41:38 -06:00
Eli Barzilay
6fd31b3169 A long overdue scan to eliminate files without terminating newlines. 
(DrRacket should really do that.)

original commit: 40124a0619da5e187d95aeb1dde237f05d6f9c6b
 2011-06-28 02:01:41 -04:00
Eli Barzilay
6f10b320ac A ton of @scheme*' -> @racket*' and related updates. 
Also, updates some of the mzlib files to point at `racket/*' libraries
rather than to `scheme/*' ones.

original commit: ac26fe75546b5182d78f18c2cd882f0f440849e2
 2011-06-25 04:08:47 -04:00
Robby Findler
5bfc495929 moved the docs-complete library into rackunit 
to avoid having a separate, new manual for the
  one library

original commit: 507b1cd8fd81cd9c5fcf466a2a0c4c47433b0795
 2011-05-05 16:10:42 -05:00
Jay McCarthy
f521899944 Moving... 
original commit: c9286ce7252e752b762175c8bb6558fc3f221920
 2011-04-26 16:33:01 -06:00
Robby Findler
2f1084cec9 added lots of new tests that our documentation is complete 
original commit: e7d0029aeaadcaf1c691756198f96cfd5eff0f4c
 2011-04-25 13:24:43 -05:00
Eli Barzilay
95e09ed301 Comment out what looks like debugging output 
(cherry picked from commit d01e6a8dcce2a586953aa405bfeb1cec23c2c8bb)

original commit: 52f2e812fbe9cd4d8658db2eb577d078eb02fca5
 2011-02-01 20:52:08 -05:00
Jay McCarthy
bfb8a8aca2 Fixing PR11515 
original commit: 5014cff4c14419785de43298625a3fbf9cc5fc65
 2011-01-19 16:25:25 -07:00
Sam Tobin-Hochstadt
5c82f510da initial empty commit 
original commit: 342561f34a1f123a138bc62d8ea4368cd2536143
 2014-11-30 09:11:48 -05:00
Jay McCarthy
65e04305ee Supporting empty programs in datalog languages, fixes pr11140 
original commit: c24d6f94e70d44a3f61f1c15c66bade2417dd916
 2010-08-28 15:54:38 -06:00
Jay McCarthy
e2ec80b56a Removing unnecessary newlines and making tests newline accurate 
original commit: 04d3a23e1cfc375f84a4a5d2fb9c01c104781ab7
 2010-08-18 13:17:11 -06:00
Jay McCarthy
371cc2a620 Fixing pr11100 
original commit: 339681018aa1257bf487f274bdcfdb535a5e33b7
 2010-08-13 15:06:13 -06:00
Jay McCarthy
5e021c9a87 Adding fake lambdas to get arrows on clauses. 
original commit: 77b6709da1760b1766c4e1fd05366e47460c53b7
 2010-07-20 13:59:38 -06:00
Jay McCarthy
0a86976eb1 Switch to using substitutions in returns and remove old parts of the interface 
original commit: 06844073c7eb71d597a4d4a2ea8594725b982dd7
 2010-06-30 10:54:13 -06:00
Jay McCarthy
f3127aa2c1 Fix documentation and add warning voice 
original commit: 4e932f6c6b671b4a780222957b4420d1c2c6e63f
 2010-06-29 16:02:50 -06:00
Jay McCarthy
ed27738882 Fixing tests, adding provide, clarifying names 
original commit: 0062a4eb23383f0c2303c7308fee62a421bb26e3
 2010-06-29 13:18:04 -06:00
Jay McCarthy
fff50a1ccb Adding FFI to Datalog 
original commit: a6852d8f61a0b830a106911895dfa1f05bd992d8
 2010-06-29 11:09:07 -06:00
Jay McCarthy
b565ef8d31 Fixing output port 
original commit: b4cc683f0822b23eb25860e3376228439d743c4c
 2010-06-28 19:58:18 -06:00
Jay McCarthy
8eee85b8bb Adding datalog macro 
original commit: da7d4d4042c24d6ccd49a104861af52cd64dd989
 2010-06-28 13:22:53 -06:00
Jay McCarthy
96d80cf95a Using the datalog reader for racklog 
original commit: 12797fef41119f956e70537450a7f38339fa1d62
 2010-06-28 11:24:01 -06:00
Jay McCarthy
a89d757639 Using configure-runtime 
original commit: 4fe07902d98e1953574b37e1fea5c3890ce1b6e9
 2010-06-26 18:04:21 -06:00
Jay McCarthy
31bb2c96d5 Uses a more traditional read/expand/eval pipeline 
original commit: c48d1b58b43a89c357c9fd883563b94f434c7eec
 2010-06-26 15:25:22 -06:00
Jay McCarthy
062703ebba Simplifying organization 
original commit: 6d3d135f4cc3c480dda283c0c240040f3cf14930
 2010-06-26 15:25:21 -06:00
Jay McCarthy
abb211b522 Reader refactor 
original commit: f7210b20cfae1a7d05a8f2d93482b098adefd920
 2010-06-26 13:30:59 -06:00
Jay McCarthy
ee39d5b701 Use capitalized letters for variables in paren version 
original commit: 07142e230525211540dd080f1613f0cf5268b55b
 2010-06-26 13:17:10 -06:00
Jay McCarthy
77b5b07e9b Protecting :- outside clauses 
original commit: b126303628f4b1870094949558f89e587b044c97
 2010-06-26 13:08:10 -06:00
Jay McCarthy
1e0f7514bc Using current-read-interaction and renabling adapted tutorial 
original commit: 8afc06c09679827189aa8f5918cb914f6a02d731
 2010-06-25 22:36:13 -06:00
Jay McCarthy
5287b0c6cf Removing old sexp library and correct docs for warning 
original commit: 0bda9efa9650cc5ddd73f42244e3a91f67799f66
 2010-06-25 22:36:13 -06:00
Jay McCarthy
f365b561dd Moving tests 
original commit: e90de7196d85efeb01f760ddfc3b711aa40f2cb3
 2010-06-25 22:36:12 -06:00
Jay McCarthy
fbeb110aff Datalog docs 
original commit: e8ef7dcaa5b9e6d93e801fa149214b73d2d80377
 2010-06-25 17:08:14 -06:00
Jay McCarthy
042a0a5dbb Paren datalog 
original commit: c1e7bf62f724160796c610028d421861f61bfad1
 2010-06-25 17:08:13 -06:00
Jay McCarthy
1ae2f94781 Paren examples 
original commit: 8636c4ee362add3bad7437b5a062bbb5bd210cc1
 2010-06-25 17:08:13 -06:00
Jay McCarthy
d7ffe1ef99 docs 
original commit: a98547b033c8036ec5f73754d027f5c992509b74
 2010-06-25 17:08:13 -06:00
Jay McCarthy
a14e87e56f Tests 
original commit: 73b4059adece873e39485e471deb2079710bdad0
 2010-06-25 17:08:13 -06:00
Jay McCarthy
cd74d2dd5b Typo 
original commit: e752682879b32883092f8bd9eaa4b4535a029518
 2010-06-25 17:08:13 -06:00
Jay McCarthy
80a32fb213 Clean up 
original commit: 33f5d9059243e434d2677118d7b974dea190e5f5
 2010-06-25 17:08:13 -06:00
Jay McCarthy
83e858254f Removing tool and using new repl submit 
original commit: ee8477ca137c333508a43f4e039e63082d0b64c1
 2010-06-25 17:08:13 -06:00
Jay McCarthy
aaa66de05a Cleaning up printer 
original commit: 80da9872e0b0aad0890988dcead6badeaa5f20dc
 2010-06-25 17:08:12 -06:00