Rust · Workflow runs · cucapra/patronus · GitHub

Actions

Rust

Actions

Loading...
Loading

184 workflow runs

184 workflow runs

sca: try to detect FAs Rust #813: Commit 26b0278 pushed by ekiwi

2m 59s sca

sca

2m 59s

simplify: detect xor Rust #812: Commit 54d1aa4 pushed by ekiwi

3m 4s sca

sca

3m 4s

update the simplifier Rust #811: Commit 61741b3 pushed by ekiwi

3m 3s sca

sca

3m 3s

inputs: improve variable names Rust #810: Commit 6bbd426 pushed by ekiwi

3m 4s sca

sca

3m 4s

simplify: detect xor for aig Rust #809: Commit e0a21ab pushed by ekiwi

3m 6s sca

sca

3m 6s

sca: print gate statistics Rust #808: Commit 68c87c0 pushed by ekiwi

2m 56s sca

sca

2m 56s

sca: print same inputs Rust #807: Commit 9b0e20d pushed by ekiwi

2m 58s sca

sca

2m 58s

sca: compute more statistics Rust #806: Commit 5f72e5e pushed by ekiwi

3m 0s sca

sca

3m 0s

sca: wip Rust #805: Commit 1fae366 pushed by ekiwi

3m 0s sca

sca

3m 0s

sca: wip Rust #804: Commit 084ebd5 pushed by ekiwi

3m 5s sca

sca

3m 5s

sca: wip Rust #803: Commit c7e2e07 pushed by ekiwi

2m 57s sca

sca

2m 57s

simplify tool: simplify gate level before performing backwards sub Rust #802: Commit fcd4968 pushed by ekiwi

2m 58s sca

sca

2m 58s

sca: only replace constant one when necessary Rust #801: Commit 0a165fb pushed by ekiwi

3m 1s sca

sca

3m 1s

sca: test witness generation Rust #800: Commit 5bca067 pushed by ekiwi

3m 1s sca

sca

3m 1s

integrate sca into the simplify tool Rust #799: Commit 9c7e2d2 pushed by ekiwi

2m 57s sca

sca

2m 57s

sca: add witness support + simplify candidate search Rust #798: Commit e6c9d44 pushed by ekiwi

3m 1s sca

sca

3m 1s

sca: wip generate model Rust #797: Commit 839d164 pushed by ekiwi

3m 0s sca

sca

3m 0s

sca benchmarks and implementation Rust #796: Commit e1d487e pushed by ekiwi

2m 57s sca

sca

2m 57s

bump version for development Rust #795: Commit 7c4f6dd pushed by ekiwi

3m 2s main

main

3m 2s

fix warnings, reformat, fix smt parser bug Rust #794: Commit 3267db1 pushed by ekiwi

2m 58s v0.35.0

v0.35.0

2m 58s

fix warnings, reformat, fix smt parser bug Rust #793: Commit 3267db1 pushed by ekiwi

3m 0s main

main

3m 0s

clippy fixes Rust #792: Commit 07ad2f7 pushed by ekiwi

2m 58s main

main

2m 58s

various improvements and fixes from the sca branch Rust #791: Commit fc1c55b pushed by ekiwi

2m 56s main

main

2m 56s

various improvements and fixes from the sca branch Rust #790: Commit 11c6c4d pushed by ekiwi

2m 59s main

main

2m 59s

various improvements and bug fixes Rust #789: Commit 8b995ff pushed by ekiwi

3m 1s main

main

3m 1s