Commits · master · general / stups / visb-visualisation-examples · GitLab

16 Jun, 2022 2 commits
- extend button XTL example · deb63a8e
  Michael Leuschel authored Jun 16, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  deb63a8e
- add XTL button example · 57999cdd
  Michael Leuschel authored Jun 16, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  57999cdd
15 Jun, 2022 1 commit
- add 3D example for Button2 · ed768b13
  Michael Leuschel authored Jun 15, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  ed768b13
13 Jun, 2022 1 commit
- store name of VisB JSON file · 9499b262
  Michael Leuschel authored Jun 13, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  9499b262
08 Jun, 2022 1 commit
- adapt size of gears svg · da9ac177
  Michael Leuschel authored Jun 08, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  da9ac177
07 Jun, 2022 9 commits
- use ifm16 rather than ifm18 model of R5 of landing gear · d7ddc761
  Michael Leuschel authored Jun 07, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  d7ddc761
- add visualisation for level 5 of model · 5fc8aaba
  Michael Leuschel authored Jun 07, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  5fc8aaba
- add model name · 7303bbc4
  Michael Leuschel authored Jun 07, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  7303bbc4
- Merge branch 'master' of... · feee274f
  Fabian Vu authored Jun 07, 2022
```
Merge branch 'master' of https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples
```
  feee274f
- Fix LandingGear_GearsDoors.json · 4a7354b9
  Fabian Vu authored Jun 07, 2022
  
  4a7354b9
- add missing THEN · 27b95441
  Michael Leuschel authored Jun 07, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  27b95441
- Merge branch 'master' of... · 04de62bd
  Fabian Vu authored Jun 07, 2022
```
Merge branch 'master' of https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples
```
  04de62bd
- Remove LandingGear.json in GearsDoors · 29ff29da
  Fabian Vu authored Jun 07, 2022
  
  29ff29da
- store name of model for which the json file was made · 4a7c644b
  Michael Leuschel authored Jun 07, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  4a7c644b
26 May, 2022 1 commit
- add model-name attributes · 7f1ca6a3
  Michael Leuschel authored May 26, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  7f1ca6a3
25 May, 2022 1 commit
- fix JSON file for Abrial’s interlocking example · a708ed5e
  Michael Leuschel authored May 25, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  a708ed5e
23 May, 2022 8 commits
- Update README.md · 582f7a1d
  Fabian Vu authored May 23, 2022
  
  582f7a1d
- Update README.md · 2b82753c
  Fabian Vu authored May 23, 2022
  
  2b82753c
- Update README.md · e8928a0f
  Fabian Vu authored May 23, 2022
  
  e8928a0f
- Update README.md · 1d51145c
  Fabian Vu authored May 23, 2022
  
  1d51145c
- Update B2Program case studies · b9d9b646
  Fabian Vu authored May 23, 2022
  
  b9d9b646
- Rename Outgoing to Retaction in B2Program Case Studies · 57619005
  Fabian Vu authored May 23, 2022
  
  57619005
- Merge branch 'master' of... · ba63c123
  Fabian Vu authored May 23, 2022
```
Merge branch 'master' of https://gitlab.cs.uni-duesseldorf.de/general/stups/visb-visualisation-examples
```
  ba63c123
- Add B2Program JS Code · 8fd0070c
  Fabian Vu authored May 23, 2022
  
  8fd0070c
26 Apr, 2022 1 commit
- update button.json to avoid warning in VisB · fc0c8216
  Michael Leuschel authored Apr 26, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  fc0c8216
14 Apr, 2022 1 commit
- Update N Bodies · 7fbc77d6
  Fabian Vu authored Apr 14, 2022
  
  7fbc77d6
13 Apr, 2022 2 commits
- add button2 with new multiple events per ID · 946157cf
  Michael Leuschel authored Apr 13, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  946157cf
- add missing svg · cf98c709
  Michael Leuschel authored Apr 13, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  cf98c709
08 Feb, 2022 1 commit
- add Jars example with HTML usage · bfe7d0aa
  Michael Leuschel authored Feb 08, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  bfe7d0aa
04 Feb, 2022 7 commits
- fix typo · 24475738
  Michael Leuschel authored Feb 04, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  24475738
- incorporate changes to Train model from Jonas · df90a1f4
  Michael Leuschel authored Feb 04, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  df90a1f4
- add comments · 3c5fedd2
  Michael Leuschel authored Feb 04, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  3c5fedd2
- add comment · 56a94c7d
  Michael Leuschel authored Feb 04, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  56a94c7d
- add VISB_JSON_FILE definition · 6ed93f74
  Michael Leuschel authored Feb 04, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  6ed93f74
- move HD Rodin files to subfolder · b09581dc
  Michael Leuschel authored Feb 04, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  b09581dc
- add eventb files for HD · fa58c6b7
  Michael Leuschel authored Feb 04, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  fa58c6b7
03 Feb, 2022 4 commits
- Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:general/stups/visb-visualisation-examples · e93d6772
  gastentwickler authored Feb 03, 2022
  
  e93d6772
- Update VisB Visualization for Train B Book · 4a4a6d8c
  gastentwickler authored Feb 03, 2022
  
  4a4a6d8c
- Add simulation file · 7e6eb96a
  Fabian Vu authored Feb 03, 2022
  
  7e6eb96a
- add VisB file hd.json in project · beafc34b
  Michael Leuschel authored Feb 03, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  beafc34b