Skip to content

Actions: shaobo-he/fp-sls.rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #2 from shaobo-he/ite-support Rust #20: Commit 5ad4e27 pushed by shaobo-he
2m 30s main
main
2m 30s
dag: support term-level if-then-else (ite) Rust #19: Pull request #2 opened by shaobo-he
2m 29s ite-support
ite-support
2m 29s
Fix all clippy warnings Rust #18: Commit d337819 pushed by shaobo-he
2m 19s main
main
2m 19s
Merge pull request #1 from shaobo-he/f64-scoring Rust #17: Commit 867a4f9 pushed by shaobo-he
2m 36s main
main
2m 36s
Add --f64-score: approximate f64 scoring with exact sat-gate Rust #16: Pull request #1 synchronize by shaobo-he
2m 17s f64-scoring
f64-scoring
2m 17s
Add --f64-score: approximate f64 scoring with exact sat-gate Rust #15: Pull request #1 synchronize by shaobo-he
2m 35s f64-scoring
f64-scoring
2m 35s
Add --f64-score: approximate f64 scoring with exact sat-gate Rust #14: Pull request #1 opened by shaobo-he
2m 20s f64-scoring
f64-scoring
2m 20s
README: SMT-COMP 2025 QF_FP evaluation + cvc5 model validation + DAG Rust #13: Commit f8e37de pushed by shaobo-he
2m 25s main
main
2m 25s
Score the search through the DAG; build from get_formula (fixes prepr… Rust #12: Commit 4ab741a pushed by shaobo-he
2m 25s main
main
2m 25s
dag: SLS-facing API (buffered scorer, per-assert vars, models) + size… Rust #11: Commit eb11ab4 pushed by shaobo-he
2m 28s main
main
2m 28s
Add hash-consed DAG formula representation (scoring core) Rust #10: Commit 383ccc2 pushed by shaobo-he
2m 19s main
main
2m 19s
sls: score neighbors in place instead of cloning the assignment Rust #9: Commit a9a848b pushed by shaobo-he
2m 25s main
main
2m 25s
z3: cap each call's time (-T:60) and memory (-memory:2048) Rust #8: Commit 9e50b5e pushed by shaobo-he
2m 36s main
main
2m 36s
Honor FP rounding modes + enumerate RoundingMode variables Rust #7: Commit 63538dd pushed by shaobo-he
2m 27s main
main
2m 27s
z3: strip (exit)/(get-model) before appending the tactic Rust #6: Commit 51e6800 pushed by shaobo-he
2m 26s main
main
2m 26s
Add default z3 simplification preprocessing (jfs-opt equivalent) Rust #5: Commit ff9bcab pushed by shaobo-he
2m 21s main
main
2m 21s
Add --stats: report steps-to-solution on sat (for algorithm comparison) Rust #4: Commit ae7567f pushed by shaobo-he
2m 7s main
main
2m 7s
docs: update Racket comparison — z3-compat fixed, all-flags parity 50/51 Rust #3: Commit 2975022 pushed by shaobo-he
2m 22s main
main
2m 22s
z3: make --elim-eqs sound for inputs without (check-sat) Rust #2: Commit 62c143c pushed by shaobo-he
2m 23s main
main
2m 23s
Create rust.yml Rust #1: Commit 7682e1e pushed by shaobo-he
2m 33s main
main
2m 33s