Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / docknetwork/rify issues and pull requests
#29 - Bump minimist from 1.2.5 to 1.2.8 in /bindings/js_wasm/binding_tests
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#28 - Bump json5 from 1.0.1 to 1.0.2 in /bindings/js_wasm/binding_tests
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#27 - Bump decode-uri-component from 0.2.0 to 0.2.2 in /bindings/js_wasm/binding_tests
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#26 - Bump loader-utils from 1.4.0 to 1.4.2 in /bindings/js_wasm/binding_tests
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#25 - Bump minimatch from 3.0.4 to 3.1.2 in /bindings/js_wasm/binding_tests
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies
#24 - Bump terser from 4.8.0 to 4.8.1 in /bindings/js_wasm/binding_tests
Pull Request -
State: open - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies
#23 - Bump minimist from 1.2.5 to 1.2.6 in /bindings/js_wasm/binding_tests
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#22 - Bump pathval from 1.1.0 to 1.1.1 in /bindings/js_wasm/binding_tests
Pull Request -
State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies
#21 - Bump y18n from 4.0.0 to 4.0.3 in /bindings/js_wasm/binding_tests
Pull Request -
State: closed - Opened by dependabot[bot] about 3 years ago
Labels: dependencies
#20 - Bump ssri from 6.0.1 to 6.0.2 in /bindings/js_wasm/binding_tests
Pull Request -
State: closed - Opened by dependabot[bot] about 3 years ago
Labels: dependencies
#19 - Optimizations
Pull Request -
State: closed - Opened by bddap about 3 years ago
- 2 comments
#18 - add benches for prove() and infer()
Pull Request -
State: closed - Opened by bddap about 3 years ago
- 1 comment
#17 - Add doctest to Rule::create
Issue -
State: open - Opened by bddap about 3 years ago
#16 - Bump y18n from 4.0.0 to 4.0.1 in /bindings/js_wasm/binding_tests
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#15 - [feature] expose an open-ended reasoning function that proves all inferences
Issue -
State: open - Opened by bddap over 3 years ago
- 2 comments
#14 - implement open-ended reasoning
Pull Request -
State: closed - Opened by bddap over 3 years ago
- 2 comments
#13 - Bump elliptic from 6.5.3 to 6.5.4 in /bindings/js_wasm/binding_tests
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#12 - Helper function for declaring rule lists.
Issue -
State: open - Opened by bddap over 3 years ago
Labels: good first issue
#11 - [Dontmerge] Ci setup
Pull Request -
State: closed - Opened by bddap over 3 years ago
#10 - accept quads
Pull Request -
State: closed - Opened by bddap over 3 years ago
- 2 comments
#9 - [optimization] MapStack lookup optimization
Issue -
State: open - Opened by bddap over 3 years ago
#8 - Bump ini from 1.3.5 to 1.3.8 in /bindings_tests/rify_js
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#7 - Generic predicates.
Issue -
State: open - Opened by bddap over 3 years ago
- 2 comments
#6 - [optimization] parallelize
Issue -
State: open - Opened by bddap over 3 years ago
- 3 comments
#5 - improve and test documentation for js bindings
Pull Request -
State: closed - Opened by bddap over 3 years ago
#4 - write readme
Pull Request -
State: closed - Opened by bddap over 3 years ago
#3 - Remove wasm-opt = false when working
Issue -
State: open - Opened by SamHellawell almost 4 years ago
#2 - Update build toolchain to support isomorphic modules
Pull Request -
State: closed - Opened by SamHellawell almost 4 years ago
- 3 comments
#1 - [optimization] differential rule applications
Issue -
State: open - Opened by bddap almost 4 years ago