Skip to content

Actions: csanadtelbisz/theta

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-formatting.yml
184 workflow runs
184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

or of incoming guards refactor Check formatting #85: Commit 114deb7 pushed by csanadtelbisz
April 3, 2024 08:12 1m 33s xcfa-oc
xcfa-oc
April 3, 2024 08:12 1m 33s
Removed consts from state, changed filter() to Or(..) in guard calc Check formatting #84: Commit 5b147ab pushed by leventeBajczi
April 2, 2024 16:27 1m 30s xcfa-oc
xcfa-oc
April 2, 2024 16:27 1m 30s
xcfa oc checker error guard fix Check formatting #83: Commit d3191e0 pushed by csanadtelbisz
March 28, 2024 14:02 1m 28s xcfa-oc
xcfa-oc
March 28, 2024 14:02 1m 28s
xcfa oc checker trace extractor fix Check formatting #82: Commit ce3d774 pushed by csanadtelbisz
March 28, 2024 10:30 1m 22s xcfa-oc
xcfa-oc
March 28, 2024 10:30 1m 22s
oc checker extract proper trace Check formatting #81: Commit 605faaf pushed by csanadtelbisz
March 27, 2024 22:38 1m 18s xcfa-oc
xcfa-oc
March 27, 2024 22:38 1m 18s
readded benchmark logging Check formatting #80: Commit 6f51b32 pushed by csanadtelbisz
March 26, 2024 21:56 1m 22s xcfa-coi-benchmark
xcfa-coi-benchmark
March 26, 2024 21:56 1m 22s
version Check formatting #79: Commit ab4765a pushed by csanadtelbisz
March 25, 2024 15:41 1m 28s xcfa-oc
xcfa-oc
March 25, 2024 15:41 1m 28s
test fix Check formatting #78: Commit 112788f pushed by csanadtelbisz
March 25, 2024 15:22 1m 23s xcfa-oc
xcfa-oc
March 25, 2024 15:22 1m 23s
Update README.md Check formatting #77: Commit fd60827 pushed by csanadtelbisz
March 25, 2024 15:20 1m 27s master
master
March 25, 2024 15:20 1m 27s
formatting Check formatting #76: Commit 1a8ab87 pushed by csanadtelbisz
March 25, 2024 14:48 1m 18s xcfa-oc
xcfa-oc
March 25, 2024 14:48 1m 18s
copyright Check formatting #75: Commit 2cb7ada pushed by csanadtelbisz
March 25, 2024 14:35 1m 27s xcfa-oc
xcfa-oc
March 25, 2024 14:35 1m 27s
code cleanup Check formatting #74: Commit 6286929 pushed by csanadtelbisz
March 25, 2024 10:14 1m 23s xcfa-oc
xcfa-oc
March 25, 2024 10:14 1m 23s
oc propagator final check Check formatting #73: Commit 9198edb pushed by csanadtelbisz
March 25, 2024 09:44 1m 21s xcfa-oc
xcfa-oc
March 25, 2024 09:44 1m 21s
Merge branch 'javasmt' into xcfa-oc Check formatting #72: Commit 1a208a2 pushed by csanadtelbisz
March 24, 2024 18:22 1m 18s xcfa-oc
xcfa-oc
March 24, 2024 18:22 1m 18s
Replaced sat check with tautology check in test Check formatting #71: Commit 6884d45 pushed by csanadtelbisz
March 24, 2024 18:10 2m 0s javasmt
javasmt
March 24, 2024 18:10 2m 0s
java smt user propagator for oc checker Check formatting #70: Commit 7b99df2 pushed by csanadtelbisz
March 24, 2024 17:25 1m 22s xcfa-oc
xcfa-oc
March 24, 2024 17:25 1m 22s
oc decision procedure separated Check formatting #69: Commit 6468d7e pushed by csanadtelbisz
March 22, 2024 15:30 1m 32s xcfa-oc
xcfa-oc
March 22, 2024 15:30 1m 32s
Removed logging Check formatting #68: Commit 41ef182 pushed by csanadtelbisz
March 22, 2024 15:12 1m 25s javasmt
javasmt
March 22, 2024 15:12 1m 25s
Now pushing docker (#197) Check formatting #67: Commit a7dea94 pushed by csanadtelbisz
March 22, 2024 15:12 1m 27s javasmt
javasmt
March 22, 2024 15:12 1m 27s
global declaration fix Check formatting #66: Commit 1204710 pushed by csanadtelbisz
March 21, 2024 17:33 1m 29s xcfa-oc
xcfa-oc
March 21, 2024 17:33 1m 29s
violation guard fix Check formatting #65: Commit aeca14e pushed by csanadtelbisz
March 21, 2024 13:04 1m 20s xcfa-oc
xcfa-oc
March 21, 2024 13:04 1m 20s
Fix smtinterpol interpolation (#253) (#261) Check formatting #64: Commit 9b95f07 pushed by csanadtelbisz
March 20, 2024 13:26 1m 54s xcfa-refactor
xcfa-refactor
March 20, 2024 13:26 1m 54s
atomic fix Check formatting #63: Commit 1d7cfc5 pushed by csanadtelbisz
March 19, 2024 14:43 1m 43s xcfa-oc
xcfa-oc
March 19, 2024 14:43 1m 43s
oc checker no ssa Check formatting #62: Commit c25860c pushed by csanadtelbisz
March 6, 2024 16:00 1m 47s xcfa-oc
xcfa-oc
March 6, 2024 16:00 1m 47s
retrieving trace Check formatting #61: Commit d2fd28e pushed by csanadtelbisz
March 5, 2024 13:11 1m 20s xcfa-oc
xcfa-oc
March 5, 2024 13:11 1m 20s