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(Keller): set up for testing ci #454: Commit b4379c6 pushed by JamesGallicchio
February 27, 2025 19:42 2m 37s dev
dev
February 27, 2025 19:42 2m 37s
feat(Keller): allow SR clauses to map temporaries ci #453: Commit 71f65af pushed by JamesGallicchio
February 27, 2025 18:49 2m 34s dev
dev
February 27, 2025 18:49 2m 34s
feat(Keller): reorganize things ci #452: Commit e05de09 pushed by JamesGallicchio
February 27, 2025 00:21 2m 46s dev
dev
February 27, 2025 00:21 2m 46s
feat(Trestle): encoding with a name map from IVar to String ci #451: Commit f340bb9 pushed by JamesGallicchio
February 27, 2025 00:04 2m 43s dev
dev
February 27, 2025 00:04 2m 43s
chore(Keller): booptina debug info ci #450: Commit 301d206 pushed by JamesGallicchio
February 26, 2025 08:36 2m 58s dev
dev
February 26, 2025 08:36 2m 58s
feat(Keller): reorg output to support DSR symmbreak proof ci #449: Commit 1359dfc pushed by JamesGallicchio
February 26, 2025 08:14 2m 38s dev
dev
February 26, 2025 08:14 2m 38s
feat: PPA theorems; refactor ci #448: Commit 7af19e7 pushed by ccodel
February 25, 2025 23:10 1m 59s revive_sr
revive_sr
February 25, 2025 23:10 1m 59s
feat(Keller): verified c0/c1/c3 encoding ci #447: Commit eab1716 pushed by JamesGallicchio
February 24, 2025 22:50 2m 32s dev
dev
February 24, 2025 22:50 2m 32s
feat(Keller): reimpl renumberIncr ci #446: Commit 78ba782 pushed by JamesGallicchio
February 24, 2025 17:57 2m 47s dev
dev
February 24, 2025 17:57 2m 47s
feat(Keller): progress on Matrix symmbreak proofs ci #445: Commit 56ef8f9 pushed by JamesGallicchio
February 18, 2025 23:32 2m 30s dev
dev
February 18, 2025 23:32 2m 30s
feat(Keller): proofs about c19 ci #444: Commit 770ace9 pushed by JamesGallicchio
February 18, 2025 09:58 2m 34s dev
dev
February 18, 2025 09:58 2m 34s
feat(Keller): THREE CUBES PROOF DONE!!!!!! ci #443: Commit 355dc78 pushed by JamesGallicchio
February 18, 2025 09:21 2m 35s dev
dev
February 18, 2025 09:21 2m 35s
BROKEN COMMIT: preview of changes for v4.18 ci #442: Commit bea8acf pushed by JamesGallicchio
February 18, 2025 08:26 12s v4.18.0-rc1
v4.18.0-rc1
February 18, 2025 08:26 12s
feat(Keller): clean up and make progress on c3_4 proof ci #441: Commit 3ff0842 pushed by JamesGallicchio
February 18, 2025 02:58 2m 34s dev
dev
February 18, 2025 02:58 2m 34s
feat(Keller): missed some things ci #440: Commit 20c9a3c pushed by JamesGallicchio
February 15, 2025 01:54 2m 37s dev
dev
February 15, 2025 01:54 2m 37s
feat(Keller): went ahead and verified the base encoding ci #439: Commit 372763c pushed by JamesGallicchio
February 14, 2025 04:45 2m 30s dev
dev
February 14, 2025 04:45 2m 30s
fix(Examples): richcnf change broke examples ci #438: Commit 22a86d0 pushed by JamesGallicchio
February 13, 2025 21:23 2m 41s dev
dev
February 13, 2025 21:23 2m 41s
feat(Keller): experimenting with cores ci #437: Commit cb41eaa pushed by JamesGallicchio
February 13, 2025 21:09 2m 43s dev
dev
February 13, 2025 21:09 2m 43s
feat(Trestle): rich CNFs with comments! ci #436: Commit 0f2b11c pushed by JamesGallicchio
February 13, 2025 19:17 2m 43s dev
dev
February 13, 2025 19:17 2m 43s
perf(Keller): speed up elaboration in TwoCubes theorems ci #435: Commit b433029 pushed by JamesGallicchio
February 13, 2025 17:25 2m 42s dev
dev
February 13, 2025 17:25 2m 42s
fix(Keller): more type errors from v4.16.0 bump ci #434: Commit 4b5c4b8 pushed by JamesGallicchio
February 13, 2025 17:14 2m 36s dev
dev
February 13, 2025 17:14 2m 36s
feat(Keller): some maybe-dead code that I should stabilize for combin… ci #433: Commit d02c614 pushed by JamesGallicchio
February 12, 2025 07:25 2m 33s dev
dev
February 12, 2025 07:25 2m 33s
feat(Keller): add more facts to c3_4 context :melting: ci #432: Commit 64b9c75 pushed by JamesGallicchio
February 12, 2025 07:22 2m 48s dev
dev
February 12, 2025 07:22 2m 48s
feat(Keller): start c3_4 proof ci #431: Commit 61f1cc5 pushed by JamesGallicchio
February 11, 2025 23:51 2m 26s dev
dev
February 11, 2025 23:51 2m 26s
chore(Trestle): update to v4.16.0 ci #430: Commit ab13e7c pushed by JamesGallicchio
February 11, 2025 21:59 2m 28s dev
dev
February 11, 2025 21:59 2m 28s
0