rify 0.7.0

RDF reasoner that operates on RIF-like conjunctive rules. Outputs a machine readable proof of some claim which can be cheaply verified.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

# https://github.com/casey/just

# build wasm and js bindings
js:
  #!/usr/bin/env bash
  cd bindings/js_wasm
  rm -rf pkg
  wasm-pack build --target nodejs --out-dir pkg --out-name index
  wasm-pack build --target bundler --out-dir pkg --out-name index_bundle
  cp package.json pkg/package.json

# install js test depenedenicies, requires yarn
js-test-init:
  #!/usr/bin/env bash
  cd bindings/js_wasm/binding_tests
  yarn

# run js tests but assume `js-test-init` and `js` were already run
js-test-light:
  #!/usr/bin/env bash
  cd bindings/js_wasm/binding_tests
  yarn test

# run js tests (called from ci)
js-test:
  just js
  just js-test-init
  just js-test-light

# remove dist and node_modules from js bindings tests
clean:
  cargo clean
  rm -r bindings/js_wasm/pkg || true
  just clean-js

# remove artifacts from js bindings tests
clean-js:
  rm -r bindings/js_wasm/binding_tests/dist || true
  rm -r bindings/js_wasm/binding_tests/node_modules || true