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(Trestle): update to v4.16.0 ci #429: Commit ab13e7c pushed by JamesGallicchio
February 11, 2025 21:55 2m 33s main
main
February 11, 2025 21:55 2m 33s
chore(Trestle): update to v4.16.0 ci #428: Pull request #34 opened by JamesGallicchio
February 11, 2025 21:55 2m 32s dev
dev
February 11, 2025 21:55 2m 32s
chore(Trestle): update to v4.16.0 ci #427: Commit 7ee4c13 pushed by JamesGallicchio
February 11, 2025 21:48 2m 44s dev
dev
February 11, 2025 21:48 2m 44s
chore: remove .gitattributes ci #426: Commit b0cc4d5 pushed by JamesGallicchio
February 11, 2025 19:01 2m 32s dev
dev
February 11, 2025 19:01 2m 32s
chore: remove .gitattributes ci #425: Commit b0cc4d5 pushed by JamesGallicchio
February 11, 2025 18:58 2m 31s main
main
February 11, 2025 18:58 2m 31s
chore: merge dev to main ci #424: Pull request #33 synchronize by JamesGallicchio
February 11, 2025 18:52 2m 44s dev
dev
February 11, 2025 18:52 2m 44s
chore: remove .gitattributes ci #423: Commit 947b469 pushed by JamesGallicchio
February 11, 2025 18:52 2m 45s dev
dev
February 11, 2025 18:52 2m 45s
chore: merge dev to main ci #422: Pull request #33 synchronize by JamesGallicchio
February 11, 2025 18:51 2m 45s dev
dev
February 11, 2025 18:51 2m 45s
chore: remove cnfs, gitignore them ci #421: Commit 465c0ba pushed by JamesGallicchio
February 11, 2025 18:51 2m 27s dev
dev
February 11, 2025 18:51 2m 27s
chore: merge dev to main ci #420: Pull request #33 opened by JamesGallicchio
February 11, 2025 18:49 2m 33s dev
dev
February 11, 2025 18:49 2m 33s
feat(Keller): c3_3 proof complete! ci #419: Commit 41c2517 pushed by JamesGallicchio
February 11, 2025 01:13 2m 29s dev
dev
February 11, 2025 01:13 2m 29s
chore(Keller): refactor encoding code ci #418: Commit 3253685 pushed by JamesGallicchio < 10000 /span>
February 9, 2025 04:09 2m 28s dev
dev
February 9, 2025 04:09 2m 28s
feat(Keller): start more symmetry breaking encoding ci #417: Commit a290862 pushed by JamesGallicchio
February 8, 2025 04:47 2m 28s dev
dev
February 8, 2025 04:47 2m 28s
perf(core): EncCNF.withTemps array sharing bug (!!!) ci #416: Commit a996d77 pushed by JamesGallicchio
February 8, 2025 01:44 2m 35s dev
dev
February 8, 2025 01:44 2m 35s
feat(Keller): finish most of the permute proof ci #415: Commit 11f12e0 pushed by JamesGallicchio
February 7, 2025 09:03 2m 28s dev
dev
February 7, 2025 09:03 2m 28s
feat(Keller): most of way to symm breaking c3_2 ci #414: Commit bc8624a pushed by JamesGallicchio
February 6, 2025 23:55 2m 28s dev
dev
February 6, 2025 23:55 2m 28s
feat(Keller): continue towards c3 ci #413: Commit d02e846 pushed by JamesGallicchio
February 6, 2025 06:54 2m 27s dev
dev
February 6, 2025 06:54 2m 27s
feat(Keller): proved things about the important bitvectors ci #412: Commit 8bbba20 pushed by JamesGallicchio
February 5, 2025 23:00 2m 40s dev
dev
February 5, 2025 23:00 2m 40s
feat(Keller): start formalizing third cube of symmetry breaking ci #411: Commit e45a85e pushed by JamesGallicchio
February 5, 2025 03:49 2m 28s dev
dev
February 5, 2025 03:49 2m 28s
feat: cake_lpr interface ci #410: Pull request #32 synchronize by JamesGallicchio
February 3, 2025 20:35 2m 38s cake-lpr
cake-lpr
February 3, 2025 20:35 2m 38s
feat(core): file which knows its own hash ci #409: Commit 0931cbd pushed by JamesGallicchio
February 3, 2025 20:35 2m 41s cake-lpr
cake-lpr
February 3, 2025 20:35 2m 41s
feat: cake_lpr interface ci #408: Pull request #32 synchronize by JamesGallicchio
February 3, 2025 20:32 2m 30s cake-lpr
cake-lpr
February 3, 2025 20:32 2m 30s
feat: better errors from CakeLPR solver ci #407: Commit 9360461 pushed by JamesGallicchio
February 3, 2025 20:32 2m 32s cake-lpr
cake-lpr
February 3, 2025 20:32 2m 32s
feat(Keller): add large icnfs ci #406: Commit 4e5304a pushed by JamesGallicchio
February 3, 2025 08:35 2m 25s dev
dev
February 3, 2025 08:35 2m 25s
feat(Keller): add icnfs for n=7 low dim ci #405: Commit f7c7c05 pushed by JamesGallicchio
February 3, 2025 04:52 2m 46s dev
dev
February 3, 2025 04:52 2m 46s
0