aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/util
Commit message (Expand)AuthorAgeFilesLines
* Improved the statistics that are generated for evaluating the system; configu...RncLsn2015-09-111-4/+15
* Incremental Skolemised store (seems completed).RncLsn2015-08-241-0/+12
* Incremental Skolemised store (not working).RncLsn2015-08-142-4/+50
* Option for SkolemUpperBound application and for skolemisation depth (from fil...RncLsn2015-08-012-194/+260
* Many little changes.RncLsn2015-07-032-1/+59
* Maybe fixed bug in internalisation.RncLsn2015-06-261-3/+3
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-091-0/+5
* Small changes.RncLsn2015-06-071-2/+6
* Violation statistics.RncLsn2015-06-052-10/+25
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-041-3/+8
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-031-5/+45
* Before reintroducing extended queries.RncLsn2015-06-032-1/+9
* Disposable.RncLsn2015-05-292-0/+51
* Merged updates from upstream.RncLsn2015-05-281-62/+42
* Added more tests.RncLsn2015-05-202-66/+126
* Changes in the upper store querying (mainly in MyQueryReasoner).RncLsn2015-05-191-2/+2
* Configured Maven and improved executable class and tests.RncLsn2015-05-181-2/+2
* Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.RncLsn2015-05-151-17/+32
* Implemented SkolemTermsManager.RncLsn2015-05-132-0/+69
* Added classes for implementing new upper store (Limited Skolemisation).RncLsn2015-05-121-40/+9
* Adding (not completed) log of partial answers in Json.RncLsn2015-05-091-3/+12
* Making the output machine-readable (JSON).RncLsn2015-05-071-34/+5
* Switch from JUnit to TestNG.RncLsn2015-05-061-1/+15
* removed debug output for ore compitition yzhou2015-05-021-5/+9
* add time tag to the temporary outputyzhou2015-05-011-2/+8
* fixed some bugs in windows serveryzhou2015-04-211-81/+52
* initial versionyzhou2015-04-219-0/+924
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-30 05:48:32 +0000