Skip to content

Actions: ufmg-smite/carcara

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
301 workflow runs
301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[rules] [strings] Add support for the String length core rules and extend PolyeqComparator for String comparisons CI #301: Pull request #44 synchronize by vinisilvag
August 19, 2024 22:28 1m 59s vinisilvag:string-length-core-rules
vinisilvag:string-length-core-rules
August 19, 2024 22:28 1m 59s
[rules] [strings] Add support for the String length core rules and extend PolyeqComparator for String comparisons CI #300: Pull request #44 synchronize by vinisilvag
August 19, 2024 22:09 1m 53s vinisilvag:string-length-core-rules
vinisilvag:string-length-core-rules
August 19, 2024 22:09 1m 53s
Fix formatting CI #299: Commit c1b6cd5 pushed by bpandreotti
August 13, 2024 19:16 2m 9s main
main
August 13, 2024 19:16 2m 9s
Fix let term semantics CI #298: Commit de9c1d0 pushed by bpandreotti
August 13, 2024 19:09 2m 11s main
main
August 13, 2024 19:09 2m 11s
Fix formatting CI #297: Commit c38f453 pushed by bpandreotti
August 13, 2024 17:34 2m 37s main
main
August 13, 2024 17:34 2m 37s
Replace remaining or_intros with weakening CI #296: Commit f3bb55d pushed by bpandreotti
August 13, 2024 17:30 3m 35s main
main
August 13, 2024 17:30 3m 35s
Replace remaining or_intros with weakening CI #295: Commit f3bb55d pushed by bpandreotti
August 13, 2024 17:30 3m 8s journal-paper
journal-paper
August 13, 2024 17:30 3m 8s
Add graph-based representation for proof CI #294: Commit d05c152 pushed by bpandreotti
August 13, 2024 13:07 1m 58s node-proof
node-proof
August 13, 2024 13:07 1m 58s
Implement new functional elaborator architecture CI #293: Commit fc2e9d8 pushed by bpandreotti
August 13, 2024 13:07 1m 59s functional-elaborator
functional-elaborator
August 13, 2024 13:07 1m 59s
Implement elaboration of resolution steps CI #292: Commit 31dcd9f pushed by bpandreotti
August 13, 2024 13:07 1m 56s resolution-elab
resolution-elab
August 13, 2024 13:07 1m 56s
Fix subproof unit test CI #291: Commit e517c02 pushed by bpandreotti
August 13, 2024 13:07 2m 0s journal-paper
journal-paper
August 13, 2024 13:07 2m 0s
Rename or_intro rule to weakening CI #290: Commit 45d9fd5 pushed by bpandreotti
August 8, 2024 18:31 2m 23s main
main
August 8, 2024 18:31 2m 23s
Rename or_intro rule to weakening CI #289: Pull request #45 opened by hansjoergschurr
August 8, 2024 16:05 3m 24s hansjoergschurr:rename_or_intro
hansjoergschurr:rename_or_intro
August 8, 2024 16:05 3m 24s
[rules] [strings] Add support for the String length core rules and extend PolyeqComparator for String comparisons CI #288: Pull request #44 synchronize by vinisilvag
July 31, 2024 00:18 1m 55s vinisilvag:string-length-core-rules
vinisilvag:string-length-core-rules
July 31, 2024 00:18 1m 55s
[rules] [strings] Add support for the String length core rules and extend PolyeqComparator for String comparisons CI #287: Pull request #44 synchronize by vinisilvag
July 30, 2024 23:42 1m 56s vinisilvag:string-length-core-rules
vinisilvag:string-length-core-rules
July 30, 2024 23:42 1m 56s
[rules] [strings] Add support for the String length core rules and extend PolyeqComparator for String comparisons CI #286: Pull request #44 synchronize by vinisilvag
July 26, 2024 22:14 2m 15s vinisilvag:string-length-core-rules
vinisilvag:string-length-core-rules
July 26, 2024 22:14 2m 15s
[rules] [strings] Add support for concat_cprop rule (#42) CI #285: Commit 6a670a8 pushed by bpandreotti
July 25, 2024 17:42 2m 2s main
main
July 25, 2024 17:42 2m 2s
[rules] [strings] Add support for the String length core rules and extend PolyeqComparator for String comparisons CI #284: Pull request #44 opened by vinisilvag
June 28, 2024 00:14 1m 55s vinisilvag:string-length-core-rules
vinisilvag:string-length-core-rules
June 28, 2024 00:14 1m 55s
Fix subproof unit test CI #283: Commit 2240581 pushed by bpandreotti
June 20, 2024 08:26 2m 7s journal-paper
journal-paper
June 20, 2024 08:26 2m 7s
Fix clippy lints CI #282: Commit 97ca792 pushed by bpandreotti
June 20, 2024 08:20 2m 2s journal-paper
journal-paper
June 20, 2024 08:20 2m 2s
Deal with GMP constants when elaborating polyequal CI #281: Commit d04b5e6 pushed by bpandreotti
June 20, 2024 08:10 1m 52s journal-paper
journal-paper
June 20, 2024 08:10 1m 52s
[rules] [strings] Add support for concat_cprop rule CI #280: Pull request #42 synchronize by vinisilvag
June 19, 2024 03:41 1m 58s vinisilvag:concat-cprop-rule
vinisilvag:concat-cprop-rule
June 19, 2024 03:41 1m 58s
[rules] [strings] Add support for concat_cprop rule CI #279: Pull request #42 reopened by vinisilvag
June 19, 2024 01:53 2m 11s vinisilvag:concat-cprop-rule
vinisilvag:concat-cprop-rule
June 19, 2024 01:53 2m 11s
[rules] [strings] Add support for concat_cprop rule CI #278: Pull request #42 synchronize by vinisilvag
June 19, 2024 01:53 1m 55s vinisilvag:concat-cprop-rule
vinisilvag:concat-cprop-rule
June 19, 2024 01:53 1m 55s
Fixes related to printing valid SMT-LIB for calling external solvers CI #277: Commit d5bc6f2 pushed by HanielB
June 13, 2024 19:51 1m 55s journal-paper
journal-paper
June 13, 2024 19:51 1m 55s