Commits · master · Software / nusmvf

Jan 12, 2021
- Revert "Fix EG conversion to ESFCTL bug" · 833701e9
  Matthias Zinner authored 4 years ago
  833701e9
- Fix EG conversion to ESFCTL bug · 3746d38c
  Matthias Zinner authored 4 years ago
  
  3746d38c
- Fix list bug if no constraints are imported · 383d70af
  Matthias Zinner authored 4 years ago
  
  383d70af
Jan 11, 2021
- Print all operands of EC · 0025dcd8
  Matthias Zinner authored 4 years ago
  
  0025dcd8
- Revert "Fix EC bug if a path is also fairness constraint" · d8d592dc
  Matthias Zinner authored 4 years ago
  d8d592dc
Jan 08, 2021
- Merge branch 'minisat_compile' into 'master' · 09dce918
  Matthias Zinner authored 4 years ago
  09dce918
- Fix EC bug if a path is also fairness constraint · 84c88b53
  Matthias Zinner authored 4 years ago
  84c88b53
Dec 15, 2020
- add missing space · 706861f9
  Paul Wild authored 4 years ago
  
  706861f9
Feb 06, 2020
- Fix grammar in ESFCTL documentation · a0754683
  Matthias Zinner authored 5 years ago
  
  a0754683
Feb 02, 2020
- Fix ESFCTL manual · 6c6875d0
  Matthias Zinner authored 5 years ago
  
  6c6875d0
Jan 27, 2020
- Fix unicode character in latex file · 91b7d3cf
  Matthias Zinner authored 5 years ago
  
  91b7d3cf
- Update manual from CTL^f to ESFCTL · c0ee21cb
  Matthias Zinner authored 5 years ago
  
  c0ee21cb
- Rename CTL^f to ESFCTL · d3072d79
  Matthias Zinner authored 5 years ago
  d3072d79
Jan 22, 2020
- Implement EC witness generation · 03d83732
  Matthias Zinner authored 5 years ago
  
  03d83732
Oct 08, 2019
- Replace DCSCTL with ESFCTL · 8f4cc9d0
  Matthias Zinner authored 5 years ago
  
  8f4cc9d0
Sep 12, 2019
- Add EC connective · 2820902d
  Matthias Zinner authored 5 years ago
  
  2820902d
- Cleanup EM witness generation · c32f3fa4
  Matthias Zinner authored 5 years ago
  
  c32f3fa4
Aug 22, 2019
- renamed CTLFSPEC to DCSCTLSPEC · 615b89fd
  Christoph Rauch authored 5 years ago
  
  615b89fd
Jul 24, 2019
- Add EM witness generation · 6326389b
  Matthias Zinner authored 5 years ago
  
  6326389b
Jul 19, 2019
- Limit AG and AF to states where COMPASSION holds · eafec90a
  Matthias Zinner authored 5 years ago
  
  eafec90a
- Add declaration for fairness_constraints_to_ez · c34f2bd4
  Matthias Zinner authored 5 years ago
  
  c34f2bd4
- Add debug output to binary EG witness generation · 12532531
  Matthias Zinner authored 5 years ago
  
  12532531
Jul 16, 2019
- Revert "Implement witness generation for EZ" · c47b2f18
  Matthias Zinner authored 5 years ago
  c47b2f18
May 28, 2019
- Add EM witness generation · 54fabb2a
  Matthias Zinner authored 5 years ago
  
  54fabb2a
- Cleanup EZ witness generation · 4f3e9d1f
  Matthias Zinner authored 5 years ago
  
  4f3e9d1f
- Implement witness generation for EZ · 684d39b5
  Matthias Zinner authored 5 years ago
  
  684d39b5
May 22, 2019
- Introduce helper function for n-nary operators · 83dc51f5
  Matthias Zinner authored 6 years ago
  
  83dc51f5
Apr 29, 2019
- Add CTL to CTL^f conversion · 30407027
  Matthias Zinner authored 6 years ago
  
  30407027
Apr 11, 2019
- Fix freeing memory in EZ model checking function · 6265b50e
  Matthias Zinner authored 6 years ago
  
  6265b50e
- EZ still was incorrect. Fixed. · 3622ce03
  Christoph Rauch authored 6 years ago
  
  3622ce03
Apr 09, 2019
- Fix: Implementation of EZ finally correct · 7b1ebfe3
  Matthias Zinner authored 6 years ago
  
  7b1ebfe3
- fixed EZ connective (negation and flipped parameters) · 4a8b47fe
  Christoph Rauch authored 6 years ago
  
  4a8b47fe
Mar 27, 2019
- Fix missing negation in assertion · b1542093
  Matthias Zinner authored 6 years ago
  
  b1542093
Mar 25, 2019
- Add EZ operator · db4ecf7e
  Matthias Zinner authored 6 years ago
  db4ecf7e
Mar 22, 2019
- fixup! Add second implementation of EM · 15cbb2f0
  Matthias Zinner authored 6 years ago
  
  15cbb2f0
Mar 20, 2019
- Add second implementation of EM · 7f173a1f
  Matthias Zinner authored 6 years ago
  
  7f173a1f
- Introduce new EM connective · d0f73ab1
  Matthias Zinner authored 6 years ago
  d0f73ab1
Mar 13, 2019
- Fix check of CTL^f expressions · d1252238
  Matthias Zinner authored 6 years ago
  
  d1252238
Mar 08, 2019
- Add binary EF and AG operators · f9956bb5
  Matthias Zinner authored 6 years ago
  
  f9956bb5
Feb 27, 2019
- Fix explain function of EG · 5061b7a6
  Matthias Zinner authored 6 years ago
  5061b7a6