Skip to content

Actions: KeYProject/ips4o-verify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactored proof for prettier script Proof Replay #58: Commit e1bb713 pushed by WolframPfeifer
September 21, 2024 11:42 16m 10s pfeifer/STTT
pfeifer/STTT
September 21, 2024 11:42 16m 10s
working script for sample_sort_recurse_on! Proof Replay #57: Commit 3ee1ff7 pushed by WolframPfeifer
September 19, 2024 16:46 16m 20s pfeifer/STTT
pfeifer/STTT
September 19, 2024 16:46 16m 20s
finished script for missing assertion of sample_sort_recurse_on (only… Proof Replay #56: Commit 77043d5 pushed by WolframPfeifer
September 19, 2024 12:39 16m 8s pfeifer/STTT
pfeifer/STTT
September 19, 2024 12:39 16m 8s
WIP: working on last open assertion sub-proof Proof Replay #55: Commit 0e46ad2 pushed by WolframPfeifer
September 18, 2024 23:10 16m 2s pfeifer/STTT
pfeifer/STTT
September 18, 2024 23:10 16m 2s
found workaround to make fallback_sort script work completely automat… Proof Replay #54: Commit 0d47910 pushed by WolframPfeifer
September 17, 2024 16:36 15m 34s pfeifer/STTT
pfeifer/STTT
September 17, 2024 16:36 15m 34s
towards scripts for sample_sort_recurse_on and insertion_sort (still … Proof Replay #53: Commit b7df2ed pushed by WolframPfeifer
August 21, 2024 17:29 16m 6s pfeifer/STTT
pfeifer/STTT
August 21, 2024 17:29 16m 6s
nearly working script for fallback sort (bug with auto command?) Proof Replay #52: Commit e5e9056 pushed by WolframPfeifer
August 9, 2024 18:10 16m 25s pfeifer/STTT
pfeifer/STTT
August 9, 2024 18:10 16m 25s
more more complex for closing second proof (Sorter.sample) Proof Replay #51: Commit 1c36e6a pushed by WolframPfeifer
August 9, 2024 11:21 16m 3s pfeifer/STTT
pfeifer/STTT
August 9, 2024 11:21 16m 3s
first working proof with script Proof Replay #50: Commit 05a1e3a pushed by WolframPfeifer
July 18, 2024 15:49 15m 59s pfeifer/STTT
pfeifer/STTT
July 18, 2024 15:49 15m 59s
updating Tree constructor proof to repaired spec Proof Replay #49: Commit c0d2ebc pushed by mattulbrich
December 30, 2023 07:14 49m 58s main
main
December 30, 2023 07:14 49m 58s
finalising README.md Proof Replay #48: Commit b41af51 pushed by mattulbrich
December 29, 2023 10:08 51m 29s main
main
December 29, 2023 10:08 51m 29s
replaying one proof that would not load again Proof Replay #47: Commit 3c8159b pushed by mattulbrich
December 29, 2023 08:40 49m 34s repair
repair
December 29, 2023 08:40 49m 34s
proof for classify_all Proof Replay #46: Commit 493be04 pushed by mattulbrich
December 29, 2023 01:57 50m 59s repair
repair
December 29, 2023 01:57 50m 59s
repairing proof for Tree.classify Proof Replay #45: Commit ef7ca71 pushed by mattulbrich
December 28, 2023 22:33 51m 15s repair
repair
December 28, 2023 22:33 51m 15s
removing duplicate proof files Proof Replay #44: Commit 4cf5d85 pushed by mattulbrich
December 28, 2023 14:19 50m 58s main
main
December 28, 2023 14:19 50m 58s
removing duplicate proof files Proof Replay #43: Commit 8100467 pushed by mattulbrich
December 28, 2023 14:05 3m 17s main
main
December 28, 2023 14:05 3m 17s
updating Makefile Proof Replay #42: Commit 1dcad88 pushed by mattulbrich
December 28, 2023 12:39 51m 5s main
main
December 28, 2023 12:39 51m 5s
updating Makefile Proof Replay #41: Commit 82cd721 pushed by mattulbrich
December 28, 2023 12:22 1m 50s main
main
December 28, 2023 12:22 1m 50s
adding dynamic test cases for sanity checks Proof Replay #40: Commit f743a19 pushed by mattulbrich
October 30, 2023 10:35 1h 18m 28s main
main
October 30, 2023 10:35 1h 18m 28s
Recovering the overflow proofs Proof Replay #39: Commit 6d9405a pushed by mattulbrich
October 28, 2023 12:02 1h 10m 6s main
main
October 28, 2023 12:02 1h 10m 6s
deactivate overflow constructors for the moment Proof Replay #38: Commit ee2d765 pushed by mattulbrich
October 28, 2023 00:26 1h 26m 40s fixWP
fixWP
October 28, 2023 00:26 1h 26m 40s
Proof for Permute::swap Proof Replay #37: Commit b55e386 pushed by mattulbrich
October 27, 2023 23:59 27m 24s fixWP
fixWP
October 27, 2023 23:59 27m 24s
added model methods to list which fixes Tree constructor proof reloading Proof Replay #36: Commit 879270e pushed by WolframPfeifer
October 27, 2023 22:13 1h 20m 16s pfeifer/WIP
pfeifer/WIP
October 27, 2023 22:13 1h 20m 16s
overflow proof for Cleanup::cleanup Proof Replay #35: Commit bcc1319 pushed by mattulbrich
October 27, 2023 21:55 2m 37s fixWP
fixWP
October 27, 2023 21:55 2m 37s
Updating the repository for the public version on github. Proof Replay #34: Commit 4e58ad5 pushed by mattulbrich
October 27, 2023 20:24 1h 11m 50s main
main
October 27, 2023 20:24 1h 11m 50s