search

vilterp / datalog-ts

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

detect deadlocks at runtime #397

Closed vilterp closed 1 year ago

vilterp commented 1 year ago

Find length-2 cycles in wait-for graph (TODO: arbitrary-length cycles)

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/397/ec9569a9/25b31c164a3fc01a94caae51a99c84638f3ff665.svg)](https://app.codesee.io/r/reviews?pr=397&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 25b31c164a3fc01a94caae51a99c84638f3ff665
Latest deploy log https://app.netlify.com/sites/dl-exec-viz/deploys/6491f795eb6e0a000807c931
Deploy Preview https://deploy-preview-397--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 settings.