Commits · master · Colin THOMAS / pyits_model_checker

09 Nov, 2022 2 commits
- Update README.md · ea974b6e
  ea974b6e Browse Files
  
  Colin THOMAS authored 2022-11-09 10:41:49 +0000
- rename ARCTL => FARCTL · 0ee1f812
  0ee1f812 Browse Directory
  
  Colin THOMAS authored 2022-11-09 09:54:39 +0000
25 Jul, 2022 1 commit
- Update __init__.py · 5747db33
  5747db33 Browse Directory
  
  Colin THOMAS authored 2022-07-25 12:21:35 +0000
11 Jul, 2022 2 commits
- Update __init__.py · 0e69c0ba
  0e69c0ba Browse Directory
  
  Colin THOMAS authored 2022-07-11 15:44:11 +0000
- Update __init__.py · 879eb8b3
  879eb8b3 Browse Directory
  
  Colin THOMAS authored 2022-07-11 15:26:03 +0000
01 Jul, 2022 2 commits
- Update __init__.py · b7a4edbe
  b7a4edbe Browse Directory
  
  Colin THOMAS authored 2022-07-01 12:16:45 +0000
- Remove pred from ARCTL.__init__ · bfd3a728
  bfd3a728 Browse Files
  
  Colin THOMAS authored 2022-07-01 12:03:48 +0000
30 Jun, 2022 4 commits
- Fix build_pred_alpha · c8ef3dc8
  c8ef3dc8 Browse Directory
  
  Colin THOMAS authored 2022-06-30 18:05:40 +0000
- Update __init__.py · 8c83b38e
  8c83b38e Browse Files
  
  Colin THOMAS authored 2022-06-30 15:01:27 +0000
- Update __init__.py · df7b5df3
  df7b5df3 Browse Files
  
  Colin THOMAS authored 2022-06-30 12:47:57 +0000
- Update __init__.py · 4f2b9e1a
  4f2b9e1a Browse Files
  
  Colin THOMAS authored 2022-06-30 09:42:27 +0000
29 Jun, 2022 1 commit
- Update __init__.py · ef46883c
  ef46883c Browse Files
  
  Colin THOMAS authored 2022-06-29 14:45:57 +0000
16 Nov, 2021 1 commit
- Update __init__.py · 2bb6e612
  2bb6e612 Browse Files
  
  Colin THOMAS authored 2021-11-16 14:39:25 +0000
24 Sep, 2021 1 commit
- Replaced succ by pred · 2d5ad7e7
  2d5ad7e7 Browse Files
  
  Colin THOMAS authored 2021-09-24 09:39:01 +0000
25 Jun, 2021 1 commit
- allow fairness arg to be a parsed formula · 4ce60dbf
  4ce60dbf Browse Files
  
  Franck Pommereau authored 2021-06-25 13:23:20 +0200
10 Mar, 2021 2 commits
- Replace pred by succ in readme · 8dd7008d
  8dd7008d Browse Files
  
  Colin THOMAS authored 2021-03-10 16:43:53 +0000
- fixed author (damn copy/paste) · 4fc11651
  4fc11651 Browse Files
  
  Franck Pommereau authored 2021-03-10 08:25:40 +0100
09 Mar, 2021 1 commit
- added setup.py · 7b065915
  7b065915 Browse Files
  
  Franck Pommereau authored 2021-03-09 19:05:18 +0100
11 Dec, 2020 3 commits
- Add tau label · 0df7019b
  0df7019b Browse Files
  
  Colin THOMAS authored 2020-12-11 10:24:30 +0000
- Update README.md · 53f5c958
  53f5c958 Browse Files
  
  Colin THOMAS authored 2020-12-11 08:50:23 +0000
- Add => and <=> boolean operators, first sketch for tau actions · a9779046
  a9779046 Browse Files
  
  Colin THOMAS authored 2020-12-11 08:43:40 +0000
04 Dec, 2020 2 commits
- Update build_labeled_succ to include the case of rules without label · 407cb33a
  407cb33a Browse Directory
  
  Colin THOMAS authored 2020-12-04 18:20:37 +0000
- Replace pred by succ everywhere. Remove ACTL. Add ARCTL and FairARCTL. · 312ba000
  312ba000 Browse Directory
  
  Colin THOMAS authored 2020-12-04 18:02:42 +0000
27 Nov, 2020 1 commit
- Add logic attribute logic and comments again, first sketch for ARCTL · dd1d378b
  dd1d378b Browse Directory
  
  Colin THOMAS authored 2020-11-27 10:20:18 +0000
26 Nov, 2020 2 commits
- Add a fonction to build the dictionnary of labeled pred, should not appear in fi… · c15edb31 ...
  c15edb31 Browse Directory
```
…nal version but I stock it here for now
```
  Colin THOMAS authored 2020-11-26 17:06:00 +0000
- Update to implement the CTL semantic on finite and infinite paths · edc83f0b
  edc83f0b Browse Files
  
  Colin THOMAS authored 2020-11-26 11:42:37 +0000
16 Nov, 2020 8 commits
- Update README.md · e2e4d59a
  e2e4d59a Browse Files
  
  Colin THOMAS authored 2020-11-16 14:36:12 +0000
- Add comments and logic attribute · 6e431494
  6e431494 Browse Files
  
  Colin THOMAS authored 2020-11-16 14:30:47 +0000
- Update README.md · 3d844bd3
  3d844bd3 Browse Files
  
  Colin THOMAS authored 2020-11-16 14:19:07 +0000
- Update README.md · b5c647e4
  b5c647e4 Browse Files
  
  Colin THOMAS authored 2020-11-16 12:10:15 +0000
- allow fairness constraints to be Phi typed · 6358a18c
  6358a18c Browse Files
  
  Colin THOMAS authored 2020-11-16 12:08:49 +0000
- Update README.md · 7e87b24a
  7e87b24a Browse Files
  
  Colin THOMAS authored 2020-11-16 10:37:33 +0000
- add CTL and FairCTL model checker · 8c5945c2
  8c5945c2 Browse Files
  
  Colin THOMAS authored 2020-11-16 11:15:17 +0100
- add README · 27cde78d
  27cde78d Browse Files
  
  Colin THOMAS authored 2020-11-16 10:38:13 +0100