Commits · 50916895c636d1db504df189573948159d3b6cec · mbe-tools / TTool

Sep 01, 2020
- Improve timeline diagram · 50916895
  Le Van Truong authored 4 years ago
  
  50916895
Aug 20, 2020
- modify simulatorTerminationTest · 92b62eb1
  Le Van Truong authored 4 years ago
  
  92b62eb1
- fix bug and improve performance of timeline diagram · 507b0ee3
  Le Van Truong authored 4 years ago
  
  507b0ee3
Aug 18, 2020
- delele unnecessary file · bd792681
  Le Van Truong authored 4 years ago
  
  bd792681
- modify test case · 00a9a0f7
  Le Van Truong authored 4 years ago
  
  00a9a0f7
- Merge remote-tracking branch 'origin/master' into revert-883077ef · 7e70ed0e
  Le Van Truong authored 4 years ago
  
  7e70ed0e
- fix hanging simulation · f6b3b720
  Le Van Truong authored 4 years ago
  
  f6b3b720
- update on build version: build.txt · ca91ea09
  Ludovic Apvrille authored 4 years ago
  
  ca91ea09
Aug 17, 2020
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 74d5150d
  Ludovic Apvrille authored 4 years ago
  
  74d5150d
- Update on help, including avatar pragmas · 6192fcdc
  Ludovic Apvrille authored 4 years ago
  
  6192fcdc
- update on build version: build.txt · 4b4632b7
  Ludovic Apvrille authored 4 years ago
  
  4b4632b7
Aug 16, 2020
- update on build version: build.txt · ea04a5a3
  Ludovic Apvrille authored 4 years ago
  
  ea04a5a3
Aug 15, 2020
- update on build version: build.txt · 20254755
  Ludovic Apvrille authored 4 years ago
  
  20254755
Aug 14, 2020
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · ae23b136
  Ludovic Apvrille authored 4 years ago
  
  ae23b136
- Resolving bug on methodologies: bug on internal components · 53b42500
  Ludovic Apvrille authored 4 years ago
  
  53b42500
- Solving bug on diplo methodology · 0a47405e
  Ludovic Apvrille authored 4 years ago
  
  0a47405e
- update on build version: build.txt · eee9723a
  Ludovic Apvrille authored 4 years ago
  
  eee9723a
Aug 13, 2020
- Merge branch 'revert-883077ef ' into 'master' · 7eed1888
  Ludovic Apvrille authored 4 years ago
  
  Add more functions to Timeline diagram and fix issue #182 DIPLODOCUS simulator gives an energy info Closes #182 See merge request !349
  7eed1888
- Merge branch 'alessandro_branch' into 'master' · 15c785a3
  Ludovic Apvrille authored 4 years ago
  
  Model-checker updates See merge request !350
  15c785a3
- Update to solve bugs on diplo method · b8e7fdc6
  Ludovic Apvrille authored 4 years ago
  
  b8e7fdc6
- update on build version: build.txt · 6b8f21bb
  Ludovic Apvrille authored 4 years ago
  
  6b8f21bb
Aug 12, 2020
- update on build version: build.txt · ce112f99
  Ludovic Apvrille authored 4 years ago
  
  ce112f99
Aug 11, 2020
- update on build version: build.txt · 447b253b
  Ludovic Apvrille authored 4 years ago
  
  447b253b
Aug 10, 2020
- update on build version: build.txt · e140a57a
  Ludovic Apvrille authored 4 years ago
  
  e140a57a
Aug 09, 2020
- update on build version: build.txt · ceef492d
  Ludovic Apvrille authored 4 years ago
  
  ceef492d
Aug 08, 2020
- update on build version: build.txt · 2fafbbc4
  Ludovic Apvrille authored 4 years ago
  
  2fafbbc4
Aug 07, 2020
- update on build version: build.txt · d2fc813c
  Ludovic Apvrille authored 4 years ago
  
  d2fc813c
Aug 06, 2020
- update on build version: build.txt · c48cb42e
  Ludovic Apvrille authored 4 years ago
  
  c48cb42e
Aug 05, 2020
- update on build version: build.txt · 537a56b0
  Ludovic Apvrille authored 4 years ago
  
  537a56b0
Aug 04, 2020
- update on build version: build.txt · e1b02b72
  Ludovic Apvrille authored 4 years ago
  
  e1b02b72
Aug 03, 2020
- update on build version: build.txt · 63fa8185
  Ludovic Apvrille authored 4 years ago
  
  63fa8185
Aug 02, 2020
- update on build version: build.txt · da5b7f34
  Ludovic Apvrille authored 4 years ago
  
  da5b7f34
Aug 01, 2020
- update on build version: build.txt · 3cf933e7
  Ludovic Apvrille authored 4 years ago
  
  3cf933e7
Jul 31, 2020
- update on build version: build.txt · 2cf523f2
  Ludovic Apvrille authored 4 years ago
  
  2cf523f2
Jul 30, 2020
- update on build version: build.txt · 05e7e1c0
  Ludovic Apvrille authored 4 years ago
  
  05e7e1c0
Jul 29, 2020
- Fix internal action loop variable assignment · bef1e511
  tempiaa authored 4 years ago
  
  bef1e511
- Update documentation: syntax correction · 12daa057
  tempiaa authored 4 years ago
  
  12daa057
- Update documentation: state space reduction, verification traces · 26625aa5
  tempiaa authored 4 years ago
  
  26625aa5
- update on build version: build.txt · 5c249b18
  Ludovic Apvrille authored 4 years ago
  
  5c249b18
Jul 28, 2020
- Update documentation: internal action loops, deadlocks, reinitialization, safety · c26f6cdb
  tempiaa authored 4 years ago
  
  c26f6cdb