Skip to content

Actions: tornado80/program-verification-project1

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix check error CI #104: Commit 738cdf9 pushed by federicomarra
December 2, 2024 13:55 2m 2s CheckError
CheckError
December 2, 2024 13:55 2m 2s
Add tests to make sure different preconditions affect each other CI #103: Commit ff4b7fd pushed by tornado80
November 15, 2024 15:54 3m 3s main
main
November 15, 2024 15:54 3m 3s
Add failing test for exercise 8.3 CI #102: Commit 306ebd3 pushed by tornado80
November 15, 2024 15:48 2m 30s main
main
November 15, 2024 15:48 2m 30s
Assume preconditions of methods instead of directly asserting in solv… CI #101: Commit 167c8e8 pushed by tornado80
November 15, 2024 15:29 3m 4s main
main
November 15, 2024 15:29 3m 4s
Add exercise 8.3 CI #100: Commit f1f83ed pushed by tornado80
November 15, 2024 14:45 3m 3s main
main
November 15, 2024 14:45 3m 3s
Add report CI #99: Commit 1bd1d21 pushed by federicomarra
November 11, 2024 22:38 2m 0s v1.0
v1.0
November 11, 2024 22:38 2m 0s
Add report CI #98: Commit 1bd1d21 pushed by federicomarra
November 11, 2024 22:37 1m 49s main
main
November 11, 2024 22:37 1m 49s
Remove out commented code CI #97: Commit 2258716 pushed by Noblix
November 11, 2024 21:55 2m 33s main
main
November 11, 2024 21:55 2m 33s
Remove out commented code CI #96: Commit bb3e389 pushed by Noblix
November 11, 2024 21:55 1m 34s main
main
November 11, 2024 21:55 1m 34s
Add test to demonstrate knowledge after loop with breaks CI #95: Commit 1bea9ef pushed by tornado80
November 11, 2024 19:11 2m 41s main
main
November 11, 2024 19:11 2m 41s
Fix error reporting for user defined functions CI #94: Commit 164f12a pushed by tornado80
November 10, 2024 23:36 1m 35s main
main
November 10, 2024 23:36 1m 35s
Replace old in invariant expressions CI #93: Commit b6a3829 pushed by tornado80
November 10, 2024 23:12 1m 20s main
main
November 10, 2024 23:12 1m 20s
Add more tests for continue and break CI #92: Commit 8a3efcf pushed by Noblix
November 10, 2024 22:42 1m 53s main
main
November 10, 2024 22:42 1m 53s
Update complex break paths test CI #91: Commit 8e02da5 pushed by Noblix
November 10, 2024 22:23 2m 2s main
main
November 10, 2024 22:23 2m 2s
Add test for complex break paths CI #90: Commit f078be6 pushed by Noblix
November 10, 2024 22:04 2m 29s main
main
November 10, 2024 22:04 2m 29s
Add bad test for early return CI #89: Commit 495dc93 pushed by tornado80
November 10, 2024 22:03 2m 30s main
main
November 10, 2024 22:03 2m 30s
Add mccarthy function verification and fix replacing in ite expressions CI #88: Commit 2f4c299 pushed by tornado80
November 10, 2024 19:59 1m 42s main
main
November 10, 2024 19:59 1m 42s
Fix span of method variant error reports CI #87: Commit 478eaab pushed by tornado80
November 10, 2024 19:48 2m 28s main
main
November 10, 2024 19:48 2m 28s
Add dsa bad test CI #86: Commit a184bb7 pushed by federicomarra
November 10, 2024 16:54 3m 11s main
main
November 10, 2024 16:54 3m 11s
Remove unstable test find-divisor CI #85: Commit 5081eba pushed by Noblix
November 10, 2024 16:51 1m 27s main
main
November 10, 2024 16:51 1m 27s
Remove assert false from break tests CI #84: Commit 4e403a8 pushed by Noblix
November 10, 2024 14:51 3m 39s main
main
November 10, 2024 14:51 3m 39s
Add test for bad method variant CI #83: Commit 8c2abc6 pushed by Noblix
November 10, 2024 11:24 1m 18s main
main
November 10, 2024 11:24 1m 18s
Replace old expressions in all assert and assume in the method CI #82: Commit 5ae04b0 pushed by tornado80
November 8, 2024 18:29 2m 43s main
main
November 8, 2024 18:29 2m 43s
Fix loop variant implementation and adjust tests CI #81: Commit 5c59b37 pushed by Noblix
November 8, 2024 14:26 1m 10s main
main
November 8, 2024 14:26 1m 10s
Add failing test for unbounded loop CI #80: Commit 41ff733 pushed by Noblix
November 8, 2024 11:04 2m 8s main
main
November 8, 2024 11:04 2m 8s