Commits

Branch selector

 stable

User selector

kasper-piskorski

Datepicker

All time

Commit History

Commits on Oct 2, 2017

• [Stable] Include indirect role definition on construction of relationships (typedb#2166)

  Show description for af87d42
  

  kasper-piskorski

  authored and

  fppt

  committed
  af87d42

  Copy full SHA for af87d42

Commits on Sep 26, 2017

• Bug #17593: Fix problem with repeating properties when creating reasoner query plan (typedb#2146)

  Show description for a01f128
  

  kasper-piskorski

  authored and

  fppt

  committed
  a01f128

  Copy full SHA for a01f128

Commits on Sep 25, 2017

• Add extra benchmark test (typedb#2134)

  Show description for b7487b7
  

  kasper-piskorski

  authored and

  aelred

  committed
  b7487b7

  Copy full SHA for b7487b7

Commits on Sep 20, 2017

• Extra cleanup and cache (typedb#2113)

  Show description for 8f5b190
  

  kasper-piskorski

  authored and

  fppt

  committed
  8f5b190

  Copy full SHA for 8f5b190

• Fix some issues with type inference (typedb#2110)

  Show description for 5cb2266
  

  kasper-piskorski

  authored and

  fppt

  committed
  5cb2266

  Copy full SHA for 5cb2266

Commits on Sep 19, 2017

• Cleanup cache calls (typedb#2082)

  Show description for 3777d3c
  

  kasper-piskorski

  authored and

  fppt

  committed
  3777d3c

  Copy full SHA for 3777d3c

Commits on Sep 13, 2017

• fix virtualisation checks (typedb#2094)

  

  kasper-piskorski

  authored and

  aelred

  committed
  ee04ce6

  Copy full SHA for ee04ce6

• [Stable] Add support for role variables (typedb#2078)

  Show description for 6c231c2
  

  kasper-piskorski

  authored and

  fppt

  committed
  6c231c2

  Copy full SHA for 6c231c2

Commits on Sep 6, 2017

• [Stable] Various fixes and more equivalence tests (typedb#2056)

  Show description for 981d56d
  

  kasper-piskorski

  authored and

  fppt

  committed
  981d56d

  Copy full SHA for 981d56d

Commits on Sep 1, 2017

• [Stable] Fix some neq predicate issues (typedb#2049)

  Show description for 433ee0f
  

  kasper-piskorski

  authored and

  fppt

  committed
  433ee0f

  Copy full SHA for 433ee0f

Commits on Aug 30, 2017

• add neq complement state (typedb#2036)

  

  kasper-piskorski

  authored and

  fppt

  committed
  275bae6

  Copy full SHA for 275bae6

• [Stable] Use rule graph for rule prioritisation (Bug #16749) (typedb#2035)

  Show description for cbd3ae0
  

  kasper-piskorski

  authored and

  fppt

  committed
  cbd3ae0

  Copy full SHA for cbd3ae0

Commits on Aug 29, 2017

• [Stable] Use rule graph for rule prioritisation (Bug #16749) - DO NOT MERGE YET (typedb#2032)

  Show description for 8951ec5
  

  kasper-piskorski

  authored and

  fppt

  committed
  8951ec5

  Copy full SHA for 8951ec5

• fix issues with relation alpha equivalence (typedb#2031)

  

  kasper-piskorski

  authored and

  fppt

  committed
  ee6a7f0

  Copy full SHA for ee6a7f0

Commits on Aug 25, 2017

• Make reasoner queries immutable (typedb#1993)

  Show description for 46b2287
  

  kasper-piskorski

  authored and

  aelred

  committed
  46b2287

  Copy full SHA for 46b2287

• Add neq predicate state to accomodate recursive queries with neq predicates (typedb#1984)

  Show description for 52b27cd
  

  kasper-piskorski

  authored and

  aelred

  committed
  52b27cd

  Copy full SHA for 52b27cd

Commits on Aug 15, 2017

• Rule graph changes (typedb#1974)

  Show description for 6bebd68
  

  kasper-piskorski

  authored and

  fppt

  committed
  6bebd68

  Copy full SHA for 6bebd68

Commits on Aug 11, 2017

• Cleanup atom and predicate retrieval (typedb#1983)

  Show description for 5bd8387
  

  kasper-piskorski

  authored and

  fppt

  committed
  5bd8387

  Copy full SHA for 5bd8387

• [Stable] Get rid of javafx pair (typedb#1981)

  Show description for 8ec8649
  

  kasper-piskorski

  authored and

  fppt

  committed
  8ec8649

  Copy full SHA for 8ec8649

Commits on Aug 3, 2017

• Atomic cleanup (typedb#1950)

  Show description for eb673c3
  

  kasper-piskorski

  authored and

  fppt

  committed
  eb673c3

  Copy full SHA for eb673c3

• unignore transRelationWithRelationGuardsAtBothEnds (typedb#1943)

  Show description for 2ccba3c
  

  kasper-piskorski

  authored and

  fppt

  committed
  2ccba3c

  Copy full SHA for 2ccba3c

Commits on Aug 2, 2017

• Explicit resolution state saving (typedb#1930)

  Show description for 0e54f14
  

  kasper-piskorski

  authored and

  fppt

  committed
  0e54f14

  Copy full SHA for 0e54f14

Commits on Jul 31, 2017

• fix problems with equal relation players (typedb#1941)

  

  kasper-piskorski

  authored and

  fppt

  committed
  47fc514

  Copy full SHA for 47fc514

Commits on Jul 26, 2017

• do not infer types in conjunction if type present (typedb#1921) (typedb#1924)

  

  kasper-piskorski

  authored and

  pluraliseseverythings

  committed
  1f9686f

  Copy full SHA for 1f9686f

Commits on Jul 25, 2017

• do not infer types in conjunction if type present (typedb#1921)

  

  kasper-piskorski

  authored and

  fppt

  committed
  99b378d

  Copy full SHA for 99b378d

Commits on Jul 21, 2017

• [Stable] Apply inferred relation types to conjunctive queries (typedb#1902)

  Show description for d07d58b
  

  kasper-piskorski

  authored and

  fppt

  committed
  d07d58b

  Copy full SHA for d07d58b

Commits on Jul 17, 2017

• Validate rules ontologically (typedb#1877)

  Show description for 4fd6023
  

  kasper-piskorski

  authored and

  fppt

  committed
  4fd6023

  Copy full SHA for 4fd6023

Commits on Jul 14, 2017

• [Stable] To Miko with love (aka various small performance fixes) (typedb#1874)

  Show description for b0a4ed5
  

  kasper-piskorski

  authored and

  fppt

  committed
  b0a4ed5

  Copy full SHA for b0a4ed5

Commits on Jul 13, 2017

• Check whether rules are valid Horn clauses on commit (typedb#1868)

  Show description for 8f3794a
  

  kasper-piskorski

  authored and

  fppt

  committed
  8f3794a

  Copy full SHA for 8f3794a

• fix explanation isEmpty condition (typedb#1871)

  

  kasper-piskorski

  authored and

  fppt

  committed
  52872de

  Copy full SHA for 52872de

Commits on Jul 11, 2017

• [Stable] Fix problem with atom equivalence when comparing relation with repeating roles (typedb#1855)

  Show description for fd182f3
  

  kasper-piskorski

  authored and

  fppt

  committed
  fd182f3

  Copy full SHA for fd182f3

Commits on Jul 6, 2017

• Use graql planner when determining resolution order (typedb#1828)

  Show description for ac5e6c5
  

  kasper-piskorski

  authored and

  aelred

  committed
  ac5e6c5

  Copy full SHA for ac5e6c5

• [Stable] Fix problems with (type) atom equivalence (typedb#1845)

  Show description for ac78a8d
  

  kasper-piskorski

  authored and

  fppt

  committed
  ac78a8d

  Copy full SHA for ac78a8d

Commits on Jul 4, 2017

• [Stable] Make resources contain type predicates and simplify atom structure (typedb#1836)

  Show description for 5add464
  

  kasper-piskorski

  authored and

  fppt

  committed
  5add464

  Copy full SHA for 5add464

• Simplify atom structure (typedb#1823)

  Show description for 8b12980
  

  kasper-piskorski

  authored and

  fppt

  committed
  8b12980

  Copy full SHA for 8b12980

Pagination

Previous

Next