Commits · 1984890041cda40e10bf46df45ed470b771a7c6d · mbe-tools / TTool · GitLab

Snippets Groups Projects

Jun 18, 2020
- Ticket 198 solved: pb with async fiexed size channels in code generation, avatar lib · 19848900
  Ludovic Apvrille authored 4 years ago
  
  19848900
Jun 17, 2020
- Solving bug on variables loading · 37b29049
  Ludovic Apvrille authored 4 years ago
  
  37b29049
- Rsolving bug on tab renaming · 30a023b5
  Ludovic Apvrille authored 4 years ago
  
  30a023b5
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · ed33fba2
  Ludovic Apvrille authored 4 years ago
  
  ed33fba2
- Update on plugin management: exec-raw · b50a1c56
  Ludovic Apvrille authored 4 years ago
  
  b50a1c56
- update on build version: build.txt · 00b7a158
  Ludovic Apvrille authored 4 years ago
  
  00b7a158
Jun 16, 2020
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · f6487dec
  Ludovic Apvrille authored 4 years ago
  
  f6487dec
- Adding execRaw for passing string with spaces to plugins via command line · 13b472e1
  Ludovic Apvrille authored 4 years ago
  
  13b472e1
- update on build version: build.txt · 6f2f22e5
  Ludovic Apvrille authored 4 years ago
  
  6f2f22e5
Jun 15, 2020
- update on build version: build.txt · 8fa29f84
  Ludovic Apvrille authored 4 years ago
  
  8fa29f84
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · b736b9af
  Ludovic Apvrille authored 4 years ago
  
  b736b9af
- Merge branch 'alessandro_branch' into 'master' · b4155c6e
  Ludovic Apvrille authored 4 years ago
  
  Fixes, documentation, and a first implementation of counterexamples for safety pragmas (txt) See merge request !336
  b4155c6e
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · cf2c3cc9
  Ludovic Apvrille authored 4 years ago
  
  cf2c3cc9
- Update on TTool action: select panel by name · 5c8a7e75
  Ludovic Apvrille authored 4 years ago
  
  5c8a7e75
- update on build version: build.txt · 7e39f023
  Ludovic Apvrille authored 4 years ago
  
  7e39f023
- update on build version: build.txt · 59fe9c2c
  Ludovic Apvrille authored 4 years ago
  
  59fe9c2c
Jun 14, 2020
- update on build version: build.txt · 46aab03f
  Ludovic Apvrille authored 4 years ago
  
  46aab03f
Jun 13, 2020
- update on build version: build.txt · 54716686
  Ludovic Apvrille authored 4 years ago
  
  54716686
Jun 12, 2020
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 4262ff89
  Ludovic Apvrille authored 4 years ago
  
  4262ff89
- Update on dev doc and plugins · a91d7333
  Ludovic Apvrille authored 4 years ago
  
  a91d7333
- update on build version: build.txt · 3d771b20
  Ludovic Apvrille authored 4 years ago
  
  3d771b20
- Updating manifest with new batik · 4f7cd659
  Ludovic Apvrille authored 4 years ago
  
  4f7cd659
- Updating build.gradle for new batik libs · 590fb7ed
  Ludovic Apvrille authored 4 years ago
  
  590fb7ed
- Adding new batik libs - Update on plugins · 4a43508f
  Ludovic Apvrille authored 4 years ago
  
  4a43508f
- Added getResult() of expression from array of int attribute values · ece481dd
  tempiaa authored 4 years ago
  
  ece481dd
- Better tests · b16111ad
  tempiaa authored 4 years ago
  
  b16111ad
- Right check syntax · 353a3e84
  tempiaa authored 4 years ago
  
  353a3e84
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · ac506494
  Ludovic Apvrille authored 4 years ago
  
  ac506494
- Update on plugins: doc and co. Still to implement: custom commands · f6ae688d
  Ludovic Apvrille authored 4 years ago
  
  f6ae688d
- Added syntax check rules to AvaterExpression solvers, added tests · 7adcdbb2
  tempiaa authored 4 years ago
  
  7adcdbb2
- update on build version: build.txt · 2bc9ef46
  Ludovic Apvrille authored 4 years ago
  
  2bc9ef46
Jun 11, 2020
- Update on dev doc: adding plugin information · 4841b0a9
  Ludovic Apvrille authored 4 years ago
  
  4841b0a9
- Added more test for Expression Solvers · 74aba634
  tempiaa authored 4 years ago
  
  74aba634
- Pushing new Makefile for dev infra · 46e24c2b
  Ludovic Apvrille authored 4 years ago
  
  46e24c2b
- First easy implementation of counterexamples for safety pragmas · b038b7ae
  tempiaa authored 4 years ago
  
  b038b7ae
- Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool · 71ba88bb
  Ludovic Apvrille authored 4 years ago
  
  71ba88bb
- Improvements on files · aff74bf3
  Ludovic Apvrille authored 4 years ago
  
  aff74bf3
- Merge remote-tracking branch 'origin/master' into alessandro_branch · f00b13cf
  tempiaa authored 4 years ago
  
  f00b13cf
Jun 10, 2020
- First counterexample trace idea · 1ff3f3ad
  tempiaa authored 4 years ago
  
  1ff3f3ad
- Added prototype classes for counterexamples · 3fe2ccba
  tempiaa authored 4 years ago
  
  3fe2ccba