Skip to content

Actions: ftsrg/chc2c

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Run CHC Benchmarks #19: Commit cb6fa30 pushed by leventeBajczi
March 16, 2025 08:20 34m 37s main
main
March 16, 2025 08:20 34m 37s
decreased number of tests Run CHC Benchmarks #18: Commit 6dddd08 pushed by leventeBajczi
March 13, 2025 14:38 35m 54s main
main
March 13, 2025 14:38 35m 54s
Added --64 --sv-comp flags to symbiotic Run CHC Benchmarks #17: Commit 909fc30 pushed by leventeBajczi
March 13, 2025 14:13 20m 52s main
main
March 13, 2025 14:13 20m 52s
optimized workflow Run CHC Benchmarks #16: Commit 73f05ec pushed by leventeBajczi
March 13, 2025 13:59 14m 50s main
main
March 13, 2025 13:59 14m 50s
Added symbiotic to test suite Run CHC Benchmarks #15: Commit f64e454 pushed by leventeBajczi
March 13, 2025 13:53 5m 20s main
main
March 13, 2025 13:53 5m 20s
Added nonlin tests Run CHC Benchmarks #14: Commit 2a463f1 pushed by leventeBajczi
March 13, 2025 13:16 19m 55s main
main
March 13, 2025 13:16 19m 55s
Fixed regex Run CHC Benchmarks #13: Commit b81c1f3 pushed by leventeBajczi
March 13, 2025 12:53 10m 23s main
main
March 13, 2025 12:53 10m 23s
Added logging to loop Run CHC Benchmarks #12: Commit b666132 pushed by leventeBajczi
March 13, 2025 12:46 6m 50s main
main
March 13, 2025 12:46 6m 50s
Enhanced test| Run CHC Benchmarks #11: Commit abe2fed pushed by leventeBajczi
March 13, 2025 12:35 6m 33s main
main
March 13, 2025 12:35 6m 33s
increased number of tests Run CHC Benchmarks #10: Commit 1189782 pushed by leventeBajczi
March 13, 2025 12:01 19m 16s main
main
March 13, 2025 12:01 19m 16s
Using 10 test files Run CHC Benchmarks #9: Commit f29abb5 pushed by leventeBajczi
March 13, 2025 10:37 7m 34s main
main
March 13, 2025 10:37 7m 34s
predcar Run CHC Benchmarks #8: Commit 4b59cba pushed by leventeBajczi
March 13, 2025 10:32 5m 2s main
main
March 13, 2025 10:32 5m 2s
not portfolio, PRED_CART instead Run CHC Benchmarks #7: Commit 5886cdf pushed by leventeBajczi
March 13, 2025 10:25 3m 54s main
main
March 13, 2025 10:25 3m 54s
Added even better logging Run CHC Benchmarks #6: Commit 0e1c5c5 pushed by leventeBajczi
March 13, 2025 10:20 5m 40s main
main
March 13, 2025 10:20 5m 40s
Added property to cli Run CHC Benchmarks #5: Commit 158caa7 pushed by leventeBajczi
March 13, 2025 10:13 6m 44s main
main
March 13, 2025 10:13 6m 44s
added logging Run CHC Benchmarks #4: Commit 1f48a16 pushed by leventeBajczi
March 13, 2025 10:11 2m 54s main
main
March 13, 2025 10:11 2m 54s
Installing requirements Run CHC Benchmarks #3: Commit 440f86d pushed by leventeBajczi
March 13, 2025 10:06 3m 8s main
main
March 13, 2025 10:06 3m 8s
Installing z3 Run CHC Benchmarks #2: Commit 75fb7d2 pushed by leventeBajczi
March 13, 2025 10:02 2m 1s main
main
March 13, 2025 10:02 2m 1s
Merge branch 'main' of github.com:ftsrg/chc2c Run CHC Benchmarks #1: Commit bd69165 pushed by leventeBajczi
March 13, 2025 09:59 1m 1s main
main
March 13, 2025 09:59 1m 1s