| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Incremental Skolemised store (seems completed). | RncLsn | 2015-08-24 | 1 | -0/+7 |
| * | Incremental Skolemised store (not working). | RncLsn | 2015-08-14 | 1 | -1/+8 |
| * | Violation statistics. | RncLsn | 2015-06-05 | 1 | -0/+17 |
| * | Before reintroducing extended queries. | RncLsn | 2015-06-03 | 1 | -0/+38 |
| * | Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1). | RncLsn | 2015-06-02 | 1 | -1/+1 |
| * | Disposable. | RncLsn | 2015-05-29 | 4 | -560/+578 |
| * | Merge branch 'upstream' into Query-dependent-skolemisation | RncLsn | 2015-05-28 | 1 | -86/+95 |
| |\ |
|
| | * | fixed a bug in the process of generating gap tuples, see test in | yujiao | 2015-05-25 | 1 | -2/+2 |
| * | | Merged updates from upstream. | RncLsn | 2015-05-28 | 1 | -79/+75 |
| * | | NOT-WORKING: trying to add query-dependent Skolemisation. | RncLsn | 2015-05-28 | 1 | -39/+55 |
| * | | Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}. | RncLsn | 2015-05-15 | 3 | -38/+64 |
| * | | It executes. Matching bounds for query 18 of UOBM. | RncLsn | 2015-05-14 | 1 | -24/+11 |
| * | | Fast implementation of all the other things to get something working, but it ... | RncLsn | 2015-05-13 | 1 | -19/+14 |
| * | | Implementing Limited Skolemisation, in particular SkolemTermsDispenser. | RncLsn | 2015-05-13 | 1 | -3/+3 |
| |/ |
|
| * | fixed some bugs in windows server | yzhou | 2015-04-21 | 2 | -19/+34 |
| * | fixed a bug in simpleETL -- closing a FileOutputStream | yzhou | 2015-04-21 | 1 | -1/+2 |
| * | initial version | yzhou | 2015-04-21 | 7 | -0/+1042 |
