Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
28 check-ins using file examples/reach2.tcl version df202e1dd8
|
2015-01-31
| ||
| 20:17 | Added a peephole optimization where a join or antijoin immediately followed by a project gets coalesced into a single operation. Leaf check-in: 45268b8331 user: kbk tags: trunk | |
| 17:06 | Add instrumentation of generated code for performance analysis. check-in: ec5ea2c8d2 user: kbk tags: trunk | |
|
2015-01-19
| ||
| 20:06 | Add a 'tclMethod' method for introducing a new method on an existing database. check-in: c410a3e915 user: kbk tags: trunk | |
|
2015-01-10
| ||
| 04:18 | Remove debug prints left in inadvertently. check-in: 2a326f8369 user: kbk tags: trunk | |
|
2014-11-23
| ||
| 21:54 | Made a 'datalog::database' class that instantiates a FDDD database integrated with the Datalog compiler, and a 'datalogMethod' command to introduce an instance method (representing a Datalog program) on such a database. check-in: d33f642607 user: kbk tags: trunk | |
|
2014-10-26
| ||
| 04:09 | Adjust Datalog tests to cover EQUALITY check-in: c991aa8ae7 user: kbk tags: trunk | |
| 04:02 | Add more Datalog tests, and adjust loadscript.tcl.in to allow for running Nagelfar instrumented code while testing. check-in: db5c306a7f user: kbk tags: trunk | |
|
2014-10-25
| ||
| 18:55 | datalog: test assertion of a single fact. check-in: 3e177181c8 user: kbk tags: trunk | |
|
2014-08-06
| ||
| 13:08 | better error checking for compileProgram check-in: 776298dbea user: kbk tags: trunk | |
|
2014-08-03
| ||
| 23:19 | Substantial code and commentary cleanup in datalog.tcl check-in: c9faa932a7 user: kbk tags: trunk | |
| 01:58 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: d1e531296b user: kbk tags: trunk | |
| 01:41 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: c30d48a484 user: kbk tags: trunk | |
| 01:39 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: bb22f9b118 user: kbk tags: trunk | |
| 01:38 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 323dd8ca3e user: kbk tags: trunk | |
| 01:37 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: e546ebb465 user: kbk tags: trunk | |
| 00:21 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 00ccb10f83 user: kbk tags: trunk | |
| 00:18 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: c976bf220b user: kbk tags: trunk | |
| 00:17 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 5d0a10221b user: kbk tags: trunk | |
|
2014-08-02
| ||
| 23:54 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 95d5eacadf user: kbk tags: trunk | |
| 23:48 | Add more FDDD tests, clean up whitespace in tests, and fix bugs exposed in testing. check-in: 22d056d9e0 user: kbk tags: trunk | |
| 21:24 | Refactor tests so that fddd tests do not test functions that depend only on the core BDD library check-in: 1c92997d04 user: kbk tags: trunk | |
| 21:23 | Add leading comment so as not to confuse 'man' check-in: 668a835e53 user: kbk tags: trunk | |
| 20:45 | Improve FDDD documentation, and make the 'profile' method return something sensible check-in: 9b2f195e16 user: kbk tags: trunk | |
|
2014-07-10
| ||
| 03:30 | progress toward a man page for tclfddd check-in: 337aa1f548 user: kbk tags: trunk | |
|
2014-07-05
| ||
| 19:33 | Finish draft of man page for tclbdd(n) check-in: 97123e476e user: kbk tags: trunk | |
|
2014-07-01
| ||
| 03:26 | Begin writing a man page for tclbdd, and make some comments truthful check-in: 780b74afbb user: kbk tags: trunk | |
|
2014-01-14
| ||
| 00:35 | added != to datalog, and extended tclfddd to support it. check-in: bd3c0053ea user: kbk tags: trunk | |
|
2014-01-10
| ||
| 13:52 | Add prelude/postlude to code generation to reduce the temptation of global vars. Fix FDDD code gen for equalities, which was using the wrong namespace. check-in: 88561d8ac3 user: kbk tags: trunk | |