issues
search
vilterp
/
datalog-ts
a datalog interpreter in typescript
https://lingo-workbench.dev/
MIT License
207
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ddtest: allow giving two variants; error if they're different
#403
vilterp
closed
1 year ago
2
Exec viz: handle errors
#402
vilterp
closed
1 year ago
2
split up execution.dl into multiple files
#401
vilterp
closed
1 year ago
2
don't require LHS for calls
#400
vilterp
closed
1 year ago
2
Fix actor viz again
#399
vilterp
closed
1 year ago
2
visualize deadlocks
#398
vilterp
closed
1 year ago
2
detect deadlocks at runtime
#397
vilterp
closed
1 year ago
2
add test which creates a deadlock
#396
vilterp
closed
1 year ago
2
test that there isn't a double lock holder
#395
vilterp
closed
1 year ago
2
color code lock transfer edges
#394
vilterp
closed
1 year ago
2
vscode datalog: "missing attribute" problems missing
#393
vilterp
opened
1 year ago
0
Lock transfer
#392
vilterp
closed
1 year ago
2
Basic locks for basic blocks
#391
vilterp
closed
1 year ago
2
fix typo in 'variables over time'
#390
vilterp
closed
1 year ago
2
support for comments in basic blocks lang
#389
vilterp
closed
1 year ago
2
vscode: grammar editing broken
#388
vilterp
opened
1 year ago
0
Color code sequence diagram
#387
vilterp
closed
1 year ago
2
exec viz: example that loops and sleeps
#386
vilterp
closed
1 year ago
2
exec viz: add timer sleep
#385
vilterp
closed
1 year ago
2
datalog native impl: fix spurious errors
#384
vilterp
closed
1 year ago
2
add basicBlocks language to vscode extension
#383
vilterp
closed
1 year ago
2
vscode: attribute completions broken
#382
vilterp
opened
1 year ago
0
dedup building vscode ext in github actions
#381
vilterp
closed
1 year ago
2
Rename race detector to execution visualizer
#380
vilterp
closed
1 year ago
2
basic blocks language: more usages
#379
vilterp
closed
1 year ago
2
race detector app: connect basicBlocks language to simulator
#378
vilterp
closed
1 year ago
2
Separate app for race detector
#377
vilterp
closed
1 year ago
1
Fix completion test
#376
vilterp
closed
1 year ago
1
completions for record attributes in body
#375
vilterp
closed
1 year ago
1
Look at very similar Prolog/Datalog-based project Makam
#374
safinaskar
opened
1 year ago
0
Bump minimist from 1.2.5 to 1.2.8
#373
dependabot[bot]
opened
1 year ago
1
Bump vega from 5.22.1 to 5.23.0
#372
dependabot[bot]
opened
1 year ago
1
Bump vega-functions from 5.13.0 to 5.13.1
#371
dependabot[bot]
opened
1 year ago
1
hack: cache stringification of keys
#370
vilterp
opened
1 year ago
1
Bump ua-parser-js from 0.7.28 to 0.7.33
#369
dependabot[bot]
opened
1 year ago
1
use new `maxBy` aggregator to select longest parse for given rule at given start char
#368
vilterp
closed
1 year ago
1
Make incr a bit more mutatey
#367
vilterp
closed
1 year ago
1
add incremental aggregation ddtest
#366
vilterp
closed
1 year ago
1
add `maxBy` aggregation
#365
vilterp
closed
1 year ago
1
add ref edges to dl parse state graph
#364
vilterp
closed
1 year ago
1
new take on parsing with datalog
#363
vilterp
closed
1 year ago
1
delete finance app since it's in the LWB now
#362
vilterp
closed
1 year ago
1
remove `epochDone`
#361
vilterp
closed
1 year ago
1
incr. interpreter in actor sim
#360
vilterp
closed
1 year ago
1
Fix actor sim
#359
vilterp
closed
1 year ago
1
incremental repl
#358
vilterp
closed
1 year ago
1
fix distinct operator
#357
vilterp
closed
1 year ago
1
Incr: distinct operator, allowing incremental SCCs on cyclical graph to work
#356
vilterp
closed
1 year ago
1
emission logs for retractions
#355
vilterp
closed
1 year ago
1
Incr: avoid object spread operator
#354
vilterp
closed
1 year ago
1
Previous
Next