Skip to content

2.7.0

No due date 28% complete
Remove the Record theory clean-up
#1095 opened Apr 19, 2024 by Halbaroth Loading…
Support timelimit on Windows windows Relates to Windows support
#1201 opened Aug 8, 2024 by Halbaroth
Simple ADT test with different behavior with or without push adt Algebraic data types backlog bug completeness This issue is about completeness of theories instantiation this issue is related to the instantiation mechanism
#1008 opened Dec 11, 2023 by Stevendeo
Infinite loop with recursive list enhancement models This issue is related to model generation.
#531 opened Oct 28, 2022 by Stevendeo
Improving reasoning for the BV theory reasoning This issue is about improving reasoning capabilities. umbrella
#903 opened Oct 18, 2023 by Halbaroth
3 of 4 tasks
Windows support through Opam 2.2 windows Relates to Windows support
#1150 opened Jun 18, 2024 by AllanBlanchard
Provide an API
#1260 opened Oct 16, 2024 by bclement-ocp