Skip to content

Actions: cvc5/ethos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
549 workflow runs
549 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of https://github.com/ajreynol/AletheLF-tc CI #640: Commit a15cd9e pushed by ajreynol
June 24, 2024 14:22 38s main
main
June 24, 2024 14:22 38s
Merge pull request #51 from cvc5/rmStrictParse CI #639: Commit 7304526 pushed by ajreynol
June 23, 2024 21:41 29s main
main
June 23, 2024 21:41 29s
Remove strict parse option CI #638: Pull request #51 synchronize by ajreynol
June 23, 2024 21:35 37s rmStrictParse
rmStrictParse
June 23, 2024 21:35 37s
Remove strict parse option CI #637: Pull request #51 opened by ajreynol
June 23, 2024 21:30 29s rmStrictParse
rmStrictParse
June 23, 2024 21:30 29s
Merge pull request #50 from cvc5/rmDeclareFun CI #636: Commit e6456e9 pushed by ajreynol
June 23, 2024 21:27 39s main
main
June 23, 2024 21:27 39s
Demote more smt2 commands CI #635: Pull request #50 synchronize by ajreynol
June 23, 2024 21:26 40s rmDeclareFun
rmDeclareFun
June 23, 2024 21:26 40s
Demote more smt2 commands CI #634: Pull request #50 synchronize by ajreynol
June 23, 2024 21:24 39s rmDeclareFun
rmDeclareFun
June 23, 2024 21:24 39s
Demote more smt2 commands CI #633: Pull request #50 synchronize by ajreynol
June 23, 2024 21:18 33s rmDeclareFun
rmDeclareFun
June 23, 2024 21:18 33s
Demote more smt2 commands CI #632: Pull request #50 opened by ajreynol
June 23, 2024 21:16 40s rmDeclareFun
rmDeclareFun
June 23, 2024 21:16 40s
Update TODO CI #631: Commit ff1e315 pushed by ajreynol
June 23, 2024 20:37 37s main
main
June 23, 2024 20:37 37s
Minor CI #630: Commit f2d4c8f pushed by ajreynol
June 21, 2024 22:23 32s main
main
June 21, 2024 22:23 32s
More CI #629: Commit bd2149f pushed by ajreynol
June 21, 2024 15:36 10m 8s main
main
June 21, 2024 15:36 10m 8s
Addressing comments for user manual CI #628: Commit 2ef4b5d pushed by ajreynol
June 21, 2024 15:33 12m 1s main
main
June 21, 2024 15:33 12m 1s
Merge pull request #47 from cvc5/rmDefineFun CI #627: Commit 4007aeb pushed by ajreynol
June 21, 2024 10:27 31s main
main
June 21, 2024 10:27 31s
Merge pull request #48 from cvc5/genDeclareRule CI #626: Commit b75c616 pushed by ajreynol
June 21, 2024 10:23 38s main
main
June 21, 2024 10:23 38s
Check that the type of the conclusion term is actually "Bool" CI #625: Pull request #35 synchronize by hansjoergschurr
June 20, 2024 21:35 52s hansjoergschurr:devel/bool-conc
hansjoergschurr:devel/bool-conc
June 20, 2024 21:35 52s
Downgrade define-fun to an smt2 command CI #624: Pull request #47 synchronize by ajreynol
June 19, 2024 15:04 58s rmDefineFun
rmDefineFun
June 19, 2024 15:04 58s
Make syntax for declare-rule and program extensible CI #623: Pull request #48 synchronize by ajreynol
June 14, 2024 13:46 32s genDeclareRule
genDeclareRule
June 14, 2024 13:46 32s
Make syntax for declare-rule and program extensible CI #622: Pull request #48 synchronize by ajreynol
June 14, 2024 13:43 32s genDeclareRule
genDeclareRule
June 14, 2024 13:43 32s
Make syntax for declare-rule and program extensible CI #621: Pull request #48 opened by ajreynol
June 14, 2024 13:39 37s genDeclareRule
genDeclareRule
June 14, 2024 13:39 37s
Downgrade define-fun to an smt2 command CI #620: Pull request #47 synchronize by ajreynol
June 14, 2024 12:34 39s rmDefineFun
rmDefineFun
June 14, 2024 12:34 39s
Downgrade define-fun to an smt2 command CI #619: Pull request #47 synchronize by ajreynol
June 14, 2024 12:02 32s rmDefineFun
rmDefineFun
June 14, 2024 12:02 32s
Downgrade define-fun to an smt2 command CI #618: Pull request #47 synchronize by ajreynol
June 14, 2024 11:39 34s rmDefineFun
rmDefineFun
June 14, 2024 11:39 34s
Downgrade define-fun to an smt2 command CI #617: Pull request #47 synchronize by ajreynol
June 14, 2024 11:38 29s rmDefineFun
rmDefineFun
June 14, 2024 11:38 29s
Downgrade define-fun to an smt2 command CI #616: Pull request #47 synchronize by ajreynol
June 14, 2024 11:33 34s rmDefineFun
rmDefineFun
June 14, 2024 11:33 34s
ProTip! You can narrow down the results and go further in time using created:<2024-06-14 or the other filters available.