Merge requests · Software / COOL

Tl star

!17 · created Dec 04, 2023 by Merlin
- Merged
- 98
updated Sep 23, 2024
AMCDES Implementation

!16 · created Oct 27, 2023 by Merlin
updated Nov 06, 2023
Model checking via Effectivity Frames

!12 · created Feb 24, 2023 by Simon Prucker modcheck
- Merged
- 27
updated Jul 21, 2023
SAT Checking for the full guarded fragment of the coalgebraic mu-calculus, using Compact Safra Trees

!14 · created Jun 06, 2023 by Frederik Hennig
enhancement refactoring
- Merged
- 17
updated Jun 10, 2023
Atl benchmark series

!13 · created May 12, 2023 by Merlin
- Merged
updated May 12, 2023
Integrated benchmarks and switch to incremental generated parser

!11 · created Oct 20, 2022 by Merlin
- Merged
updated Oct 20, 2022
Refactoring

!10 · created Aug 22, 2022 by Merlin
- Merged
- 2
- Approved
updated Aug 23, 2022
Onestep 2 of 2 checklist items completed

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

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

!8 · created Dec 08, 2021 by Simon Prucker
- Merged
- 1
- Approved
updated Dec 09, 2021
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
Add dune build system

!1 · created Jul 30, 2019 by Hans-Peter Deifel v1.0 - The first "real" release
- Merged
- 10
- 1
- Approved
updated May 21, 2021
Selective/Parallel test execution

!5 · created Aug 02, 2019 by Merlin
- Merged
- 7
updated Aug 06, 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
updated Aug 02, 2019
CI Improvements

!2 · created Aug 01, 2019 by Merlin
- Merged
- 7
updated Aug 01, 2019