Skip to content

Actions: jsfpdn/sdd-rs

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix vtree_idx in SDDs, prep for more complicated apply scenarios
Test #29: Commit 59c59f9 pushed by jsfpdn
October 13, 2024 16:43 19s main
October 13, 2024 16:43 19s
sdd: add compression tests
Test #28: Commit 4e1fa41 pushed by jsfpdn
October 10, 2024 15:59 19s main
October 10, 2024 15:59 19s
sdd: bring back trimming tests
Test #27: Commit a4c09b3 pushed by jsfpdn
October 10, 2024 06:14 22s main
October 10, 2024 06:14 22s
prep for apply for normalized sdds
Test #26: Commit 6556f33 pushed by jsfpdn
October 9, 2024 18:15 24s main
October 9, 2024 18:15 24s
Create dependabot.yml
Test #25: Commit d37bd35 pushed by jsfpdn
May 15, 2024 06:58 27s main
May 15, 2024 06:58 27s
clippy: fix conversions
Test #24: Commit b2f31de pushed by jsfpdn
April 19, 2024 06:45 26s main
April 19, 2024 06:45 26s
vtree: refac: remove unnecessary as_ref() calls
Test #23: Commit afa57f1 pushed by jsfpdn
April 18, 2024 13:28 24s main
April 18, 2024 13:28 24s
vtree: add: rotate_{left, right}
Test #22: Commit 0a8926f pushed by jsfpdn
April 18, 2024 13:25 20s main
April 18, 2024 13:25 20s
vtree: represent via Rc<RefCell>
Test #21: Commit 4b7a733 pushed by jsfpdn
April 17, 2024 20:04 19s main
April 17, 2024 20:04 19s
fix imports
Test #20: Commit c09ec58 pushed by jsfpdn
April 3, 2024 17:00 24s main
April 3, 2024 17:00 24s
vtree: add basic graphviz support
Test #19: Commit 7df81ec pushed by jsfpdn
April 2, 2024 20:08 17s main
April 2, 2024 20:08 17s
add: sdd hashing
Test #18: Commit 0528889 pushed by jsfpdn
April 2, 2024 13:25 19s main
April 2, 2024 13:25 19s
add: basic graphviz support
Test #17: Commit f616a4e pushed by jsfpdn
April 2, 2024 05:25 23s main
April 2, 2024 05:25 23s
refac: introduces workspaces
Test #16: Commit 1657428 pushed by jsfpdn
April 1, 2024 12:11 16s main
April 1, 2024 12:11 16s
refac: structs, explicit lifetimes
Test #15: Commit 9cb34db pushed by jsfpdn
April 1, 2024 11:53 25s main
April 1, 2024 11:53 25s
refac: structs, explicit lifetimes
Test #14: Commit 458880a pushed by jsfpdn
March 31, 2024 19:06 12s main
March 31, 2024 19:06 12s
refac: store only decision nodes in unique_table
Test #13: Commit 0218f9b pushed by jsfpdn
March 4, 2024 08:24 16s main
March 4, 2024 08:24 16s
add: pre-commit, temporarily suppress clippy warnings
Test #12: Commit 77bfee8 pushed by jsfpdn
March 2, 2024 15:07 12s main
March 2, 2024 15:07 12s
add: pre-commit, temporarily suppress clippy warnings
Test #11: Commit ccdf614 pushed by jsfpdn
March 2, 2024 14:51 12s main
March 2, 2024 14:51 12s
sdd: children of SddOr stored in BTreeSet instead of Vec
Test #10: Commit 29d82e7 pushed by jsfpdn
March 2, 2024 14:21 17s main
March 2, 2024 14:21 17s
sdd: children of SddOr stored in BTreeSet instead of Vec
Test #9: Commit 29b584d pushed by jsfpdn
March 2, 2024 14:12 31s main
March 2, 2024 14:12 31s
sdd: refac: move tests to standalone file
Test #8: Commit ef01de2 pushed by jsfpdn
February 26, 2024 14:37 20s main
February 26, 2024 14:37 20s
refac: project layout (lib + bin)
Test #7: Commit b36b676 pushed by jsfpdn
February 26, 2024 14:26 13s main
February 26, 2024 14:26 13s
add: cargo fmt --check github action
Test #6: Commit 05139e0 pushed by jsfpdn
February 26, 2024 06:34 24s main
February 26, 2024 06:34 24s
fix: sort imports, docstring, refactor common logic
Test #5: Commit cf5440f pushed by jsfpdn
February 25, 2024 20:47 14s main
February 25, 2024 20:47 14s