Skip to content

Actions: KeYProject/tutorial-fm-2024

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix for accidental modification Verify with KeY #45: Commit 6cead8e pushed by unp1
September 10, 2024 14:46 1m 21s main
main
September 10, 2024 14:46 1m 21s
Fixed two invariants Verify with KeY #44: Commit 52e780a pushed by unp1
September 10, 2024 14:43 1m 21s main
main
September 10, 2024 14:43 1m 21s
github_actions in /. - Update #877315610 Dependabot Updates #2: by dependabot bot
September 1, 2024 19:13 39s
September 1, 2024 19:13 39s
github_actions in /. - Update #863859785 Dependabot Updates #1: by dependabot bot
August 1, 2024 19:23 41s
August 1, 2024 19:23 41s
Files of the FM Tutoral 2024, Version 1.0 Verify with KeY #43: Commit 6a9eccd pushed by wadoon
June 24, 2024 00:44 1m 25s main
main
June 24, 2024 00:44 1m 25s
Update README.md Verify with KeY #42: Commit 34198cd pushed by wadoon
June 24, 2024 00:35 1m 23s main
main
June 24, 2024 00:35 1m 23s
Update README.md Verify with KeY #41: Commit f692e6a pushed by wadoon
June 24, 2024 00:29 1m 18s main
main
June 24, 2024 00:29 1m 18s
Update prove.sh Verify with KeY #40: Commit f14ffa2 pushed by wadoon
June 23, 2024 01:17 1m 21s main
main
June 23, 2024 01:17 1m 21s
removing a commented JML line Verify with KeY #39: Commit 0802c3d pushed by mattulbrich
June 20, 2024 17:52 1m 22s main
main
June 20, 2024 17:52 1m 22s
updated README Verify with KeY #38: Commit 35ca0c2 pushed by mattulbrich
June 20, 2024 17:50 1m 47s main
main
June 20, 2024 17:50 1m 47s
update key to current master Verify with KeY #37: Commit 021cbca pushed by wadoon
June 20, 2024 09:01 1m 21s main
main
June 20, 2024 09:01 1m 21s
Fix sortedness spec Verify with KeY #36: Commit aac550f pushed by Drodt
June 15, 2024 19:42 1m 2s main
main
June 15, 2024 19:42 1m 2s
Update todo Verify with KeY #35: Commit 226a2ce pushed by Drodt
June 15, 2024 19:35 58s main
main
June 15, 2024 19:35 58s
update todos Verify with KeY #34: Commit 227c3d5 pushed by wadoon
June 15, 2024 11:35 1m 2s main
main
June 15, 2024 11:35 1m 2s
update todos Verify with KeY #33: Commit 0f6e5c9 pushed by wadoon
June 15, 2024 11:14 53s main
main
June 15, 2024 11:14 53s
updating README Verify with KeY #32: Commit 38e33af pushed by mattulbrich
June 15, 2024 10:14 51s main
main
June 15, 2024 10:14 51s
add URLs to README Verify with KeY #31: Commit f79b1b5 pushed by unp1
June 15, 2024 09:28 53s main
main
June 15, 2024 09:28 53s
finished the specification for sort. Verify with KeY #30: Commit a177cb7 pushed by mattulbrich
June 15, 2024 09:01 54s main
main
June 15, 2024 09:01 54s
proof script for ArrayList.add Verify with KeY #29: Commit a2a7d54 pushed by mattulbrich
June 14, 2024 15:18 1m 54s main
main
June 14, 2024 15:18 1m 54s
proof script for ArrayList.add Verify with KeY #28: Commit 1fd187d pushed by mattulbrich
June 14, 2024 15:03 51s main
main
June 14, 2024 15:03 51s
Remove old Test::test proof Verify with KeY #27: Commit 2787f1c pushed by Drodt
June 14, 2024 13:21 4m 52s main
main
June 14, 2024 13:21 4m 52s
Add Z3-less proof for Test Verify with KeY #26: Commit 41adbe2 pushed by Drodt
June 14, 2024 13:14 5m 7s main
main
June 14, 2024 13:14 5m 7s
updated readme Verify with KeY #25: Commit a86f480 pushed by mattulbrich
June 14, 2024 12:59 4m 47s main
main
June 14, 2024 12:59 4m 47s
proof of taclet Verify with KeY #24: Commit 4308b70 pushed by wadoon
June 14, 2024 12:53 4m 37s main
main
June 14, 2024 12:53 4m 37s
Update KeY version Verify with KeY #23: Commit 3450a09 pushed by Drodt
June 14, 2024 12:53 4m 45s main
main
June 14, 2024 12:53 4m 45s