Skip to content

Actions: RatCornu/coq-waterproof

Actions

Documentation

Actions

Loading...
Loading

Showing runs from all workflows named Documentation
67 workflow run results
67 workflow run results

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
fix(plugin): update to coq 8.18 Documentation #100: Commit af3772c pushed by RatCornu
November 29, 2023 20:16 2m 19s main
main
November 29, 2023 20:16 2m 19s
Merge branch 'impermeable:main' into main Documentation #99: Commit 4192fed pushed by RatCornu
November 29, 2023 18:49 3m 1s main
main
November 29, 2023 18:49 3m 1s
chore: update README Documentation #98: Commit 60dcaae pushed by RatCornu
September 5, 2023 13:06 4m 25s main
main
September 5, 2023 13:06 4m 25s
fix: Name Documentation #97: Commit 2f0419c pushed by RatCornu
September 5, 2023 12:14 5m 15s main
main
September 5, 2023 12:14 5m 15s
Merge branch 'main' of github.com:impermeable/coq-waterproof Documentation #96: Commit 41a4f9c pushed by RatCornu
September 5, 2023 10:19 5m 9s main
main
September 5, 2023 10:19 5m 9s
fix: optimization Documentation #95: Commit f1f5918 pushed by RatCornu
July 15, 2023 15:10 3m 8s main
main
July 15, 2023 15:10 3m 8s
fix: optimization Documentation #94: Commit dbcc3b5 pushed by RatCornu
July 15, 2023 15:08 2m 32s main
main
July 15, 2023 15:08 2m 32s
chore: little reworking for the report Documentation #93: Commit ba7848b pushed by RatCornu
July 15, 2023 12:15 3m 7s main
main
July 15, 2023 12:15 3m 7s
chore: little reworking for the report Documentation #92: Commit 22f7bd5 pushed by RatCornu
July 15, 2023 12:14 1m 13s main
main
July 15, 2023 12:14 1m 13s
chore: little reworking for the report Documentation #91: Commit 1772929 pushed by RatCornu
July 5, 2023 10:17 4m 2s main
main
July 5, 2023 10:17 4m 2s
chore: little reworking for the report Documentation #90: Commit 9448761 pushed by RatCornu
June 27, 2023 14:53 4m 45s main
main
June 27, 2023 14:53 4m 45s
chore: rebase upstream Documentation #89: Commit 0941ce9 pushed by RatCornu
June 22, 2023 10:06 3m 32s main
main
June 22, 2023 10:06 3m 32s
fix: replace reals to wp_reals in hints loading Documentation #88: Commit c047b1c pushed by RatCornu
June 20, 2023 14:46 3m 29s main
main
June 20, 2023 14:46 3m 29s
fix: replace reals to wp_reals in hints loading Documentation #87: Commit 95eb2e6 pushed by RatCornu
June 20, 2023 14:40 3m 48s main
main
June 20, 2023 14:40 3m 48s
fix: replace reals to wp_reals in hints loading Documentation #86: Commit 6ede9ad pushed by RatCornu
June 20, 2023 13:51 4m 20s main
main
June 20, 2023 13:51 4m 20s
fix: replace reals to wp_reals in hints loading Documentation #85: Commit c4efee1 pushed by RatCornu
June 20, 2023 13:36 4m 9s main
main
June 20, 2023 13:36 4m 9s
feat: custom dataset framework Documentation #84: Commit 64b54fe pushed by RatCornu
June 20, 2023 13:27 3m 42s main
main
June 20, 2023 13:27 3m 42s
fix: remove subset notation Documentation #83: Commit edacc6f pushed by RatCornu
June 20, 2023 11:52 3m 38s main
main
June 20, 2023 11:52 3m 38s
feat: add evar map in the optimization lookup Documentation #82: Commit 37b5d6c pushed by RatCornu
June 20, 2023 09:18 3m 44s main
main
June 20, 2023 09:18 3m 44s
chore: partially fixed restricted waterprove Documentation #81: Commit 84aee75 pushed by RatCornu
June 16, 2023 12:52 4m 38s main
main
June 16, 2023 12:52 4m 38s
chore: partially fixed restricted waterprove Documentation #80: Commit 211b1ff pushed by RatCornu
June 16, 2023 12:50 2m 58s main
main
June 16, 2023 12:50 2m 58s
chore: add comment for wp_autorewrite Documentation #79: Commit dd6ce1f pushed by RatCornu
June 16, 2023 12:44 4m 4s main
main
June 16, 2023 12:44 4m 4s
chore: clean src/wp_rewrite.ml Documentation #78: Commit 99d6b98 pushed by RatCornu
June 14, 2023 13:47 4m 9s main
main
June 14, 2023 13:47 4m 9s
chore: move shield logic in Ltac2 Documentation #77: Commit f7ceb7d pushed by RatCornu
June 14, 2023 10:06 4m 8s main
main
June 14, 2023 10:06 4m 8s
fix: wp_autorewrite now fully functionnal Documentation #76: Commit 2b069c2 pushed by RatCornu
June 14, 2023 09:41 3m 6s main
main
June 14, 2023 09:41 3m 6s