accept quads #10

bddap · 2021-02-12T21:01:12Z

No description provided.

…lippy

bddap · 2021-02-19T00:34:42Z

todo:

might as well set up ci while I'm in here.
- rustfmt check
- run cargo test
- run js tests

* add ci checks * specify js-test deps for ci * only run ci for prs * correct invocation of cargo clippy

src/validate.rs

src/common.rs

bddap · 2021-03-09T19:17:16Z

Tagged v0.6.0 version and pushed to crates.io and npm.

bddap added 10 commits February 10, 2021 15:54

initial copy of TripleStore with quad support

d78fff4

quad reasoner

20881b6

low-level ancestry test for new quad reasoner

ae17103

new version of rule.rs with quad support

84b2e2b

2nd level ancestry test for qreasoner

d07a622

new refactored versions of prove and validate that operate on quads

2813c78

switch old triple-aware components with new quad-aware components

8c850d4

switch translator id repr from u32 to usize to match reasoner, heed c…

5d39f4b

…lippy

Merge remote-tracking branch 'origin/master' into 737-accept-quads

845e199

update js bindings to use quads, split bindings into subdir

e52fb2f

Add ci checks

6750871

* add ci checks * specify js-test deps for ci * only run ci for prs * correct invocation of cargo clippy

bddap changed the title ~~[WIP] accept quads~~ accept quads Feb 19, 2021

set version to 0.6.0-rc.1 for prerelease

2eec958

bddap mentioned this pull request Feb 22, 2021

Quads docknetwork/sdk#231

Merged

9 tasks

nmrshll reviewed Mar 9, 2021

View reviewed changes

src/validate.rs Show resolved Hide resolved

src/common.rs Show resolved Hide resolved

v0.6.0

1fd82f0

bddap merged commit 631cedc into master Mar 9, 2021

bddap deleted the 737-accept-quads branch March 9, 2021 19:17

Provide feedback