Skip to content

Actions: libLISA/liblisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Publish to crates.io Publish to crates.io #13: Manually run by jxors
January 24, 2025 15:06 3m 35s main
main
January 24, 2025 15:06 3m 35s
Bump liblisa version to 0.1.4 Rust #41: Commit 946ed52 pushed by jxors
January 24, 2025 14:55 12m 10s main
main
January 24, 2025 14:55 12m 10s
cargo fmt Rust #40: Commit 74bec75 pushed by jxors
January 24, 2025 14:53 12m 35s main
main
January 24, 2025 14:53 12m 35s
Update nightly version Rust #39: Commit 251a8e1 pushed by jxors
January 24, 2025 14:46 5m 15s main
main
January 24, 2025 14:46 5m 15s
Add option to liblisa-semantics-tool to print unique address computat… Rust #38: Commit 6aededf pushed by jxors
January 20, 2025 13:06 3m 7s main
main
January 20, 2025 13:06 3m 7s
cargo update Rust #37: Commit 5721641 pushed by jxors
December 10, 2024 14:39 2m 46s main
main
December 10, 2024 14:39 2m 46s
Pin nightly-2024-09-25; The bootloader crate needs to update its depe… Rust #36: Commit f918883 pushed by jxors
November 29, 2024 20:38 12m 36s main
main
November 29, 2024 20:38 12m 36s
cargo fmt Rust #35: Commit c74077a pushed by jxors
November 25, 2024 19:24 2m 44s main
main
November 25, 2024 19:24 2m 44s
Derive additional traits for ArchId and ArchInfo Rust #34: Commit bca1761 pushed by jxors
November 8, 2024 19:19 4m 57s main
main
November 8, 2024 19:19 4m 57s
Fix --print-smt for synthesize-encoding CLI command Rust #33: Commit 1788ac2 pushed by jxors
October 17, 2024 15:38 2m 2s main
main
October 17, 2024 15:38 2m 2s
cargo fmt Rust #32: Commit 413d217 pushed by jxors
October 17, 2024 11:49 12m 44s main
main
October 17, 2024 11:49 12m 44s
Add tests for PDEP SMT implementation Rust #31: Commit ffe5ea8 pushed by jxors
October 17, 2024 11:49 5m 5s main
main
October 17, 2024 11:49 5m 5s
Fix vmimage for latest nightly Rust #30: Commit 1cd41fb pushed by jxors
October 15, 2024 15:24 12m 39s main
main
October 15, 2024 15:24 12m 39s
Fix clippy issues Rust #29: Commit f32c301 pushed by jxors
October 10, 2024 14:23 2m 30s main
main
October 10, 2024 14:23 2m 30s
Remove feature const_mut_refs, which is now stable Rust #28: Commit 4e6bcb6 pushed by jxors
October 10, 2024 14:14 2m 21s main
main
October 10, 2024 14:14 2m 21s
Deprecate StorageLocations::get in favor of StorageLocations::get_sized Rust #27: Commit 6c812e7 pushed by jxors
October 10, 2024 14:06 3m 5s main
main
October 10, 2024 14:06 3m 5s
Add ite_bv_array Rust #26: Commit c659c8b pushed by jxors
October 7, 2024 12:19 12m 55s main
main
October 7, 2024 12:19 12m 55s
cargo fmt Rust #25: Commit 171ce58 pushed by jxors
October 3, 2024 15:54 12m 42s main
main
October 3, 2024 15:54 12m 42s
Fix: StorageLocations should return 0 when the zero register is reque… Rust #24: Commit 7853c87 pushed by jxors
October 3, 2024 15:53 5m 7s main
main
October 3, 2024 15:53 5m 7s
Add StorageLocations::iter, which iterates over the contents of the c… Rust #23: Commit c7ea2e5 pushed by jxors
September 30, 2024 15:52 7m 21s main
main
September 30, 2024 15:52 7m 21s
Add missing Dynamic::as_bv_array Rust #22: Commit 3205e90 pushed by jxors
September 30, 2024 14:26 7m 45s main
main
September 30, 2024 14:26 7m 45s
Publish to crates.io Publish to crates.io #12: Manually run by jxors
September 30, 2024 13:32 3m 21s main
main
September 30, 2024 13:32 3m 21s
Cargo fmt Rust #21: Commit 951ec81 pushed by jxors
September 30, 2024 13:24 12m 33s main
main
September 30, 2024 13:24 12m 33s
Bump version Rust #20: Commit d03fa03 pushed by jxors
September 30, 2024 13:11 4m 59s main
main
September 30, 2024 13:11 4m 59s
Publish to crates.io Publish to crates.io #11: Manually run by jxors
September 27, 2024 14:27 3m 27s main
main
September 27, 2024 14:27 3m 27s