Skip to content

Actions: max-schaefer/datamog

Actions

Python Magic

Actions

Loading...
Loading

Show workflow options

Create status badge

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