Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Apr 29, 2020

• really fix memory leak

  ianpaulwright

  committed
  2e1e780

  Copy full SHA for 2e1e780

• text fix of memory leak

  ianpaulwright

  committed
  b56608b

  Copy full SHA for b56608b

• add valgrind memory leak tests; add a memory leak

  ianpaulwright

  committed
  daf9931

  Copy full SHA for daf9931

• embryo test for tuple binding

  ianpaulwright

  committed
  2c733cd

  Copy full SHA for 2c733cd

Commits on Apr 28, 2020

• pull out tuple binding

  ianpaulwright

  committed
  8bbc896

  Copy full SHA for 8bbc896

• complete the tests

  ianpaulwright

  committed
  152a1e8

  Copy full SHA for 152a1e8

• fix regression test

  ianpaulwright

  committed
  66ab130

  Copy full SHA for 66ab130

• test CI

  ianpaulwright

  committed
  4064061

  Copy full SHA for 4064061

• minimise test compilation time; add test script and actions CI file

  ianpaulwright

  committed
  e3668d2

  Copy full SHA for e3668d2

• add catch unit-testing framework

  ianpaulwright

  committed
  1cf923e

  Copy full SHA for 1cf923e

• use a unit-testing framework

  ianpaulwright

  committed
  4161c6d

  Copy full SHA for 4161c6d

Commits on Jan 13, 2020

• add a FIXME

  

  wright

  committed
  08c38d6

  Copy full SHA for 08c38d6

Commits on Dec 19, 2019

• trivial

  

  wright

  committed
  02f8ea3

  Copy full SHA for 02f8ea3

Commits on Nov 14, 2019

• add var decl convenience function

  

  wright

  committed
  13956c9

  Copy full SHA for 13956c9

Commits on Nov 13, 2019

• ruleset is refs to rules, not copies

  

  wright

  committed
  5c044d5

  Copy full SHA for 5c044d5

• simply to raw ptrs to vars for simplicity for now

  

  wright

  committed
  c2b8469

  Copy full SHA for c2b8469

• minor name change

  ianpaulwright

  committed
  c26c7ec

  Copy full SHA for c26c7ec

• first example of binding via an external function

  ianpaulwright

  committed
  b8d6668

  Copy full SHA for b8d6668

Commits on Nov 12, 2019

• simplify adding externals

  ianpaulwright

  committed
  66f4df7

  Copy full SHA for 66f4df7

• first pass ability to add external functions to datalog rules

  

  wright

  committed
  efa8767

  Copy full SHA for efa8767

Commits on Nov 11, 2019

• prep for external functions

  

  wright

  committed
  01d8615

  Copy full SHA for 01d8615

• better rule definition

  

  wright

  committed
  5aa0b17

  Copy full SHA for 5aa0b17

Commits on Nov 10, 2019

• support easy declaration and use of variables

  ianpaulwright

  committed
  9283e60

  Copy full SHA for 9283e60

• more efficient binding, unbinding and grounding

  ianpaulwright

  committed
  7bd922a

  Copy full SHA for 7bd922a

Commits on Nov 9, 2019

• ignore rules if no new data for any body atom

  ianpaulwright

  committed
  208e443

  Copy full SHA for 208e443

• semi-naive evaluation

  ianpaulwright

  committed
  aadd334

  Copy full SHA for aadd334

• add ground atom tracking in preparation for semi-naive evaluation

  ianpaulwright

  committed
  e78fd71

  Copy full SHA for e78fd71

• treat atoms and ground atoms equivalently

  ianpaulwright

  committed
  7cec73a

  Copy full SHA for 7cec73a

Commits on Nov 8, 2019

• add regression data

  ianpaulwright

  committed
  e9e6617

  Copy full SHA for e9e6617

• regression test

  ianpaulwright

  committed
  14dc06c

  Copy full SHA for 14dc06c

Commits on Nov 7, 2019

• WIP: replicating a basic test from souffle

  

  wright

  committed
  fabebe8

  Copy full SHA for fabebe8

• lots of clean-up and simplification

  

  wright

  committed
  f41d728

  Copy full SHA for f41d728

• get rid of some curly brackets

  

  wright

  committed
  3d086f1

  Copy full SHA for 3d086f1

Commits on Nov 6, 2019

• clean up

  

  wright

  committed
  0876523

  Copy full SHA for 0876523

• complete working example

  

  wright

  committed
  5d805c0

  Copy full SHA for 5d805c0