Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: augustomafra/smt-switch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support Floating-Point theory on Bitwuzla CI #21: Commit 3696b5f pushed by augustomafra
33m 22s bitwuzla_floating_point_theory
bitwuzla_floating_point_theory
33m 22s
FP gt and geq must return false if any operand is NaN CI #20: Commit 5d861d5 pushed by augustomafra
23m 41s msat_floating_point_theory
msat_floating_point_theory
23m 41s
Support Floating-Point theory on Bitwuzla CI #19: Commit e350743 pushed by augustomafra
22m 27s bitwuzla_floating_point_theory
bitwuzla_floating_point_theory
22m 27s
Convert all FP rounding mode values in term translator CI #18: Commit 4850ddc pushed by augustomafra
40m 12s msat_floating_point_theory
msat_floating_point_theory
40m 12s
Skip type cast from int to real in MathSAT CI #17: Commit 75938a1 pushed by augustomafra
40m 25s msat_fix
msat_fix
40m 25s
Implement smt-switch terms for FP special values (inf, nan, +zero, -z… CI #16: Commit 95dfc7a pushed by augustomafra
23m 44s floating_point_theory_v2
floating_point_theory_v2
23m 44s
Filter out FP rounding mode values from MsatTerm::is_symbol CI #15: Commit 1dd8835 pushed by augustomafra
23m 7s msat_floating_point_theory
msat_floating_point_theory
23m 7s
Implement initial support for term translator for FP terms CI #14: Commit 7a8dec7 pushed by augustomafra
42m 33s msat_floating_point_theory
msat_floating_point_theory
42m 33s
Skip type cast from int to real in MathSAT CI #13: Commit e9f3e8d pushed by augustomafra
49m 8s msat_fix
msat_fix
49m 8s
Implement Cvc5Solver::make_sort for cvc5 rounding mode sort CI #12: Commit fcde1bd pushed by augustomafra
48m 35s floating_point_theory_v2
floating_point_theory_v2
48m 35s
Skip type cast from int to real in MathSAT CI #11: Commit 4022ebc pushed by augustomafra
55m 12s msat_fix
msat_fix
55m 12s
Implement arity and string conversions to FP operations CI #10: Commit b50c8c9 pushed by augustomafra
1h 5m 27s floating_point_theory_v2
floating_point_theory_v2
1h 5m 27s
Update VERSION to 1.0.1 CI #9: Commit fe97dec pushed by augustomafra
56m 38s main
main
56m 38s
Update VERSION to 1.0.1 Automatically Draft a Release on Version Bump #1: Commit fe97dec pushed by augustomafra
55s main
main
55s
Merge branch 'main' into floating_point_theory_v2 CI #8: Commit c462a31 pushed by augustomafra
48m 11s floating_point_theory_v2
floating_point_theory_v2
48m 11s
Skip type cast from int to real in MathSAT CI #7: Commit 869b188 pushed by augustomafra
23m 30s msat_fix
msat_fix
23m 30s
Merge branch 'main' into floating_point_theory_v2 CI #6: Commit 5ed5885 pushed by CyanoKobalamyne
25m 22s floating_point_theory_v2
floating_point_theory_v2
25m 22s
Merge branch 'main' into floating_point_theory_v2 CI #5: Commit 4025cf5 pushed by augustomafra
23m 24s floating_point_theory_v2
floating_point_theory_v2
23m 24s
Handle MathSat type mismatch on ite with integer and rational branches CI #4: Commit 1e3e97f pushed by augustomafra
26m 22s msat_fix
msat_fix
26m 22s
Implement arity and string conversions to FP operations CI #3: Commit 6c39666 pushed by augustomafra
28m 25s floating_point_theory_v2
floating_point_theory_v2
28m 25s
Implement arity and string conversions to FP operations CI #2: Commit 810604b pushed by augustomafra
28m 37s floating_point_theory
floating_point_theory
28m 37s
Expose method for creating RoundingMode terms CI #1: Commit 90a6641 pushed by augustomafra
26m 11s floating_point_theory
floating_point_theory
26m 11s