Skip to content

Actions: cvc5/ethos

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
72 workflow run results
72 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update syntax CI #512: Commit 0260978 pushed by ajreynol
March 29, 2024 21:17 40s main
main
March 29, 2024 21:17 40s
Fix issue with refcount CI #511: Commit 2149e12 pushed by ajreynol
March 29, 2024 21:11 43s main
main
March 29, 2024 21:11 43s
Fix CI #510: Commit 0f87ca8 pushed by ajreynol
March 29, 2024 20:22 44s main
main
March 29, 2024 20:22 44s
Fix nil terminator CI #509: Commit e5a9907 pushed by ajreynol
March 29, 2024 19:58 54s main
main
March 29, 2024 19:58 54s
Parameterized simplifies CI #508: Commit c4c11c8 pushed by ajreynol
March 29, 2024 19:45 1m 2s main
main
March 29, 2024 19:45 1m 2s
Update user manual CI #507: Commit b599e6d pushed by ajreynol
March 29, 2024 18:49 1m 6s main
main
March 29, 2024 18:49 1m 6s
Merge pull request #32 from cvc5/ngroundNilParam CI #506: Commit 63148e6 pushed by ajreynol
March 29, 2024 18:46 50s main
main
March 29, 2024 18:46 50s
Introduce parameterized constants CI #505: Pull request #32 opened by ajreynol
March 29, 2024 15:59 1m 6s ngroundNilParam
ngroundNilParam
March 29, 2024 15:59 1m 6s
Fix evaluator for substr CI #504: Commit a29b63e pushed by ajreynol
March 28, 2024 17:34 45s main
main
March 28, 2024 17:34 45s
Improve CI #503: Commit 088826a pushed by ajreynol
March 28, 2024 17:02 1m 12s main
main
March 28, 2024 17:02 1m 12s
Minor CI #502: Commit 669955b pushed by ajreynol
March 27, 2024 21:38 13m 37s main
main
March 27, 2024 21:38 13m 37s
Clarifying to_str CI #501: Commit d998475 pushed by ajreynol
March 27, 2024 15:45 53s main
main
March 27, 2024 15:45 53s
Do not lex ? CI #500: Commit 112e96b pushed by ajreynol
March 26, 2024 16:37 1m 6s main
main
March 26, 2024 16:37 1m 6s
Support alf.nameof CI #499: Commit e9c6ebc pushed by ajreynol
March 26, 2024 16:08 56s main
main
March 26, 2024 16:08 56s
Minor CI #498: Commit 3c3ca3f pushed by ajreynol
March 26, 2024 16:01 50s main
main
March 26, 2024 16:01 50s
Possible implementation for dependent nil terminators CI #497: Pull request #31 opened by ajreynol
March 25, 2024 22:23 38s ngroundNilW
ngroundNilW
March 25, 2024 22:23 38s
Fix arity CI #496: Commit cc14dce pushed by ajreynol
March 25, 2024 22:14 1m 31s main
main
March 25, 2024 22:14 1m 31s
minor CI #495: Commit 5284e05 pushed by ajreynol
March 25, 2024 16:22 1m 3s main
main
March 25, 2024 16:22 1m 3s
Add support for alf.var CI #494: Commit cfbe1af pushed by ajreynol
March 23, 2024 16:37 38s main
main
March 23, 2024 16:37 38s
Implement CI #493: Commit 41d3749 pushed by ajreynol
March 22, 2024 19:27 3m 15s main
main
March 22, 2024 19:27 3m 15s
Add support for --no-parse-let CI #492: Commit 3dd6768 pushed by ajreynol
March 22, 2024 19:26 3m 27s main
main
March 22, 2024 19:26 3m 27s
Merge pull request #30 from cvc5/updateNilSyntax2 CI #491: Commit 59264b1 pushed by ajreynol
March 22, 2024 14:51 1m 6s main
main
March 22, 2024 14:51 1m 6s
Update syntax for nil/emptylist to null/nil. CI #490: Pull request #30 synchronize by ajreynol
March 22, 2024 14:05 46s updateNilSyntax2
updateNilSyntax2
March 22, 2024 14:05 46s
Update syntax for nil/emptylist to null/nil. CI #489: Pull request #30 opened by ajreynol
March 22, 2024 14:03 51s updateNilSyntax2
updateNilSyntax2
March 22, 2024 14:03 51s
Merge pull request #29 from hansjoergschurr/devel/run-return CI #488: Commit c934e42 pushed by ajreynol
March 19, 2024 20:12 45m 15s main
main
March 19, 2024 20:12 45m 15s