Skip to content

Actions: erdkocak/CompPoly

Actions

Docs Integrity

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs-integrity.yml
22 workflow runs
22 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge branch 'master' into master Docs Integrity #22: Commit 36ba9f6 pushed by erdkocak
9s master
master
9s
canonical vs raw fastMulImpl Docs Integrity #21: Commit 723f2ff pushed by erdkocak
15s master
master
15s
safeFastMul Docs Integrity #20: Commit 95d18da pushed by erdkocak
12s master
master
12s
Merge branch 'master' into master Docs Integrity #19: Commit 77a0986 pushed by erdkocak
15s master
master
15s
parametrization of test domains and better naming Docs Integrity #18: Commit 49b738d pushed by erdkocak
9s master
master
9s
better tests Docs Integrity #17: Commit 41e63ac pushed by erdkocak
17s master
master
17s
fixed boolean equality issue Docs Integrity #16: Commit 9bac2e2 pushed by erdkocak
10s master
master
10s
leftarrow style, and fixed a warning Docs Integrity #15: Commit c7c1853 pushed by erdkocak
12s master
master
12s
consistent Nat coerciens Docs Integrity #14: Commit e58f73f pushed by erdkocak
11s master
master
11s
unnecessary @[simp] removed Docs Integrity #13: Commit f8c500f pushed by erdkocak
15s master
master
15s
theorem moved to core Docs Integrity #12: Commit 679d92a pushed by erdkocak
11s master
master
11s
doc update Docs Integrity #11: Commit de60187 pushed by erdkocak
17s master
master
17s
Merge pull request #8 from erdkocak/fixes Docs Integrity #10: Commit 26c8d2e pushed by doran2728
10s master
master
10s
Some fixes before finalization Docs Integrity #9: Pull request #8 opened by erdkocak
10s fixes
fixes
10s
completed the working proofs Docs Integrity #8: Commit 6f4a280 pushed by erdkocak
10s master
master
10s
inverseImpl_correct proof Docs Integrity #7: Commit d9366bd pushed by erdkocak
16s master
master
16s
rest of the changes Docs Integrity #6: Commit 9e892e3 pushed by erdkocak
10s master
master
10s
refactoring common code of forward and inverse into transform Docs Integrity #5: Commit d35acc4 pushed by erdkocak
15s master
master
15s
forwardImpl_correct proof Docs Integrity #4: Commit 7c81b54 pushed by erdkocak
8s master
master
8s
Merge pull request #7 from erdkocak/linter-fixes Docs Integrity #3: Commit 51db7dd pushed by doran2728
8s master
master
8s
Fix NTT test lint violations Docs Integrity #2: Pull request #7 opened by erdkocak
10s linter-fixes
linter-fixes
10s
Merge upstream/master into fork Docs Integrity #1: Commit e43b06a pushed by erdkocak
8s master
master
8s