Skip to content

Actions: cucapra/baa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
202 workflow runs
202 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

implement to/from hex and to/from bin with sign
baa Tests #127: Commit e76bd01 pushed by ekiwi
October 24, 2024 13:53 1m 4s main
October 24, 2024 13:53 1m 4s
change string parsing interface
baa Tests #126: Commit a78f016 pushed by ekiwi
October 23, 2024 15:12 2m 41s v0.13.0
October 23, 2024 15:12 2m 41s
change string parsing interface
baa Tests #125: Commit a78f016 pushed by ekiwi
October 23, 2024 15:12 2m 46s main
October 23, 2024 15:12 2m 46s
make BitVecValue Ord
baa Tests #124: Commit 9e0d8e7 pushed by ekiwi
October 23, 2024 14:08 2m 42s v0.12.6
October 23, 2024 14:08 2m 42s
make BitVecValue Ord
baa Tests #123: Commit 9e0d8e7 pushed by ekiwi
October 23, 2024 14:08 2m 53s main
October 23, 2024 14:08 2m 53s
make SparseArrayValue user accessible and add iterator over entries
baa Tests #122: Commit 32c64e3 pushed by ekiwi
October 22, 2024 19:09 2m 42s v0.12.5
October 22, 2024 19:09 2m 42s
make SparseArrayValue user accessible and add iterator over entries
baa Tests #121: Commit 32c64e3 pushed by ekiwi
October 22, 2024 19:08 1m 4s main
October 22, 2024 19:08 1m 4s
test more conversions
baa Tests #120: Commit cbf2a4c pushed by ekiwi
October 21, 2024 20:01 1m 4s v0.12.4
October 21, 2024 20:01 1m 4s
test more conversions
baa Tests #119: Commit cbf2a4c pushed by ekiwi
October 21, 2024 20:00 2m 43s main
October 21, 2024 20:00 2m 43s
fix 1-bit dense array implementation
baa Tests #118: Commit b21ab4e pushed by ekiwi
October 21, 2024 19:58 1m 5s main
October 21, 2024 19:58 1m 5s
implement TryFrom for Value container
baa Tests #117: Commit a6e3210 pushed by ekiwi
October 21, 2024 19:56 1m 5s main
October 21, 2024 19:56 1m 5s
more conversion tests
baa Tests #116: Commit d009c61 pushed by ekiwi
October 18, 2024 19:09 1m 5s main
October 18, 2024 19:09 1m 5s
add dense to sparse conversions
baa Tests #115: Commit d5e1a86 pushed by ekiwi
October 18, 2024 19:05 1m 6s main
October 18, 2024 19:05 1m 6s
add simple container
baa Tests #114: Commit 2debb3d pushed by ekiwi
October 18, 2024 17:46 2m 39s v0.12.2
October 18, 2024 17:46 2m 39s
add simple container
baa Tests #113: Commit 2debb3d pushed by ekiwi
October 18, 2024 17:46 2m 38s main
October 18, 2024 17:46 2m 38s
implement Debug for ArrayValue
baa Tests #112: Commit aa18bbb pushed by ekiwi
October 18, 2024 17:42 3m 49s v0.12.1
October 18, 2024 17:42 3m 49s
implement Debug for ArrayValue
baa Tests #111: Commit aa18bbb pushed by ekiwi
October 18, 2024 17:42 3m 54s main
October 18, 2024 17:42 3m 54s
remove old commented out code
baa Tests #110: Commit 0f93903 pushed by ekiwi
September 24, 2024 18:38 1m 3s v0.12.0
September 24, 2024 18:38 1m 3s
remove old commented out code
baa Tests #109: Commit 0f93903 pushed by ekiwi
September 24, 2024 18:29 2m 38s main
September 24, 2024 18:29 2m 38s
better array implementation
baa Tests #108: Commit d357c98 pushed by ekiwi
September 24, 2024 18:28 1m 4s main
September 24, 2024 18:28 1m 4s
better array implementation
baa Tests #107: Commit d357c98 pushed by ekiwi
September 24, 2024 18:28 1m 11s redo-arrays
September 24, 2024 18:28 1m 11s
implement is_equal for sparse arrays
baa Tests #106: Commit 25f22b7 pushed by ekiwi
September 24, 2024 14:24 1m 7s redo-arrays
September 24, 2024 14:24 1m 7s
make sure that BitVecValue and Ref compare and hash correctly
baa Tests #105: Commit f08e343 pushed by ekiwi
September 24, 2024 14:03 1m 8s redo-arrays
September 24, 2024 14:03 1m 8s
wip: implement array ops with new representation
baa Tests #104: Commit c5ef452 pushed by ekiwi
September 23, 2024 20:32 24s redo-arrays
September 23, 2024 20:32 24s
rebuild arrays: start from new owned implementations
baa Tests #103: Commit 873d94e pushed by ekiwi
September 21, 2024 01:45 32s redo-arrays
September 21, 2024 01:45 32s