Skip to content

Actions: jsfpdn/sdd-rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: balanced vtree, literal initialization, dimacs parsing Test #49: Commit 9d34d4f pushed by jsfpdn
November 25, 2024 14:22 30s main
main
November 25, 2024 14:22 30s
add: left-linear and balanced vtree strategies Lint #48: Commit 4273f7e pushed by jsfpdn
November 25, 2024 09:47 31s main
main
November 25, 2024 09:47 31s
add: left-linear and balanced vtree strategies Test #48: Commit 4273f7e pushed by jsfpdn
November 25, 2024 09:47 31s main
main
November 25, 2024 09:47 31s
dimacs: support optional EOF syntax Test #47: Commit 41f8215 pushed by jsfpdn
November 24, 2024 22:55 25s main
main
November 24, 2024 22:55 25s
dimacs: support optional EOF syntax Lint #47: Commit 41f8215 pushed by jsfpdn
November 24, 2024 22:55 25s main
main
November 24, 2024 22:55 25s
add: minimization cut-offs, cli args Lint #46: Commit b4b37aa pushed by jsfpdn
November 22, 2024 22:56 1m 13s main
main
November 22, 2024 22:56 1m 13s
add: minimization cut-offs, cli args Test #46: Commit b4b37aa pushed by jsfpdn
November 22, 2024 22:56 55s main
main
November 22, 2024 22:56 55s
fix: swap maintains correct vtree indices in corresponding sdds Test #45: Commit 8e3f981 pushed by jsfpdn
November 19, 2024 16:14 41s main
main
November 19, 2024 16:14 41s
fix: swap maintains correct vtree indices in corresponding sdds Lint #45: Commit 8e3f981 pushed by jsfpdn
November 19, 2024 16:14 28s main
main
November 19, 2024 16:14 28s
fix: compute cartesian product, correct operations in _apply_equal Lint #44: Commit d93fd97 pushed by jsfpdn
November 17, 2024 20:42 23s main
main
November 17, 2024 20:42 23s
fix: compute cartesian product, correct operations in _apply_equal Test #44: Commit d93fd97 pushed by jsfpdn
November 17, 2024 20:42 23s main
main
November 17, 2024 20:42 23s
fix: compute cartesian product when swapping vtree nodes Test #43: Commit f83754a pushed by jsfpdn
November 17, 2024 10:05 27s main
main
November 17, 2024 10:05 27s
fix: compute cartesian product when swapping vtree nodes Lint #43: Commit f83754a pushed by jsfpdn
November 17, 2024 10:05 29s main
main
November 17, 2024 10:05 29s
fix bug in compression, add instrumentation, refactor indices of cons… Lint #42: Commit a0899c7 pushed by jsfpdn
November 17, 2024 08:13 30s main
main
November 17, 2024 08:13 30s
fix bug in compression, add instrumentation, refactor indices of cons… Test #42: Commit a0899c7 pushed by jsfpdn
November 17, 2024 08:13 26s main
main
November 17, 2024 08:13 26s
clippy: fix references, panics, closures and imports Test #41: Commit 07addc2 pushed by jsfpdn
November 13, 2024 22:11 32s main
main
November 13, 2024 22:11 32s
clippy: fix references, panics, closures and imports Lint #41: Commit 07addc2 pushed by jsfpdn
November 13, 2024 22:11 30s main
main
November 13, 2024 22:11 30s
fragments: initial implementation, sdd size Lint #40: Commit 6b95a63 pushed by jsfpdn
November 12, 2024 21:12 23s main
main
November 12, 2024 21:12 23s
fragments: initial implementation, sdd size Test #40: Commit 6b95a63 pushed by jsfpdn
November 12, 2024 21:12 21s main
main
November 12, 2024 21:12 21s
minimization: implement {left,right} rotations, swap Test #39: Commit 217736c pushed by jsfpdn
November 11, 2024 20:53 26s main
main
November 11, 2024 20:53 26s
minimization: implement {left,right} rotations, swap Lint #39: Commit 217736c pushed by jsfpdn
November 11, 2024 20:53 36s main
main
November 11, 2024 20:53 36s
formatting: imports Test #38: Commit c955c48 pushed by jsfpdn
November 8, 2024 15:12 28s main
main
November 8, 2024 15:12 28s
formatting: imports Lint #38: Commit c955c48 pushed by jsfpdn
November 8, 2024 15:12 24s main
main
November 8, 2024 15:12 24s
refac: use new type pattern to not confuse different indices Test #37: Commit 20709ad pushed by jsfpdn
November 8, 2024 14:54 21s main
main
November 8, 2024 14:54 21s
refac: use new type pattern to not confuse different indices Lint #37: Commit 20709ad pushed by jsfpdn
November 8, 2024 14:54 21s main
main
November 8, 2024 14:54 21s