search

vilterp / datalog-ts

a datalog interpreter in typescript
https://lingo-workbench.dev/
MIT License
207 stars 8 forks source link

add test showing bug in incr. interpreter: single-source reachability #422

Open vilterp opened 1 year ago

vilterp commented 1 year ago

Thanks to @rntz

Fixing this will require going full differential dataflow — i.e. keeping an iteration count on each entry in an IndexedMultiSet

ghost commented 1 year ago
👇 Click on the image for a new way to code review #### [![Review these changes using an interactive CodeSee Map](https://s3.us-east-2.amazonaws.com/maps.codesee.io/images/github/vilterp/datalog-ts/422/52ccff51/f5ac345a18eb8867b80e645ad1272b00e31c178e.svg)](https://app.codesee.io/r/reviews?pr=422&src=https%3A%2F%2Fgithub.com%2Fvilterp%2Fdatalog-ts) #### Legend CodeSee Map legend
netlify[bot] commented 1 year ago

Deploy Preview for dl-exec-viz ready!

Name Link
Latest commit 11791460d4c89f5650a25b902a4775615f3568d1
Latest deploy log https://app.netlify.com/sites/dl-exec-viz/deploys/651f3c911aa1000008be3fe1
Deploy Preview https://deploy-preview-422--dl-exec-viz.netlify.app
Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.