Skip to content

Actions: beling/bsuccinct-rs

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

to_collision_and_values
Rust #31: Commit dee0e2c pushed by beling
September 27, 2024 22:15 2m 27s main
September 27, 2024 22:15 2m 27s
doc.
Rust #30: Commit 70c23be pushed by beling
September 27, 2024 10:18 2m 31s main
September 27, 2024 10:18 2m 31s
aligned-vec updated to 0.6
Rust #29: Commit 8883607 pushed by beling
September 26, 2024 19:11 2m 27s main
September 26, 2024 19:11 2m 27s
csf kvset similar to keyset in ph
Rust #28: Commit 6cd2481 pushed by beling
September 26, 2024 17:17 15s main
September 26, 2024 17:17 15s
work on fp GOMap
Rust #27: Commit 7142977 pushed by beling
September 26, 2024 10:37 2m 40s main
September 26, 2024 10:37 2m 40s
initial work on GOMap; doc.
Rust #26: Commit 68d2a9a pushed by beling
September 26, 2024 09:01 2m 27s main
September 26, 2024 09:01 2m 27s
fixes in doc. and names
Rust #25: Commit 460a69e pushed by beling
September 25, 2024 19:56 2m 29s main
September 25, 2024 19:56 2m 29s
bitm 0.4.2
Rust #24: Commit 0460321 pushed by beling
June 21, 2024 12:42 2m 40s main
June 21, 2024 12:42 2m 40s
try_get_bit added
Rust #23: Commit af6bbe9 pushed by beling
June 21, 2024 12:04 2m 27s main
June 21, 2024 12:04 2m 27s
cseq 0.1.3
Rust #22: Commit 3091356 pushed by beling
March 19, 2024 08:07 3m 3s main
March 19, 2024 08:07 3m 3s
doc.; upd. sux ver.
Rust #21: Commit be34b40 pushed by beling
March 18, 2024 20:27 2m 49s main
March 18, 2024 20:27 2m 49s
doc.
Rust #20: Commit eda59a2 pushed by beling
March 18, 2024 19:08 2m 41s main
March 18, 2024 19:08 2m 41s
amend
Rust #19: Commit 7ad1bae pushed by beling
March 18, 2024 18:51 2m 39s main
March 18, 2024 18:51 2m 39s
doc. fix
Rust #18: Commit dcd3898 pushed by beling
March 18, 2024 18:46 2m 44s main
March 18, 2024 18:46 2m 44s
amend
Rust #17: Commit f22f23e pushed by beling
March 18, 2024 18:45 2m 52s main
March 18, 2024 18:45 2m 52s
mr benchmark note
Rust #16: Commit a361013 pushed by beling
March 18, 2024 18:44 2m 43s main
March 18, 2024 18:44 2m 43s
bsuccinct paper
Rust #15: Commit a9c3933 pushed by beling
March 18, 2024 17:44 2m 45s main
March 18, 2024 17:44 2m 45s
doc.
Rust #14: Commit a1f3304 pushed by beling
March 14, 2024 08:00 2m 44s main
March 14, 2024 08:00 2m 44s
fixed mr doc.
Rust #13: Commit b43baaf pushed by beling
March 13, 2024 18:40 2m 43s main
March 13, 2024 18:40 2m 43s
size in csv: bytes instead of overhead in percents
Rust #12: Commit be377e6 pushed by beling
March 10, 2024 12:04 2m 44s main
March 10, 2024 12:04 2m 44s
refactoring: easier size reporting
Rust #11: Commit 548f9a9 pushed by beling
March 10, 2024 08:06 2m 38s main
March 10, 2024 08:06 2m 38s
work on better EF support
Rust #10: Commit 2484cc2 pushed by beling
March 4, 2024 21:09 2m 44s main
March 4, 2024 21:09 2m 44s
doc. and minor fixes
Rust #9: Commit aad5bd8 pushed by beling
March 4, 2024 16:58 2m 43s main
March 4, 2024 16:58 2m 43s
EF uses ABox in cseq_benchmark
Rust #8: Commit fb4e8ee pushed by beling
March 4, 2024 08:32 2m 47s main
March 4, 2024 08:32 2m 47s
EF can use any bit vector
Rust #7: Commit c90c1ad pushed by beling
March 3, 2024 18:31 2m 43s main
March 3, 2024 18:31 2m 43s