Skip to content

Actions: ufmg-smite/lean-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 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
fix: ARITH_MULT_ABS_COMPARISON premise extraction + ARITH_REDUCTION mod support CI #905: Pull request #231 opened by Gy-Hu
Action required Gy-Hu:fix/arith-reconstruction
Gy-Hu:fix/arith-reconstruction
Action required
remove log CI #904: Commit d8170bb pushed by tomaz1502
11m 30s nl-univariate
nl-univariate
11m 30s
Add option to decide with native CI #903: Commit 6f99339 pushed by tomaz1502
11m 28s nl-univariate
nl-univariate
11m 28s
Use normNum instead of grind CI #902: Commit bfea4e7 pushed by tomaz1502
11m 19s nl-univariate
nl-univariate
11m 19s
remove several evalExpr, one genPfSorted and improve lift_ineq CI #901: Commit ea3740b pushed by tomaz1502
11m 19s nl-univariate
nl-univariate
11m 19s
Add timing info. CI #900: Commit 466a35b pushed by abdoo8080
5m 28s finite-fields
finite-fields
5m 28s
Minor changes to Bool embedding step. CI #899: Commit 95eff99 pushed by abdoo8080
5m 56s finite-fields
finite-fields
5m 56s
Fix bug on AlgebraicNumber/Order CI #898: Commit 0924d2e pushed by tomaz1502
11m 35s nl-univariate
nl-univariate
11m 35s
modify tests file CI #897: Commit 6a887fe pushed by tomaz1502
10m 38s nl-univariate
nl-univariate
10m 38s
Remove evalExpr from lift_ineq CI #896: Commit af05776 pushed by tomaz1502
9m 49s nl-univariate
nl-univariate
9m 49s
Synthesize Decidable instances under a local Classical scope. CI #895: Commit 226b741 pushed by abdoo8080
5m 23s finite-fields
finite-fields
5m 23s
Fix subtle Bool/Prop typo. CI #894: Commit 690142e pushed by abdoo8080
5m 37s finite-fields
finite-fields
5m 37s
Merge branch 'finite-fields' of https://github.com/ufmg-smite/lean-sm… CI #893: Commit c956925 pushed by limpa105
5m 32s finite-fields
finite-fields
5m 32s
Do not delete local instances. CI #892: Commit 4f632a7 pushed by abdoo8080
6m 18s finite-fields
finite-fields
6m 18s
Fix distinct-values issues. CI #891: Commit 858e6cb pushed by abdoo8080
6m 22s finite-fields
finite-fields
6m 22s
added let to benchmarks CI #890: Commit 920173c pushed by limpa105
5m 31s finite-fields
finite-fields
5m 31s
Enable let simplification. CI #889: Commit 1744e49 pushed by abdoo8080
5m 26s finite-fields
finite-fields
5m 26s
Fin embeddings in preprocessing CI #888: Pull request #229 opened by dranov
6m 22s verse-lab:fin-embedding-as-int
verse-lab:fin-embedding-as-int
6m 22s
no unsat to speed things up CI #887: Commit ed2a83f pushed by limpa105
5m 9s finite-fields
finite-fields
5m 9s
set option max heart beat CI #886: Commit 1f6ba8d pushed by limpa105
5m 31s finite-fields
finite-fields
5m 31s
better prime name CI #885: Commit 9932a91 pushed by limpa105
5m 30s finite-fields
finite-fields
5m 30s
added decidable to benchmarks CI #884: Commit b5820cb pushed by limpa105
5m 41s finite-fields
finite-fields
5m 41s
Fix bugs in failing examples. CI #883: Commit 5c0e3aa pushed by abdoo8080
5m 41s finite-fields
finite-fields
5m 41s
Fix bugs in failing examples. CI #882: Commit 06ae349 pushed by abdoo8080
5m 34s finite-fields
finite-fields
5m 34s
Sync with main branch. CI #881: Commit e83b436 pushed by abdoo8080
5m 29s finite-fields
finite-fields
5m 29s