Commits · master · Software / COOL

Browse files

Oct 20, 2025
- CI: ignore container policy · d9b1bf6c
  Merlin authored Oct 20, 2025
  
  d9b1bf6c
Oct 17, 2025
- CI: third time's the charm · 72285298
  Merlin authored Oct 17, 2025
  
  72285298
- CI: semicolons... · 9cee630b
  Merlin authored Oct 17, 2025
  
  9cee630b
- CI: nix shell has to be used via run · c3ef2f4e
  Merlin authored Oct 17, 2025
  
  c3ef2f4e
- CI Push with skopeo instead of docker · b491dbf6
  Merlin authored Oct 17, 2025
  
  b491dbf6
- CI: docker not preinstalled · c3b875f3
  Merlin authored Oct 17, 2025
  
  c3b875f3
- CI use Docker nix runner · 0497aa5d
  Merlin authored Oct 17, 2025
  
  0497aa5d
Oct 07, 2025
- Revert "python distutils are now a required dependency" · 2315a35f
  Merlin authored Oct 07, 2025
  2315a35f
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