Skip to content

Actions: cucapra/patron

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add new test input patron tests #28: Commit f717034 pushed by ekiwi
September 5, 2024 16:22 48s main
main
September 5, 2024 16:22 48s
add single thread option patron tests #27: Commit 23513b4 pushed by ekiwi
August 29, 2024 03:01 46s main
main
August 29, 2024 03:01 46s
add single thread flag patron tests #26: Commit c61158c pushed by ekiwi
August 29, 2024 02:53 50s main
main
August 29, 2024 02:53 50s
add simple to solve input for testing patron tests #25: Commit 9445210 pushed by ekiwi
August 29, 2024 02:51 39s main
main
August 29, 2024 02:51 39s
multi-threading patron tests #24: Commit 6ade5a0 pushed by ekiwi
August 29, 2024 02:43 49s main
main
August 29, 2024 02:43 49s
fix some warnings patron tests #23: Commit 2cba2d7 pushed by ekiwi
August 29, 2024 02:18 1m 3s main
main
August 29, 2024 02:18 1m 3s
fix missing constraints patron tests #22: Commit b05c574 pushed by ekiwi
August 29, 2024 02:14 54s main
main
August 29, 2024 02:14 54s
sanity check replay patron tests #21: Commit 735c296 pushed by ekiwi
August 28, 2024 01:33 41s main
main
August 28, 2024 01:33 41s
print witness patron tests #20: Commit 762ea26 pushed by ekiwi
August 28, 2024 01:17 48s main
main
August 28, 2024 01:17 48s
record witness patron tests #19: Commit de1f547 pushed by ekiwi
August 27, 2024 21:34 39s main
main
August 27, 2024 21:34 39s
random testing for multiple cycles patron tests #18: Commit 774839a pushed by ekiwi
August 27, 2024 20:50 39s main
main
August 27, 2024 20:50 39s
generate random inputs and check for bad states patron tests #17: Commit 4ecebf7 pushed by ekiwi
August 27, 2024 20:25 44s main
main
August 27, 2024 20:25 44s
wip: generate random inputs patron tests #16: Commit df70c45 pushed by ekiwi
August 27, 2024 02:35 38s main
main
August 27, 2024 02:35 38s
move constraint code into its own module patron tests #15: Commit 3046a94 pushed by ekiwi
August 27, 2024 02:09 35s main
main
August 27, 2024 02:09 35s
finally collect constraint clusters patron tests #14: Commit 92b9db0 pushed by ekiwi
August 27, 2024 02:02 40s main
main
August 27, 2024 02:02 40s
ci: add integration test patron tests #13: Commit 034942a pushed by ekiwi
August 24, 2024 01:38 43s main
main
August 24, 2024 01:38 43s
generate graph in dot format patron tests #12: Commit c52bf4e pushed by ekiwi
August 24, 2024 01:36 38s main
main
August 24, 2024 01:36 38s
generate constraint graph patron tests #11: Commit 3dbafee pushed by ekiwi
August 24, 2024 00:58 35s main
main
August 24, 2024 00:58 35s
wip: cluster constraints patron tests #10: Commit 1c400e2 pushed by ekiwi
August 19, 2024 21:52 35s main
main
August 19, 2024 21:52 35s
add split conjunction heper function patron tests #9: Commit 77c8ae3 pushed by ekiwi
August 19, 2024 18:15 1m 41s main
main
August 19, 2024 18:15 1m 41s
analyze constraint dependencies patron tests #8: Commit d6c2b31 pushed by ekiwi
August 14, 2024 00:44 46s main
main
August 14, 2024 00:44 46s
analyze inputs and states of design patron tests #7: Commit 1319400 pushed by ekiwi
August 12, 2024 19:54 38s main
main
August 12, 2024 19:54 38s
bump hwmcc19 patron tests #6: Commit e02a14d pushed by ekiwi
August 12, 2024 19:18 39s main
main
August 12, 2024 19:18 39s
add hwmcc19 benchmarks as submodule patron tests #5: Commit 4e9059d pushed by ekiwi
August 12, 2024 19:02 42s main
main
August 12, 2024 19:02 42s
add hwmcc20 benchmarks as a submodule patron tests #4: Commit 9ebffe6 pushed by ekiwi
August 8, 2024 21:04 38s main
main
August 8, 2024 21:04 38s