Skip to content

Actions: twizmwazin/clarirs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

November 4, 2024 20:01 2m 7s
Add support for arbitrary length arguments to And, Or, Concat
CI #63: Pull request #22 opened by twizmwazin
November 4, 2024 19:29 2m 1s feat/reduce-ops
November 4, 2024 19:29 2m 1s
Use dashmap for AST cache
CI #62: Pull request #21 synchronize by twizmwazin
November 3, 2024 23:19 1m 52s fix/dashmap-cache
November 3, 2024 23:19 1m 52s
Use dashmap for AST cache
CI #61: Pull request #21 synchronize by twizmwazin
November 2, 2024 00:02 2m 0s fix/dashmap-cache
November 2, 2024 00:02 2m 0s
Use dashmap for AST cache
CI #60: Pull request #21 opened by twizmwazin
November 1, 2024 23:56 1m 52s fix/dashmap-cache
November 1, 2024 23:56 1m 52s
Improve BV coercion (#20)
CI #59: Commit c1ff5eb pushed by twizmwazin
November 1, 2024 23:30 1m 39s main
November 1, 2024 23:30 1m 39s
Improve BV coercion
CI #58: Pull request #20 synchronize by twizmwazin
November 1, 2024 23:17 1m 46s feat/improve-bv-coercion
November 1, 2024 23:17 1m 46s
Improve BV coercion
CI #57: Pull request #20 opened by twizmwazin
November 1, 2024 23:17 1m 25s feat/improve-bv-coercion
November 1, 2024 23:17 1m 25s
Fix names of zero_extend and sign_extend bound operations (#19)
CI #56: Commit 3a31d0a pushed by twizmwazin
November 1, 2024 20:49 1m 36s main
November 1, 2024 20:49 1m 36s
Make python methods public rust functions (#18)
CI #54: Commit d1bc2af pushed by twizmwazin
November 1, 2024 20:42 1m 54s main
November 1, 2024 20:42 1m 54s
Make python methods public rust functions
CI #53: Pull request #18 opened by twizmwazin
November 1, 2024 20:40 1m 51s fix/public-pymethods
November 1, 2024 20:40 1m 51s
Correct args for BVV (#16)
CI #52: Commit 1097e39 pushed by twizmwazin
November 1, 2024 08:08 1m 46s main
November 1, 2024 08:08 1m 46s
Add size() and __len__() to BV and FP (#17)
CI #51: Commit 23099a4 pushed by twizmwazin
November 1, 2024 08:02 2m 2s main
November 1, 2024 08:02 2m 2s
Correct args for BVV
CI #50: Pull request #16 synchronize by twizmwazin
November 1, 2024 08:01 2m 5s fix/py-bvv-args
November 1, 2024 08:01 2m 5s
Add size() and __len__() to BV and FP
CI #49: Pull request #17 opened by twizmwazin
November 1, 2024 08:00 1m 27s feat/py-bv-fp-size
November 1, 2024 08:00 1m 27s
Correct args for BVV
CI #48: Pull request #16 opened by twizmwazin
November 1, 2024 07:56 1m 50s fix/py-bvv-args
November 1, 2024 07:56 1m 50s
Add basic python annotation support (#15)
CI #47: Commit bdf2b74 pushed by twizmwazin
November 1, 2024 04:11 1m 27s main
November 1, 2024 04:11 1m 27s
Add basic python annotation support
CI #46: Pull request #15 synchronize by twizmwazin
November 1, 2024 04:08 2m 9s feat/py-annotations
November 1, 2024 04:08 2m 9s
Add basic python annotation support
CI #45: Pull request #15 opened by twizmwazin
November 1, 2024 04:06 1m 36s feat/py-annotations
November 1, 2024 04:06 1m 36s
Add support for explicit_name in python constructors (#14)
CI #44: Commit d2c8081 pushed by twizmwazin
November 1, 2024 01:00 1m 48s main
November 1, 2024 01:00 1m 48s
Add support for explicit_name in python constructors
CI #43: Pull request #14 synchronize by twizmwazin
November 1, 2024 00:38 1m 59s feat/py-explicit-name
November 1, 2024 00:38 1m 59s
Add support for explicit_name in python constructors
CI #42: Pull request #14 opened by twizmwazin
November 1, 2024 00:38 1m 42s feat/py-explicit-name
November 1, 2024 00:38 1m 42s
Use PySet for Base.errored (#13)
CI #41: Commit 619aafc pushed by twizmwazin
October 31, 2024 23:54 1m 4s main
October 31, 2024 23:54 1m 4s