Skip to content

Actions: cvc5/ethos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,059 workflow runs
2,059 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Letify working CI #2938: Commit e2f0d90 pushed by ajreynol
2m 40s smtMeta
smtMeta
2m 40s
Lets CI #2937: Commit f3d82dc pushed by ajreynol
2m 47s smtMeta
smtMeta
2m 47s
Implement remaining CI #2936: Commit 578a4dc pushed by ajreynol
3m 1s smtMeta
smtMeta
3m 1s
Update to extensionality for maps, fixes CI #2935: Commit a01e0be pushed by ajreynol
3m 54s smtMeta
smtMeta
3m 54s
Fix sygus, generalize scripts CI #2934: Commit c7d74c0 pushed by ajreynol
2m 48s smtMeta
smtMeta
2m 48s
Fix mutual recursion in dt CI #2933: Commit 2018f99 pushed by ajreynol
2m 38s smtMeta
smtMeta
2m 38s
Include scope in signature, add spec/model to lean_meta standalone CI #2932: Commit c4c821a pushed by ajreynol
2m 51s smtMeta
smtMeta
2m 51s
Update to Nat for symbol indices CI #2931: Commit 6c9bee9 pushed by ajreynol
2m 54s smtMeta
smtMeta
2m 54s
Spec is trivially terminating CI #2930: Commit 9a51c9b pushed by ajreynol
2m 42s smtMeta
smtMeta
2m 42s
Format CI #2929: Commit 660b3bb pushed by ajreynol
6m 41s smtMeta
smtMeta
6m 41s
Add nat, proves trivial structural termination for smt model eval CI #2928: Commit d932cce pushed by ajreynol
3m 50s smtMeta
smtMeta
3m 50s
More cases towards structural induction for eo_to_smt CI #2927: Commit bf2134f pushed by ajreynol
2m 43s smtMeta
smtMeta
2m 43s
Setting up trivial structural induction for smt model eval CI #2926: Commit 1721c6b pushed by ajreynol
3m 0s smtMeta
smtMeta
3m 0s
Reduce updaters, refactor CI #2925: Commit 8a407d4 pushed by ajreynol
2m 43s smtMeta
smtMeta
2m 43s
Fixes, equality and ite are SMT builtin. Use overload semantics for t… CI #2924: Commit 97293c4 pushed by ajreynol
2m 32s smtMeta
smtMeta
2m 32s
Wrongly applied selectors CI #2923: Commit fb31a61 pushed by ajreynol
2m 47s smtMeta
smtMeta
2m 47s
Update partial def, spec CI #2922: Commit 401232c pushed by ajreynol
2m 43s smtMeta
smtMeta
2m 43s
Fix sygus, correct 2 bugs in bv smt model CI #2921: Commit 0142048 pushed by ajreynol
3m 25s smtMeta
smtMeta
3m 25s
Handle partial semantics, update naming conventions CI #2920: Commit 3d1979a pushed by ajreynol
3m 13s smtMeta
smtMeta
3m 13s
Format CI #2919: Commit 7c01765 pushed by ajreynol
5m 13s smtMeta
smtMeta
5m 13s
Change literal evaluation for bv operators not to rely on recursive i… CI #2918: Commit 8dbc1c5 pushed by ajreynol
3m 2s smtMeta
smtMeta
3m 2s
Generalize smt model semantics to include model CI #2917: Commit 9366dd0 pushed by ajreynol
2m 45s smtMeta
smtMeta
2m 45s
Exponentiation, reenable itos result CI #2916: Commit f433b3a pushed by ajreynol
2m 51s smtMeta
smtMeta
2m 51s
Fixes CI #2915: Commit dced383 pushed by ajreynol
3m 5s smtMeta
smtMeta
3m 5s
Rm unecessary CI #2914: Commit d01e772 pushed by ajreynol
3m 15s smtMeta
smtMeta
3m 15s