Skip to content

Actions: ufmg-smite/carcara

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
301 workflow runs
301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding discard_context rule and some minor fixes in Alethe.eo CI #351: Commit 4a3c2dd pushed by Mallku2
November 27, 2024 14:51 2m 8s translation
translation
November 27, 2024 14:51 2m 8s
[rules] [clausification, tautologies] Support for arguments CI #350: Pull request #48 synchronize by HanielB
November 27, 2024 13:41 1m 58s HanielB:indexed-rules
HanielB:indexed-rules
November 27, 2024 13:41 1m 58s
[rules] [clausification, tautologies] Support for arguments CI #349: Pull request #48 synchronize by HanielB
November 27, 2024 13:26 1m 58s HanielB:indexed-rules
HanielB:indexed-rules
November 27, 2024 13:26 1m 58s
add a checking step with carcara, in gen_proof_certs.sh; using releas… CI #348: Commit fa56587 pushed by Mallku2
November 24, 2024 23:39 2m 3s translation
translation
November 24, 2024 23:39 2m 3s
Fixes to adato to changes in ProblemPrelude CI #347: Commit b6c201c pushed by Mallku2
November 24, 2024 21:53 2m 5s translation
translation
November 24, 2024 21:53 2m 5s
Add option to parse arguments to hole rule CI #346: Commit 1fbeff7 pushed by Mallku2
November 24, 2024 21:27 1m 57s translation
translation
November 24, 2024 21:27 1m 57s
improvements in scope management; minor fixes in some rules' declarat… CI #345: Commit cb8548c pushed by Mallku2
November 24, 2024 01:43 2m 40s translation
translation
November 24, 2024 01:43 2m 40s
[rules] [clausification, tautologies] Support for arguments CI #344: Pull request #48 opened by HanielB
November 22, 2024 18:16 3m 13s HanielB:indexed-rules
HanielB:indexed-rules
November 22, 2024 18:16 3m 13s
improving translation of subproof rule CI #343: Commit 42fcde5 pushed by Mallku2
November 19, 2024 17:50 2m 1s translation
translation
November 19, 2024 17:50 2m 1s
translation of subproof rule: added one steppop for each assumption CI #342: Commit ff5a946 pushed by Mallku2
November 19, 2024 03:58 2m 3s translation
translation
November 19, 2024 03:58 2m 3s
fixes in reordering from post-order to pre-order CI #341: Commit d1c1049 pushed by Mallku2
November 19, 2024 01:31 2m 1s translation
translation
November 19, 2024 01:31 2m 1s
added binders: forall; fixed rules: subproof, forall_inst CI #340: Commit 883ed2e pushed by Mallku2
November 13, 2024 23:30 2m 4s translation
translation
November 13, 2024 23:30 2m 4s
Properly handle all SMT-LIB commands CI #339: Commit 17b8754 pushed by bpandreotti
November 13, 2024 12:39 1m 58s restrict-commands
restrict-commands
November 13, 2024 12:39 1m 58s
several minor fixes in Alethe signature CI #338: Commit 121793a pushed by Mallku2
November 7, 2024 21:39 2m 9s translation
translation
November 7, 2024 21:39 2m 9s
adding representation of empty clauses CI #337: Commit 363c3aa pushed by Mallku2
November 2, 2024 00:31 1m 58s translation
translation
November 2, 2024 00:31 1m 58s
minor fixes in Alethe signature: rules and, or CI #336: Commit b89bc0f pushed by Mallku2
November 1, 2024 14:31 2m 6s translation
translation
November 1, 2024 14:31 2m 6s
transpiler: more fixes related to translation of operators; added Ale… CI #335: Commit c4ea520 pushed by Mallku2
October 31, 2024 19:29 2m 5s translation
translation
October 31, 2024 19:29 2m 5s
Transpiler: fixes in transpilation of steps refl and let_elim CI #334: Commit 9323724 pushed by Mallku2
October 29, 2024 01:08 2m 6s translation
translation
October 29, 2024 01:08 2m 6s
Add option to parse arguments to hole rule CI #333: Commit ae844d1 pushed by bpandreotti
October 18, 2024 12:59 2m 9s main
main
October 18, 2024 12:59 2m 9s
Pretty printer. Modified tests for EunoiaTranslator, using Printer. S… CI #332: Commit d30754f pushed by Mallku2
October 18, 2024 04:11 1m 59s translation
translation
October 18, 2024 04:11 1m 59s
[rules] [strings] Add support for some core Strings theory rules that… CI #331: Commit fdd8ac7 pushed by bpandreotti
October 16, 2024 16:11 2m 5s main
main
October 16, 2024 16:11 2m 5s
[rules] [strings] Add support for some core Strings theory rules that reason about Regular expressions CI #330: Pull request #46 synchronize by vinisilvag
October 16, 2024 14:12 1m 58s vinisilvag:some-re-core-rules
vinisilvag:some-re-core-rules
October 16, 2024 14:12 1m 58s
[rules] [strings] Add support for some core Strings theory rules that reason about Regular expressions CI #329: Pull request #46 synchronize by vinisilvag
October 16, 2024 14:03 2m 1s vinisilvag:some-re-core-rules
vinisilvag:some-re-core-rules
October 16, 2024 14:03 2m 1s
Don't ignore arguments to hole rule CI #328: Commit 16adacd pushed by bpandreotti
October 15, 2024 20:28 2m 2s main
main
October 15, 2024 20:28 2m 2s
Don't allow polyequal outside assumes CI #327: Commit 4428b4b pushed by bpandreotti
October 15, 2024 17:35 2m 0s isabelle-mode
isabelle-mode
October 15, 2024 17:35 2m 0s