Commits · master · Tede von Knorre / trs-kripke

Jul 02, 2024
- broken KripkeMini2 · b23a7705
  McModknower authored 10 months ago
  
  b23a7705
Jun 26, 2024
- minimizeKripke v1 · 6387cabf
  McModknower authored 10 months ago
  
  6387cabf
Jun 20, 2024
- add minimizeStates for Bisimulation · fada69c7
  McModknower authored 10 months ago
  
  fada69c7
Jun 14, 2024
- Change Formula Constraints to work easier, Fix warnigns · 632bef0a
  McModknower authored 11 months ago
  
  632bef0a
Jun 13, 2024
- add FormulaTransformer · 3755229d
  McModknower authored 11 months ago
  
  3755229d
- Add explicit export list to Formula · 1e5130cf
  McModknower authored 11 months ago
  
  1e5130cf
- Add parseACTL, parseECTL · 5682e59e
  McModknower authored 11 months ago
  
  5682e59e
- improve leniency in FormulaParser · deae7e8a
  McModknower authored 11 months ago
  
  deae7e8a
- Add better Show instance for Formula · 610f174f
  McModknower authored 11 months ago
  
  610f174f
- Finish FormulaParser · 782a6b8f
  McModknower authored 11 months ago
  
  782a6b8f
- Add FormulaParser for logic · e2ecdd26
  McModknower authored 11 months ago
  
  e2ecdd26
- Remove now unused CTL2.hs · 36bddf31
  McModknower authored 11 months ago
  
  36bddf31
- FormulaV3 · 4ae953ab
  McModknower authored 11 months ago
  
  4ae953ab
Jun 12, 2024
- continue working on CTL2 · 63363060
  McModknower authored 11 months ago
  
  63363060
Jun 07, 2024
- Implement KBound further · d013d1c9
  McModknower authored 11 months ago
  
  d013d1c9
Jun 06, 2024
- start k-bounded transform · 9fccc40c
  McModknower authored 11 months ago
  
  9fccc40c
May 30, 2024
- add ctlToString · 6b2eb543
  McModknower authored 11 months ago
  
  6b2eb543
- add proper error messages to ctl parsing · 6cb9c7b4
  McModknower authored 11 months ago
  
  6cb9c7b4
- add ctl tokenizer and combination · 7013c010
  McModknower authored 11 months ago
  
  7013c010
- add ctlwriter todo · eabbe540
  McModknower authored 11 months ago
  
  eabbe540
May 24, 2024
- add parsing of parenthetis · 5058a396
  McModknower authored 11 months ago
  
  5058a396
May 23, 2024
- add ctl parser, parens don't work yet · 75ad7506
  McModknower authored 11 months ago
  
  75ad7506
May 08, 2024
- Initial version up to working satisfySet EG · 5c28d759
  McModknower authored 1 year ago
  
  5c28d759