Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
a70c72c
Feature-gate frontends
EnricoGhiorzi Jun 6, 2026
0a2e84d
Add section on features to installation docs
EnricoGhiorzi Jun 8, 2026
8f9e6f0
Add section on advanced build performance optimizations
EnricoGhiorzi Jun 8, 2026
eeadb2e
Update docs on duration option
EnricoGhiorzi Jun 8, 2026
d9d690a
Improve book index and titles consistency
EnricoGhiorzi Jun 8, 2026
465d9f5
Remove Smallvec optimization and dependency
EnricoGhiorzi Jun 8, 2026
f54cd1f
Remove human-panic dependency
EnricoGhiorzi Jun 9, 2026
74c7bf3
Fix link
EnricoGhiorzi Jun 9, 2026
6460e15
Use standard type instead of custom one for `ScanOutcome`
EnricoGhiorzi Jun 9, 2026
b8eed14
Add lto profile for optimized builds
EnricoGhiorzi Jun 9, 2026
5deec3d
`RunOutcome` does not need to be pub
EnricoGhiorzi Jun 9, 2026
62d473a
Add new/better tests for PGs
EnricoGhiorzi Jun 10, 2026
33bdc26
Remove unnecessary `Result` in `ProgramGraphBuilder::new_var`
EnricoGhiorzi Jun 10, 2026
a86ac1a
Shorten README and refer to documentation in Book
EnricoGhiorzi Jun 10, 2026
8bfb8ed
Use bumpalo allocator in `ProgramGraphRun::possible_transitions`
EnricoGhiorzi Jun 15, 2026
bea9ed7
Code refactoring to improve sync transitions
EnricoGhiorzi Jun 19, 2026
3ab81d3
Use BTreeMap for faster PG building
EnricoGhiorzi Jun 19, 2026
e578fa7
Refactor program graph module for better code organization
EnricoGhiorzi Jun 19, 2026
2db1d6e
Forbid unsafe code and add some docs to various crates.
EnricoGhiorzi Jun 20, 2026
88040be
Refactor verification reporting
EnricoGhiorzi Jun 20, 2026
5e32b1a
Use `Bound` type for time bounds
EnricoGhiorzi Jun 20, 2026
07de24f
Refactor channel_system module to be consistent with program_graph
EnricoGhiorzi Jun 21, 2026
15f2f68
Improve transitions iterator to also cover corner cases
EnricoGhiorzi Jun 23, 2026
202fbb5
Auto-detect end of execution and remove duration option from CLI
EnricoGhiorzi Jun 23, 2026
4cefcf1
Fix rng parameter for expression evaluation
EnricoGhiorzi Jun 23, 2026
176d0bf
CI testing with all features active
EnricoGhiorzi Jun 23, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,6 @@ jobs:
- name: Check fmt
run: cargo fmt --all -- --check
- name: Check
run: cargo check --verbose
run: cargo check --verbose --all-features
- name: Run tests
run: cargo test --verbose --workspace --all-targets
run: cargo test --verbose --workspace --all-targets --all-features
Loading