Commits · main · Edo Mangelaars / trace4cps-test · GitLab

Snippets Groups Projects

Nov 02, 2023
- Add README · 05c6a8af
  Edo Mangelaars authored 1 year ago
  
  05c6a8af
Nov 01, 2023
- Remove invalid test: not every FALSE property in finite semantics has a cause · d2ddefcc
  Edo Mangelaars authored 1 year ago
  
  d2ddefcc
Aug 07, 2023
- Add some more tests and formula configs · bc28f069
  Edo Mangelaars authored 1 year ago
  
  bc28f069
Jul 26, 2023
- Fix LTL <-> MTL causality test (weak -> finite) · 106b9286
  Edo Mangelaars authored 1 year ago
  
  106b9286
Jul 21, 2023
- MTL causality tests + four-valued verdicts tests · 9a40488b
  Edo Mangelaars authored 1 year ago
  
  9a40488b
Jun 28, 2023
- MTL Causality tests · 295f93bc
  Edo Mangelaars authored 1 year ago
  
  295f93bc
Jun 21, 2023
- Causality test for both TRUE and FALSE · 7d1229a2
  Edo Mangelaars authored 1 year ago
  
  7d1229a2
- Add MTL Causality idea tests · 936afae8
  Edo Mangelaars authored 1 year ago
  
  936afae8
- Fix 4ltl tests and add allowtrue/allownext to MtlFormulaGen · 6669c6be
  Edo Mangelaars authored 1 year ago
  
  6669c6be
Jun 14, 2023
- Add next operator to MtlFormula generator · e7168f3b
  Edo Mangelaars authored 1 year ago
  
  e7168f3b
Jun 13, 2023
- Causality algorithm tests · 98d63a42
  Edo Mangelaars authored 1 year ago
  
  98d63a42
May 26, 2023
- Initial commit: property tests for four-valued verdicts with generated formulas and traces · a0720761
  Edo Mangelaars authored 1 year ago
  
  a0720761

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent