Skip to content

Actions: kjcjohnson/synthkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CEGIS counters CI #79: Commit 3530f5c pushed by kjcjohnson
May 11, 2024 03:44 1m 14s main
main
May 11, 2024 03:44 1m 14s
Increment execution counter for concrete CI #78: Commit e51e48e pushed by kjcjohnson
May 10, 2024 01:44 1m 7s main
main
May 10, 2024 01:44 1m 7s
Add optiont to force no PBE constraints CI #77: Commit a26e150 pushed by kjcjohnson
May 10, 2024 01:36 2m 50s main
main
May 10, 2024 01:36 2m 50s
PPrint literals better CI #76: Commit f07aaa8 pushed by kjcjohnson
April 7, 2024 02:38 1m 2s main
main
April 7, 2024 02:38 1m 2s
Catch when no applicable semantics CI #75: Commit 2948f36 pushed by kjcjohnson
April 4, 2024 05:28 1m 8s main
main
April 4, 2024 05:28 1m 8s
Allow keywords in core= CI #74: Commit f2ca88a pushed by kjcjohnson
April 3, 2024 20:59 1m 15s main
main
April 3, 2024 20:59 1m 15s
More regex futzing CI #73: Commit a765af0 pushed by kjcjohnson
April 3, 2024 04:51 2m 41s main
main
April 3, 2024 04:51 2m 41s
Only pass relational specs to the semgus verifier CI #72: Commit f010933 pushed by kjcjohnson
March 29, 2024 23:50 1m 22s main
main
March 29, 2024 23:50 1m 22s
Signal a real condition on invalid semantics, and catch it, too CI #71: Commit 32e54b4 pushed by kjcjohnson
March 29, 2024 23:27 1m 23s main
main
March 29, 2024 23:27 1m 23s
Expose do-non-terminals CI #70: Commit 385d8d1 pushed by kjcjohnson
March 27, 2024 01:36 1m 20s main
main
March 27, 2024 01:36 1m 20s
Add timing data for semgus verifier CI #69: Commit c05d074 pushed by kjcjohnson
March 26, 2024 02:06 1m 13s main
main
March 26, 2024 02:06 1m 13s
verifier adjustments CI #68: Commit 41132d4 pushed by kjcjohnson
March 26, 2024 01:54 1m 20s main
main
March 26, 2024 01:54 1m 20s
Fix bug when CHC term is shadowed by a child term CI #67: Commit f809e5e pushed by kjcjohnson
March 26, 2024 01:34 1m 9s main
main
March 26, 2024 01:34 1m 9s
Report semgus-verifier stats CI #66: Commit f825932 pushed by kjcjohnson
March 25, 2024 02:21 1m 15s main
main
March 25, 2024 02:21 1m 15s
Semgus verifier CI #65: Commit 3686c3a pushed by kjcjohnson
March 25, 2024 02:01 1m 19s main
main
March 25, 2024 02:01 1m 19s
Merge pull request #4 from kjcjohnson/kjcjohnson/json-problem CI #64: Commit 2e4d075 pushed by kjcjohnson
March 24, 2024 23:37 1m 13s main
main
March 24, 2024 23:37 1m 13s
Output problem files in JSON format CI #63: Pull request #4 synchronize by kjcjohnson
March 24, 2024 23:34 1m 17s kjcjohnson/json-problem
kjcjohnson/json-problem
March 24, 2024 23:34 1m 17s
More timing data CI #62: Commit d9f2eb5 pushed by kjcjohnson
March 18, 2024 02:49 1m 8s main
main
March 18, 2024 02:49 1m 8s
Allow (a little) compile debugging CI #61: Commit 6dab1c4 pushed by kjcjohnson
March 17, 2024 15:07 1m 12s main
main
March 17, 2024 15:07 1m 12s
Merge pull request #3 from kjcjohnson/kjcjohnson/program-compiler CI #60: Commit 2dad9ad pushed by kjcjohnson
March 15, 2024 02:38 3m 1s main
main
March 15, 2024 02:38 3m 1s
Initial program compiler support CI #59: Pull request #3 opened by kjcjohnson
March 15, 2024 02:34 3m 0s kjcjohnson/program-compiler
kjcjohnson/program-compiler
March 15, 2024 02:34 3m 0s
Reorganize declarations, and start recursive function support CI #58: Commit 3b6a941 pushed by kjcjohnson
February 25, 2024 04:19 2m 48s main
main
February 25, 2024 04:19 2m 48s
Handle single boolean output nodes CI #57: Commit a70ed52 pushed by kjcjohnson
January 2, 2024 03:40 2m 33s main
main
January 2, 2024 03:40 2m 33s
Relax same sortedness check on ITE semantics CI #56: Commit b1b1e28 pushed by kjcjohnson
November 14, 2023 21:30 59s main
main
November 14, 2023 21:30 59s
bvmul CI #55: Commit 62f8824 pushed by kjcjohnson
November 14, 2023 03:08 1m 16s main
main
November 14, 2023 03:08 1m 16s