Skip to content

Actions: max-schaefer/datamog

Actions

Postgres Backend

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
postgres.yml
26 workflow runs
26 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Split the grouping slide into definition and worked example Postgres Backend #210: Commit eb67bfa pushed by max-schaefer
39s main
main
39s
Drop count(X) from the aggregate slides, use count(*) throughout Postgres Backend #209: Commit 197d8e4 pushed by max-schaefer
45s main
main
45s
Fix the num_vars slide: use max, not count, to avoid over-counting Postgres Backend #208: Commit f3908b7 pushed by max-schaefer
43s main
main
43s
Adopt count(*) for counting rows and document aggregate bag semantics Postgres Backend #207: Commit 1bc299d pushed by max-schaefer
40s main
main
40s
Minor fixes. Postgres Backend #206: Commit 705fe6e pushed by max-schaefer
34s main
main
34s
Thread an assignment through the parse-and-evaluate example to solve SAT Postgres Backend #205: Commit 7e5d928 pushed by max-schaefer
43s main
main
43s
Thread an assignment through the parse-and-evaluate example to solve SAT Postgres Backend #204: Commit 6886e2f pushed by max-schaefer
38s main
main
38s
Extend the parser to evaluate a formula while parsing it Postgres Backend #203: Commit 455b9a0 pushed by max-schaefer
39s main
main
39s
Surface the formula recogniser in the playground and link it from the… Postgres Backend #202: Commit 356a1ba pushed by max-schaefer
38s main
main
38s
Embed slide 23's feedback diagram as SVG instead of Mermaid Postgres Backend #201: Commit 00c41a3 pushed by max-schaefer
36s main
main
36s
Lay out the stratification slides in two columns Postgres Backend #200: Commit 30cc456 pushed by max-schaefer
34s main
main
34s
Embed the stratification graphs as SVG instead of Mermaid Postgres Backend #199: Commit 8708b3b pushed by max-schaefer
37s main
main
37s
Add two worked stratification examples to Part 2 Postgres Backend #198: Commit 55cf708 pushed by max-schaefer
46s main
main
46s
Show the tree alongside the facts on the encoding slide Postgres Backend #197: Commit 5858ab4 pushed by max-schaefer
42s main
main
42s
Add a Part 2 slide showing the AST encoded as extensional facts Postgres Backend #196: Commit 6f9dd76 pushed by max-schaefer
35s main
main
35s
Point Part 2's heir hand-wave forward to the Part 3 aggregate Postgres Backend #195: Commit 3185ea9 pushed by max-schaefer
35s main
main
35s
Add a Part 3 slide crowning the heir with an aggregate Postgres Backend #194: Commit 6acb942 pushed by max-schaefer
45s main
main
45s
Minor fixes. Postgres Backend #193: Commit ae36794 pushed by max-schaefer
43s main
main
43s
Hoist computed atom arguments into filters in the native planner Postgres Backend #192: Commit 0180567 pushed by max-schaefer
39s main
main
39s
Schedule body atoms by variable readiness in the native planner Postgres Backend #191: Commit cd521d7 pushed by max-schaefer
43s main
main
43s
Fix atom matching to bind variable positions before checking expressi… Postgres Backend #190: Commit 0957061 pushed by max-schaefer
45s main
main
45s
Rework the Part 2 Least Fixed Points section Postgres Backend #189: Commit cea33f8 pushed by max-schaefer
36s main
main
36s
Fix two Part 1 slide bugs Postgres Backend #188: Commit 68a5b8b pushed by max-schaefer
37s main
main
37s
Spell "fixed point" instead of "fixpoint" Postgres Backend #187: Commit 5f25dfc pushed by max-schaefer
42s main
main
42s
Fix diagram. Postgres Backend #186: Commit f76f6f2 pushed by max-schaefer
36s main
main
36s