8000 Workflow runs · FormalSAT/trestle · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: FormalSAT/trestle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update version in readme ci #329: Commit 5d1649c pushed by JamesGallicchio
January 17, 2025 23:54 2m 49s dev
dev
January 17, 2025 23:54 2m 49s
Trestle refactor ci #328: Pull request #26 synchronize by JamesGallicchio
January 17, 2025 23:34 2m 29s trestle_refactor
trestle_refactor
January 17, 2025 23:34 2m 29s
move IndexType, remove most of it, document intent to destroy ci #327: Commit da9febe pushed by JamesGallicchio
January 17, 2025 23:34 2m 14s trestle_refactor
trestle_refactor
January 17, 2025 23:34 2m 14s
Trestle refactor ci #326: Pull request #26 synchronize by JamesGallicchio
January 17, 2025 23:04 2m 13s trestle_refactor
trestle_refactor
January 17, 2025 23:04 2m 13s
more cleanup/renaming ci #325: Commit 9454316 pushed by JamesGallicchio
January 17, 2025 23:04 2m 21s trestle_refactor
trestle_refactor
January 17, 2025 23:04 2m 21s
Trestle refactor ci #324: Pull request #26 synchronize by JamesGallicchio
January 17, 2025 22:17 2m 16s trestle_refactor
trestle_refactor
January 17, 2025 22:17 2m 16s
remove List strong induction ci #323: Commit 506633c pushed by JamesGallicchio
January 17, 2025 22:17 2m 32s trestle_refactor
trestle_refactor
January 17, 2025 22:17 2m 32s
Trestle refactor ci #322: Pull request #26 opened by JamesGallicchio
January 17, 2025 21:24 2m 14s trestle_refactor
trestle_refactor
January 17, 2025 21:24 2m 14s
update workflow to Trestle ci #321: Commit 3c6cb5c pushed by JamesGallicchio
January 17, 2025 21:15 2m 13s trestle_refactor
trestle_refactor
January 17, 2025 21:15 2m 13s
leansat->trestle rename ci #320: Commit 841b7eb pushed by JamesGallicchio
January 17, 2025 16:47 1m 21s cake-lpr
cake-lpr
January 17, 2025 16:47 1m 21s
Tseitin encoding optimizations ci #319: Pull request #25 opened by JamesGallicchio
January 17, 2025 09:17 1m 17s improve-tseitin
improve-tseitin
January 17, 2025 09:17 1m 17s
reduce nesting for Tseitin ci #318: Commit 64a5e0a pushed by JamesGallicchio
January 17, 2025 09:13 1m 17s improve-tseitin
improve-tseitin
January 17, 2025 09:13 1m 17s
feat: proof of seqc AMO ci #317: Commit a6bb435 pushed by ccodel
January 16, 2025 22:05 1m 17s trestle_refactor
trestle_refactor
January 16, 2025 22:05 1m 17s
Refactor, proof cleanup, TODO seq counter ci #316: Commit 1760b45 pushed by ccodel
January 10, 2025 05:17 1m 27s trestle_refactor
trestle_refactor
January 10, 2025 05:17 1m 27s
TODO some tinkering, moving to trestle-code? ci #315: Commit 9dc7a57 pushed by ccodel
December 21, 2024 18:33 2m 41s sr_checker_optims
sr_checker_optims
December 21, 2024 18:33 2m 41s
Update toolchain; fix broken proofs ci #314: Commit a474e75 pushed by ccodel
September 2, 2024 22:09 2m 24s sr_checker_optims
sr_checker_optims
September 2, 2024 22:09 2m 24s
Deletion now Except Unit ci #313: Commit 1882886 pushed by ccodel
June 24, 2024 06:33 2m 46s sr_checker_optims
sr_checker_optims
June 24, 2024 06:33 2m 46s
Refactor deletion and correctness proof ci #312: Commit 06e668c pushed by ccodel
June 24, 2024 06:32 2m 47s sr_checker_optims
sr_checker_optims
June 24, 2024 06:32 2m 47s
Fully completed optimized proofs of correctness ci #311: Commit 8093c14 pushed by ccodel
June 24, 2024 05:23 2m 52s sr_checker_optims
sr_checker_optims
June 24, 2024 05:23 2m 52s
rsize optim ci #310: Commit 4ebdb31 pushed by ccodel
June 21, 2024 18:09 2m 47s sr_checker_optims
sr_checker_optims
June 21, 2024 18:09 2m 47s
WIP, experiments with checker ci #309: Commit 7a89a9c pushed by ccodel
June 19, 2024 05:01 995C 2m 47s sr_checker_optims
sr_checker_optims
June 19, 2024 05:01 2m 47s
Body of SR checker done, filling in sorrys ci #308: Commit a0fbaab pushed by ccodel
June 13, 2024 06:10 2m 55s sr_checker_optims
sr_checker_optims
June 13, 2024 06:10 2m 55s
WIP correctness ci #307: Commit 0eb70dc pushed by ccodel
May 27, 2024 23:40 2m 53s sr_checker_optims
sr_checker_optims
May 27, 2024 23:40 2m 53s
fix: removed stateful sharing bug in parser ci #306: Commit 8b1a7aa pushed by ccodel
April 28, 2024 16:54 2m 43s sr_checker_optims
sr_checker_optims
April 28, 2024 16:54 2m 43s
Commit containing verified basic SR checker. ci #305: Pull request #20 synchronize by ccodel
April 28, 2024 06:06 2m 51s ppa_work
ppa_work
April 28, 2024 06:06 2m 51s
ProTip! You can narrow down the results and go further in time using created:<2024-04-28 or the other filters available.
0