Skip to content

Actions: remigerme/mutaig

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
70 workflow runs
70 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
n_vars Rust #70: Commit c11e09b pushed by remigerme
19s main
main
19s
new behavior for nodes equality (order of fanins are not relevant) Rust #69: Commit 7c821ed pushed by remigerme
25s main
main
25s
clear fanouts (when node replaced) Rust #68: Commit 3d26ed0 pushed by remigerme
34s main
main
34s
v0.4.2 aiger compatibility (needed for exps) Rust #67: Commit 3f98c63 pushed by remigerme
23s main
main
23s
check_valid_aiger Rust #66: Commit 6b6d616 pushed by remigerme
19s main
main
19s
minimize_ids aiger compatible Rust #65: Commit 03dfd43 pushed by remigerme
18s main
main
18s
version bump v0.4.1 : various bug fixes Rust #64: Commit 46481cd pushed by remigerme
13s main
main
13s
fix a bug invalidating fanouts when minimizing ids Rust #63: Commit 3909a12 pushed by remigerme
25s main
main
25s
testing add node id=0 Rust #62: Commit 26e73d8 pushed by remigerme
20s main
main
20s
removing dbg info Rust #61: Commit 5642b74 pushed by remigerme
32s main
main
32s
getters for converting cnf to other cnf repr Rust #60: Commit c9ecfec pushed by remigerme
35s main
main
35s
test for eq, invert_edge and reorder_fanins Rust #59: Commit f38325e pushed by remigerme
13s main
main
13s
bug fix: no longer using merged_a when extracting cnf Rust #58: Commit 5f16cf2 pushed by remigerme
14s main
main
14s
version bump v0.4.0 : negate node with fanouts Rust #57: Commit 8fba0b0 pushed by remigerme
14s main
main
14s
lib docs Rust #56: Commit 3e3db14 pushed by remigerme
19s main
main
19s
removing dbg info Rust #55: Commit e88d34b pushed by remigerme
15s main
main
15s
don't forget to update output edge if replacing by a complemented node Rust #54: Commit 9970c4f pushed by remigerme
25s main
main
25s
deep clone Rust #53: Commit 6f514b0 pushed by remigerme
19s main
main
19s
debug info for dot Rust #52: Commit df5ab87 pushed by remigerme
18s main
main
18s
clickable url Rust #51: Commit 2cb1adc pushed by remigerme
24s main
main
24s
removing dbg info Rust #50: Commit edcaf4f pushed by remigerme
20s main
main
20s
version bump for dot feature Rust #49: Commit a0cafcf pushed by remigerme
25s main
main
25s
docs for dot Rust #48: Commit 73215f0 pushed by remigerme
21s main
main
21s
nicer graphviz + miter repr Rust #47: Commit 9aa17a8 pushed by remigerme
25s main
main
25s
using subgraphs for better manual edits Rust #46: Commit 62d5808 pushed by remigerme
32s main
main
32s