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

48 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Jay McCarthy
3c1a55e7bb Removing pprint dependency 
original commit: 353ef05902eedb148cb6c5b0391b58696c57162a
 2010-06-25 17:08:12 -06:00
Jay McCarthy
43cf5339a2 Typo 
original commit: 4bb6c1ddcfcfe401986b0d2223ea6fd11ca61079
 2010-06-25 17:08:12 -06:00
Jay McCarthy
f257e8b1d0 Rackety 
original commit: 09f6e5bee4fe98f3e3390aca1b255dd3006d7037
 2010-06-25 17:08:12 -06:00
Jay McCarthy
c26d108e75 Initial add of Datalog 
original commit: 940db1ab6c81cc04a9a856021eb4ccc0d88fac07
 2010-06-25 17:08:11 -06:00
Matthew Flatt
93a28ed14e rename all files .ss -> .rkt 
original commit: 28b404307793f041bb3363135a2968e283855318
 2010-04-27 16:50:15 -06:00
Jay McCarthy
380eb82c43 Adding PLAI software to the core 
svn: r18101

original commit: 520b4feedcffec518d067f5b2072cc5398dfa3ee
 2010-02-16 18:56:44 +00:00
Jay McCarthy
dfb1da8e37 new units, contracts, tests 
svn: r13852

original commit: 196ec00f16f726745f98d6d5b026213114d9a5e6
 2009-02-26 17:09:26 +00:00
Matthew Flatt
f43cb23c83 import 
original commit: ef3e87db5276124cf7e8fb67acc9a65860b5b3c4
 1998-01-13 22:13:43 +00:00
Robby Findler
f514febf9d importing 
original commit: ae05c83e13001aa1db8b8ebba59bc715dd0dc085
 1998-01-05 21:57:29 +00:00
Matthew Flatt
a5c2d46d36 startup 
original commit: 3a0f0320d6b793ce1e5bf05aff04f77f67a0141c
 1997-12-20 15:57:42 +00:00