List view
Checklist of items needed to be merged into `develop` for the 4.0 release: - [x] Rust version ( #16 ) - [x] Event-based input (Needs PR, see `event-based` branch) - [x] MLTL SMT solving (Needs PR, see `c2po-smt` branch) - [x] Past-time MLTL SMT solving (Needs PR, see `ptsat` branch) - [x] Updated C version, esp. past-time engine updates ( #16 ) - [ ] Update C2PO and R2U2 versions in header of .bin file (and anywhere else they appear)
No due date•2/2 issues closed