Skip to content

Actions: SamuelSchlesinger/complexitylib

Actions

API Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
167 workflow runs
167 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
API Documentation API Documentation #167: Scheduled
1h 20m 59s dev
dev
1h 20m 59s
Merge pull request #20 from SamuelSchlesinger/samschles/module-migration API Documentation #166: Commit 645b567 pushed by SamuelSchlesinger
1h 19m 14s dev
dev
1h 19m 14s
API Documentation API Documentation #165: Scheduled
1h 24m 15s dev
dev
1h 24m 15s
Merge pull request #16 from BoltonBailey/feat/finset-domain-fp API Documentation #164: Commit 26f2235 pushed by BoltonBailey
1h 19m 9s dev
dev
1h 19m 9s
feat(circuits): expand nonuniform lower-bound toolkit API Documentation #163: Commit 46f0659 pushed by SamuelSchlesinger
1h 21m 55s dev
dev
1h 21m 55s
feat(circuits): specify Barrington code generation API Documentation #162: Commit 8cf928e pushed by SamuelSchlesinger
1h 19m 41s dev
dev
1h 19m 41s
feat(ram): prove quadratic RAM-to-TM simulation API Documentation #161: Commit 15e8788 pushed by SamuelSchlesinger
1h 8m 35s dev
dev
1h 8m 35s
perf(ram): linearize sparse scans and add dense fallback API Documentation #160: Commit a2eecdb pushed by SamuelSchlesinger
1h 2m 3s dev
dev
1h 2m 3s
docs(readme): disclose AI-assisted development API Documentation #159: Commit 623a149 pushed by SamuelSchlesinger
1h 0m 37s dev
dev
1h 0m 37s
feat(ram): prove polynomial equivalence with Turing machines API Documentation #158: Commit b0e58de pushed by SamuelSchlesinger
1h 15m 4s dev
dev
1h 15m 4s
Merge pull request #13 from crei/roseTreeMachine API Documentation #157: Commit abb953c pushed by SamuelSchlesinger
1h 10m 27s dev
dev
1h 10m 27s
API Documentation API Documentation #156: Scheduled
55m 36s dev
dev
55m 36s
feat(TuringMachine): add stable phase-boundary certificate API Documentation #155: Commit abb12a9 pushed by SamuelSchlesinger
1h 7m 47s dev
dev
1h 7m 47s
feat(TuringMachine): add finite trace invariant API API Documentation #154: Commit 4731fca pushed by SamuelSchlesinger
38m 44s dev
dev
38m 44s
feat(uniformity): prove P equals uniform P/poly API Documentation #153: Commit 1afd236 pushed by SamuelSchlesinger
30m 16s dev
dev
30m 16s
feat(uniformity): certify transition step space API Documentation #152: Commit 1bbfd5f pushed by SamuelSchlesinger
1h 1m 7s dev
dev
1h 1m 7s
refactor(space): share list width composition API Documentation #151: Commit f85deb7 pushed by SamuelSchlesinger
1h 6m 36s dev
dev
1h 6m 36s
feat(uniformity): certify next formula width API Documentation #150: Commit 51b603d pushed by SamuelSchlesinger
12m 7s dev
dev
12m 7s
feat(uniformity): certify written cell width API Documentation #149: Commit ae6b68f pushed by SamuelSchlesinger
29m 23s dev
dev
29m 23s
feat(uniformity): certify moved head width API Documentation #148: Commit 7363a7c pushed by SamuelSchlesinger
26m 51s dev
dev
26m 51s
feat(uniformity): certify predecessor formula width API Documentation #147: Commit d7261b1 pushed by SamuelSchlesinger
16m 8s dev
dev
16m 8s
feat(uniformity): certify transition effect width API Documentation #146: Commit 2c9a51e pushed by SamuelSchlesinger
6m 4s dev
dev
6m 4s
feat(uniformity): certify transition case width API Documentation #145: Commit 599a307 pushed by SamuelSchlesinger
6m 3s dev
dev
6m 3s
feat(uniformity): certify read formula width API Documentation #144: Commit ba39409 pushed by SamuelSchlesinger
19m 13s dev
dev
19m 13s
feat(space): preserve register width bounds API Documentation #143: Commit bd9fc99 pushed by SamuelSchlesinger
21m 6s dev
dev
21m 6s