Skip to content

Actions: huynhtrankhanh/CoqCP

Actions

Prettify Code

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
prettier.yml
543 workflow runs
543 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change another epose to pose Prettify Code #618: Commit ea9a5a4 pushed by huynhtrankhanh
November 3, 2024 09:20 15s main
main
November 3, 2024 09:20 15s
Change epose to pose Prettify Code #617: Commit 515b041 pushed by huynhtrankhanh
November 3, 2024 09:19 17s main
main
November 3, 2024 09:19 17s
Finish proof of ancestor function Prettify Code #616: Commit b9a0677 pushed by huynhtrankhanh
November 3, 2024 09:18 18s main
main
November 3, 2024 09:18 18s
Almost finish proof of ancestor function Prettify Code #615: Commit 4b20f96 pushed by huynhtrankhanh
November 3, 2024 09:48 23s main
main
November 3, 2024 09:48 23s
Fix bug in ancestor code Prettify Code #614: Commit 5752015 pushed by huynhtrankhanh
November 2, 2024 09:53 18s main
main
November 2, 2024 09:53 18s
Found a bug in the original code :( Prettify Code #613: Commit 1c1b27a pushed by huynhtrankhanh
November 2, 2024 09:44 17s main
main
November 2, 2024 09:44 17s
Prove insertConvertReferTo Prettify Code #612: Commit ca3d305 pushed by huynhtrankhanh
November 2, 2024 09:11 22s main
main
November 2, 2024 09:11 22s
Work on clearing the second loop Prettify Code #611: Commit 8aa2241 pushed by huynhtrankhanh
November 2, 2024 08:36 18s main
main
November 2, 2024 08:36 18s
Trigger workflow Prettify Code #610: Commit d54d0bd pushed by huynhtrankhanh
November 2, 2024 04:28 17s main
main
November 2, 2024 04:28 17s
Add -R generated-coq Prettify Code #609: Commit af1a40a pushed by huynhtrankhanh
November 2, 2024 04:27 17s main
main
November 2, 2024 04:27 17s
Revert Prettify Code #608: Commit 6343cc4 pushed by huynhtrankhanh
November 2, 2024 04:26 16s main
main
November 2, 2024 04:26 16s
Trigger workflow Prettify Code #607: Commit e224855 pushed by huynhtrankhanh
November 2, 2024 04:22 22s main
main
November 2, 2024 04:22 22s
Change binary path in Coq axiom check workflow Prettify Code #606: Commit d4d4246 pushed by huynhtrankhanh
November 2, 2024 04:20 17s main
main
November 2, 2024 04:20 17s
Clear the first loop in funcdef_0__ancestor Prettify Code #605: Commit a8f9d07 pushed by huynhtrankhanh
November 2, 2024 04:08 18s main
main
November 2, 2024 04:08 18s
Fix proof Prettify Code #604: Commit d9b1a96 pushed by huynhtrankhanh
November 1, 2024 17:57 18s main
main
November 1, 2024 17:57 18s
Add second continuation in runAncestor1 Prettify Code #603: Commit d59546b pushed by huynhtrankhanh
November 1, 2024 17:47 20s main
main
November 1, 2024 17:47 20s
Split into a new file Prettify Code #602: Commit 782c7b4 pushed by huynhtrankhanh
November 1, 2024 10:57 20s main
main
November 1, 2024 10:57 20s
Prove runAncestor1 Prettify Code #601: Commit 104125e pushed by huynhtrankhanh
October 28, 2024 17:20 28s main
main
October 28, 2024 17:20 28s
Prove dropWithinLoop_continue, dropWithinLoop_break Prettify Code #600: Commit 79774e7 pushed by huynhtrankhanh
October 28, 2024 17:15 19s main
main
October 28, 2024 17:15 19s
Prove nthConvert Prettify Code #599: Commit dacefec pushed by huynhtrankhanh
October 28, 2024 15:03 26s main
main
October 28, 2024 15:03 26s
Prove nth_lt_default Prettify Code #598: Commit ed9ba25 pushed by huynhtrankhanh
October 28, 2024 14:29 20s main
main
October 28, 2024 14:29 20s
Prove nthLowerBoundConvertAux, nthLowerBoundConvert Prettify Code #597: Commit fb1c92f pushed by huynhtrankhanh
October 28, 2024 13:43 23s main
main
October 28, 2024 13:43 23s
Prove nthLowerBoundConvertAuxStep Prettify Code #596: Commit bca1108 pushed by huynhtrankhanh
October 28, 2024 13:17 24s main
main
October 28, 2024 13:17 24s
Prove nthUpperBoundConvertAux and nthUpperBoundConvert Prettify Code #595: Commit e9306b3 pushed by huynhtrankhanh
October 26, 2024 12:41 20s main
main
October 26, 2024 12:41 20s
Tackle ancestor function Prettify Code #594: Commit 037f0ff pushed by huynhtrankhanh
October 24, 2024 12:05 20s main
main
October 24, 2024 12:05 20s