Merge requests · Software

Added a proof of a existential variable in NK.v

ndfol-gqm-autosubst!1 · created Oct 11, 2024 by Max Ole Elliger
- 1
updated Oct 11, 2024
Tl star

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

cool!16 · created Oct 27, 2023 by Merlin
updated Nov 06, 2023
Include/comoproj v1.2.0

languages-mo!5 · created Sep 13, 2023 by Max Ole Elliger
updated Sep 13, 2023
Draft: Modelchecking in COOL

cool!15 · created Jul 21, 2023 by Merlin
updated Dec 07, 2023
Resolve "Documentation"

languages-mo!3 · created Jun 15, 2023 by Max Ole Elliger
- Merged
- 3
updated Jul 11, 2023
SAT Checking for the full guarded fragment of the coalgebraic mu-calculus, using Compact Safra Trees

cool!14 · created Jun 06, 2023 by Frederik Hennig
enhancement refactoring
- Merged
- 17
updated Jun 10, 2023
Resolve "Finite Sets"

languages-mo!2 · created May 24, 2023 by Max Ole Elliger
- Merged
- Approved
updated May 25, 2023
Resolve "[TnFn] Lücken füllen"

languages-mo!1 · created May 20, 2023 by Tadeusz Litak
- Merged
- 3
- Approved
updated Jun 15, 2023
Atl benchmark series

cool!13 · created May 12, 2023 by Merlin
- Merged
updated May 12, 2023
Improve BDD reading/writing code

copar!54 · created Mar 15, 2023 by Hans-Peter Deifel SylvanSymbolic
- Merged
updated Mar 15, 2023
C Improvements for Sylvan Stubs

copar!53 · created Mar 02, 2023 by Hans-Peter Deifel SylvanSymbolic
- Merged
updated Mar 02, 2023
Model checking via Effectivity Frames

cool!12 · created Feb 24, 2023 by Simon Prucker modcheck
- Merged
- 27
updated Jul 21, 2023
Integrated benchmarks and switch to incremental generated parser

cool!11 · created Oct 20, 2022 by Merlin
- Merged
updated Oct 20, 2022
Move docker setup for distributed copar to own direcotry

copar!52 · created Oct 14, 2022 by Stefan Gebhart SylvanSymbolic
- Merged
updated Oct 14, 2022
Refactoring

cool!10 · created Aug 22, 2022 by Merlin
- Merged
- 2
- Approved
updated Aug 23, 2022
Distributed Merge into Master Branch

copar!51 · created Jun 24, 2022 by Stefan Gebhart
updated Jul 26, 2022
Update dfa

copar!50 · created Jun 02, 2022 by Silas Kuder distributed
- Merged
updated Jun 20, 2022
Fixed (maybe?) Lexer for Windows Newline Format

copar!49 · created May 10, 2022 by Stefan Gebhart
- Merged
- 4
updated May 11, 2022
Onestep 2 of 2 checklist items completed

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