Skip to content

Actions: vinisilvag/carcara

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds support for String theory indexed operators CI #14: Commit 48cf41e pushed by vinisilvag
January 11, 2024 16:39 3m 22s string-indexed-operators
string-indexed-operators
January 11, 2024 16:39 3m 22s
Reject unary logical operations with --strict flag CI #13: Commit 71c1edc pushed by vinisilvag
January 11, 2024 16:37 3m 24s main
main
January 11, 2024 16:37 3m 24s
Fix semantics of integer division in div_simplify CI #12: Commit 2d8d4f9 pushed by vinisilvag
December 11, 2023 12:56 3m 19s main
main
December 11, 2023 12:56 3m 19s
Merge pull request #23 from vinisilvag/strings-and-re-support CI #11: Commit 804bbd4 pushed by vinisilvag
November 1, 2023 13:02 5m 38s main
main
November 1, 2023 13:02 5m 38s
fix: changes str.< and str.<= operators CI #10: Commit bb5ebcd pushed by vinisilvag
November 1, 2023 12:56 4m 43s strings-and-re-support
strings-and-re-support
November 1, 2023 12:56 4m 43s
fix: changes how nullary operators are handled and fix lint issues CI #9: Commit db3621b pushed by vinisilvag
November 1, 2023 04:31 5m 6s strings-and-re-support
strings-and-re-support
November 1, 2023 04:31 5m 6s
feat: add regex nullary functions to function definitions and paramet… CI #8: Commit 468f12d pushed by vinisilvag
October 27, 2023 14:46 5m 31s strings-and-re-support
strings-and-re-support
October 27, 2023 14:46 5m 31s
Add support for check-sat-assuming command CI #7: Commit eab2dae pushed by vinisilvag
October 27, 2023 14:44 5m 14s main
main
October 27, 2023 14:44 5m 14s
Fix lexing of bitvector literals CI #6: Commit 6dcecc1 pushed by vinisilvag
October 11, 2023 00:04 5m 50s main
main
October 11, 2023 00:04 5m 50s
Improve detection of logics that contain reals but not integers CI #5: Commit d2cb8dd pushed by vinisilvag
October 5, 2023 23:38 6m 30s main
main
October 5, 2023 23:38 6m 30s
Fix printer not properly escaping command ids CI #4: Commit b9cf66b pushed by vinisilvag
October 2, 2023 23:14 5m 12s main
main
October 2, 2023 23:14 5m 12s
Fix integer division behaviour in div_simplify CI #3: Commit 5b2b818 pushed by vinisilvag
September 22, 2023 00:45 6m 17s main
main
September 22, 2023 00:45 6m 17s
Fix resolution accepting less than two premises CI #2: Commit ab8239f pushed by vinisilvag
August 10, 2023 14:56 7m 38s main
main
August 10, 2023 14:56 7m 38s