Commits · master · Software / COOL

Browse files

Apr 01, 2025
- python distutils are now a required dependency · f04886de
  Merlin authored Apr 01, 2025
  
  f04886de
Sep 23, 2024
- Added ATL* to supported logics · 49fafe51
  Merlin authored Sep 23, 2024
  
  49fafe51
- Merge branch 'tl-star' into 'master' · a336f187
  Merlin authored Sep 23, 2024
  a336f187
- Also wants python now · f59f4ede
  Merlin authored Sep 23, 2024
  
  f59f4ede
- More apt dependencies · 8df0413b
  Merlin authored Sep 23, 2024
  
  8df0413b
- Merge branch 'master' of git8.cs.fau.de:software/cool into tl-star · dc83b624
  Merlin authored Sep 23, 2024
  
  dc83b624
Sep 20, 2024
- Utils cleanup · 651b2a35
  Merlin authored Sep 20, 2024
  
  651b2a35
Jun 14, 2024
- Improvements to comments and naming · 5f2d0400
  Dominik Brunner authored Jun 14, 2024
  
  5f2d0400
May 03, 2024
- Submission of the Bachelor's thesis · cc6267e0
  Dominik Brunner authored May 04, 2024
  
  cc6267e0
Apr 04, 2024
- Correction of the equation elimination · d0f8c56a
  Dominik Brunner authored Apr 04, 2024
  
  d0f8c56a
Mar 18, 2024
- Encapsulation of equation systems instead of nested formulas · 821419b7
  Dominik Brunner authored Mar 18, 2024
  
  821419b7
Feb 29, 2024
- Separation of modules used in translation · bf426d98
  Dominik Brunner authored Feb 29, 2024
  
  bf426d98
Feb 04, 2024
- Improvements to the automaton compactification · 64768f40
  Dominik Brunner authored Feb 04, 2024
  
  64768f40
Jan 22, 2024
- Compactification of state labels · a9a6b2a3
  Dominik Brunner authored Jan 22, 2024
  
  a9a6b2a3
Jan 19, 2024
- Explicit computation of the equation system · 35b72116
  Dominik Brunner authored Jan 19, 2024
  
  35b72116
Jan 03, 2024
- Modularization and abstraction of automaton types · d4a225a6
  Dominik Brunner authored Jan 03, 2024
  
  d4a225a6
Dec 18, 2023
- Correction of the safra tree comparison · 51803ddf
  Dominik Brunner authored Dec 19, 2023
  
  51803ddf
Dec 13, 2023
- Handling of unsatisfiable formulae · 23b9a13d
  Dominik Brunner authored Dec 13, 2023
  
  23b9a13d
Dec 11, 2023
- Inversion of parity automata priorities · 44eae672
  Dominik Brunner authored Dec 11, 2023
  
  44eae672
Dec 02, 2023
- Change in the labeling of automaton states · c89d022e
  Dominik Brunner authored Dec 03, 2023
  
  c89d022e
Nov 30, 2023
- Unified solver early termination · dae44483
  Merlin authored Nov 30, 2023
  
  dae44483
- Field access API · e1f57c84
  Merlin authored Nov 30, 2023
  
  e1f57c84
- Sat unsat check cleanup · 068c6353
  Merlin authored Nov 30, 2023
  
  068c6353
Nov 29, 2023
- Leftover definitions · e93fbfcd
  Merlin authored Nov 29, 2023
  
  e93fbfcd
- More unified graph API · a142f682
  Merlin authored Nov 29, 2023
  
  a142f682
- Unused open · 1ef40f6c
  Merlin authored Nov 29, 2023
  
  1ef40f6c
- Leftover nomTbl · 5c3d7287
  Merlin authored Nov 29, 2023
  
  5c3d7287
- Unused rec and cleanup · f5a9a974
  Merlin authored Nov 29, 2023
  
  f5a9a974
- Cleanup · 8c712162
  Merlin authored Nov 29, 2023
  
  8c712162
- Reasoner unification · fd4a7e33
  Merlin authored Nov 29, 2023
  
  fd4a7e33
- Completion of the ATL* translation algorithm · 529c1dd3
  Dominik Brunner authored Nov 29, 2023
  
  529c1dd3
Nov 27, 2023
- Metrics didn't work properly · 53960352
  Merlin authored Nov 27, 2023
  
  53960352
Nov 21, 2023
- Further translation steps · ae1a8887
  Dominik Brunner authored Nov 21, 2023
  
  ae1a8887
Nov 10, 2023
- Simplification improves performance · 7108bb19
  Merlin authored Nov 10, 2023
  
  7108bb19
- Custom minisat wrapper is gone · 8ba617e4
  Merlin authored Nov 10, 2023
  8ba617e4
- Refactoring · ccfcfe09
  Merlin authored Nov 10, 2023
  ccfcfe09
Nov 07, 2023
- Cleaner readme · 00386b26
  Merlin authored Nov 07, 2023
  
  00386b26
- Nix build instructions · ad4f1639
  Merlin authored Nov 07, 2023
  
  ad4f1639
Nov 06, 2023
- Dynamic build is alright to test cross compilation · e550e85b
  Merlin authored Nov 06, 2023
  
  e550e85b
- Min version is now 4.14 · ba346a28
  Merlin authored Nov 06, 2023
  
  ba346a28