Merge requests · Software / COOL

Add dune build system

!1 · created Jul 30, 2019 by Hans-Peter Deifel v1.0 - The first "real" release
- MERGED
- Approved
- 1
- 10
updated May 21, 2021
CI Improvements

!2 · created Aug 01, 2019 by Merlin
- MERGED
- 7
updated Aug 01, 2019
Add licensing info

!3 · created Aug 02, 2019 by Merlin
- MERGED
- 2
updated Aug 05, 2019
Documentation update

!4 · created Aug 02, 2019 by Merlin
- MERGED
- 0
updated Aug 02, 2019
Selective/Parallel test execution

!5 · created Aug 02, 2019 by Merlin
- MERGED
- 7
updated Aug 06, 2019
Readme with user facing examples and install/build instructions

!6 · created Jun 18, 2021 by Merlin v1.0 - The first "real" release
- MERGED
- 1
updated Jun 22, 2021
Generators

!7 · created Oct 15, 2021 by Simon Prucker
- MERGED
- Approved
- 0
updated Dec 09, 2021
Generator Executable

!8 · created Dec 08, 2021 by Simon Prucker
- MERGED
- Approved
- 1
updated Dec 09, 2021
Onestep 2 of 2 checklist items completed

!9 · created Jan 25, 2022 by Merlin v2.1 - One-Step COOL
- MERGED
- Approved
- 70
updated Jun 29, 2022
Refactoring

!10 · created Aug 22, 2022 by Merlin
- MERGED
- Approved
- 2
updated Aug 23, 2022
Integrated benchmarks and switch to incremental generated parser

!11 · created Oct 20, 2022 by Merlin
- MERGED
- 0
updated Oct 20, 2022
Draft: Model checking via Effectivity Frames

!12 · created Feb 24, 2023 by Simon Prucker modcheck
updated Mar 17, 2023