Skip to content

Actions: max-schaefer/datamog

Actions

Postgres Backend

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
postgres.yml
164 workflow runs
164 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
Cover refinements in chapter 7's slide deck Postgres Backend #348: Commit 7efc649 pushed by max-schaefer
1m 17s main
main
1m 17s
Document the solver integration where someone would look for it Postgres Backend #347: Commit 0312652 pushed by max-schaefer
1m 14s main
main
1m 14s
Warn on a refinement that mentions no head position Postgres Backend #346: Commit 21be38a pushed by max-schaefer
1m 37s main
main
1m 37s
Make the refinement examples say what they meant Postgres Backend #345: Commit 5ef8134 pushed by max-schaefer
1m 20s main
main
1m 20s
Reject a refinement on a proof-carrying predicate Postgres Backend #344: Commit 7a05892 pushed by max-schaefer
3m 10s main
main
3m 10s
Add three worked refinement examples from the verification canon Postgres Backend #343: Commit 1e53f2f pushed by max-schaefer
1m 20s main
main
1m 20s
Judge aggregate agreement on the whole head term Postgres Backend #342: Commit 25bc02a pushed by max-schaefer
1m 26s main
main
1m 26s
Emit refinement obligations as SMT-LIB, and add --strict-contracts Postgres Backend #341: Commit 89e6b2e pushed by max-schaefer
1m 19s main
main
1m 19s
Surface the inert-contract warning in the playground too Postgres Backend #340: Commit d876ab7 pushed by max-schaefer
1m 24s main
main
1m 24s
Bring the docs up to date with what has shipped Postgres Backend #339: Commit 8bc61f4 pushed by max-schaefer
1m 12s main
main
1m 12s
Implement the first slice of refinement annotations Postgres Backend #338: Commit a0fe9b1 pushed by max-schaefer
1m 14s main
main
1m 14s
Mark the refinement proposal unblocked in the index Postgres Backend #337: Commit 06c38bd pushed by max-schaefer
1m 25s main
main
1m 25s
Unblock the refinement plan with SMT-LIB output and dynamic checking Postgres Backend #336: Commit 56af79f pushed by max-schaefer
19s main
main
19s
Reconcile the refinement proposal after its churn Postgres Backend #335: Commit ccc43fb pushed by max-schaefer
1m 21s main
main
1m 21s
Bring the remaining actions up to their current majors Postgres Backend #334: Commit c3bb1bf pushed by max-schaefer
38s main
main
38s
Warn when a negated ordering keeps the NULL row Postgres Backend #333: Commit 021f6f6 pushed by max-schaefer
1m 20s main
main
1m 20s
Move the workflows to actions/checkout v7 Postgres Backend #332: Commit 6a006db pushed by max-schaefer
1m 20s main
main
1m 20s
Run the whole suite against Postgres in CI Postgres Backend #331: Commit f1fdbb1 pushed by max-schaefer
1m 18s main
main
1m 18s
Give integer a portable domain of plus or minus 2^53 - 1 Postgres Backend #330: Commit 3df8da9 pushed by max-schaefer
39s main
main
39s
Ignore the Codex files Postgres Backend #329: Commit 24457ec pushed by max-schaefer
46s main
main
46s
Specify what a grouping column is, and what an empty group derives Postgres Backend #328: Commit 3fe708c pushed by max-schaefer
43s main
main
43s
Share one definition of an aggregate rule's grouping columns Postgres Backend #327: Commit 1aa72ba pushed by max-schaefer
2m 43s main
main
2m 43s
Close out the refinement-annotation review findings Postgres Backend #326: Commit ba43111 pushed by max-schaefer
47s main
main
47s
Highlight as and from in the VS Code grammar Postgres Backend #325: Commit 09fd527 pushed by max-schaefer
55s main
main
55s
Record head arguments as implemented Postgres Backend #324: Commit 19166e0 pushed by max-schaefer
41s main
main
41s