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

update main ci #554: Pull request #39 synchronize by JamesGallicchio
May 19, 2025 20:27 2m 51s dev
dev
May 19, 2025 20:27 2m 51s
chore(Keller): more human-accessible proofs for automorphism ci #553: Commit a04825e pushed by JamesGallicchio
May 19, 2025 20:26 2m 58s dev
dev
May 19, 2025 20:26 2m 58s
update main ci #552: Pull request #39 synchronize by JamesGallicchio
April 28, 2025 16:16 2m 49s dev
dev
April 28, 2025 16:16 2m 49s
chore(Keller): remove c3_min_zeros (easy to add back) ci #551: Commit 11459fd pushed by JamesGallicchio
April 28, 2025 16:16 3m 4s dev
dev
April 28, 2025 16:16 3m 4s
chore(Keller): more robust test script ci #550: Commit f764c45 pushed by JamesGallicchio
April 28, 2025 05:22 2m 50s dev
dev
April 28, 2025 05:22 2m 50s
update main ci #549: Pull request #39 synchronize by JamesGallicchio
April 28, 2025 05:22 3m 33s dev
dev
April 28, 2025 05:22 3m 33s
update main ci #548: Pull request #39 synchronize by ccodel
April 21, 2025 22:02 3m 1s dev
dev< 10000 /a>
April 21, 2025 22:02 3m 1s
feat(SR): final batch of RangeArray theorems ci #547: Commit e67d9bf pushed by ccodel
April 21, 2025 22:02 3m 0s dev
dev
April 21, 2025 22:02 3m 0s
update main ci #546: Pull request #39 synchronize by ccodel
April 21, 2025 19:38 2m 53s dev
dev
April 21, 2025 19:38 2m 53s
feat(SR): more RangeArray theorems ci #545: Commit 991a5da pushed by ccodel
April 21, 2025 19:38 2m 53s dev
dev
April 21, 2025 19:38 2m 53s
update main ci #544: Pull request #39 synchronize by ccodel
April 21, 2025 00:42 2m 49s dev
dev
April 21, 2025 00:42 2m 49s
feat(SR): About half the RangeArray thms ci #543: Commit 8a05858 pushed by ccodel
April 21, 2025 00:42 2m 59s dev
dev
April 21, 2025 00:42 2m 59s
update main ci #542: Pull request #39 synchronize by ccodel
April 20, 2025 22:52 2m 47s dev
dev
April 20, 2025 22:52 2m 47s
feat(SR): defs/thm split for RangeArray and SR checker ci #541: Commit 70f82d4 pushed by ccodel
April 20, 2025 22:52 2m 48s dev
dev
April 20, 2025 22:52 2m 48s
update main ci #540: Pull request #39 synchronize by ccodel
April 20, 2025 22:39 2m 57s dev
dev
April 20, 2025 22:39 2m 57s
feat(SR): Last(?) PS theorem ci #539: Commit 470c7f8 pushed by ccodel
April 20, 2025 22:39 2m 48s dev
dev
April 20, 2025 22:39 2m 48s
update main ci #538: Pull request #39 synchronize by ccodel
April 20, 2025 22:11 3m 1s dev
dev
April 20, 2025 22:11 3m 1s
feat(SR): PS reduction equality thms ci #537: Commit aadec45 pushed by ccodel
April 20, 2025 22:11 3m 11s dev
dev
April 20, 2025 22:11 3m 11s
update main ci #536: Pull request #39 opened by JamesGallicchio
April 20, 2025 04:22 2m 47s dev
dev
April 20, 2025 04:22 2m 47s
assumevars ci #535: Pull request #38 opened by JamesGallicchio
April 20, 2025 04:19 2m 50s add-assumevars
add-assumevars
April 20, 2025 04:19 2m 50s
feat(Trestle): naive (exponential) at-most-k and at-least-k encodings ci #534: Commit 52a6127 pushed by JamesGallicchio
April 20, 2025 04:12 2m 46s dev
dev
April 20, 2025 04:12 2m 46s
fix(Keller): forgor to commit Upstream.lean ci #533: Commit d6fabd3 pushed by JamesGallicchio
April 20, 2025 02:35 2m 47s dev
dev
April 20, 2025 02:35 2m 47s
feat(Keller): finish C3MinZeroSorted proof ci #532: Commit 7bfd038 pushed by JamesGallicchio
April 20, 2025 02:18 2m 57s dev
dev
April 20, 2025 02:18 2m 57s
feat(SR): setVarToLit theorems ci #531: Commit 3443a11 pushed by ccodel
April 19, 2025 02:16 3m 3s dev
dev
April 19, 2025 02:16 3m 3s
feat(SR): setLit PS theorems ci #530: Commit c08f6ee pushed by ccodel
April 19, 2025 01:55 3m 0s dev
dev
April 19, 2025 01:55 3m 0s
0