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

16 Jan, 2023 2 commits
- add viewBox · 3b0b119c
  Michael Leuschel authored Jan 16, 2023
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  3b0b119c
- add example JSON file with disabled/enabled items · fcfb467d
  Michael Leuschel authored Jan 16, 2023
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  fcfb467d
07 Oct, 2022 1 commit
- add MCTS example · d3b6a07e
  Michael Leuschel authored Oct 07, 2022
  
  d3b6a07e
06 Oct, 2022 1 commit
- add Rodin Real example · 9ed38dfc
  Michael Leuschel authored Oct 06, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  9ed38dfc
29 Sep, 2022 2 commits
- add images for animation function · 6922100e
  Michael Leuschel authored Sep 29, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  6922100e
- add unicode version of Sudoku · 30a115cd
  Michael Leuschel authored Sep 29, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  30a115cd
28 Sep, 2022 1 commit
- remove gradient colour for JavaFX browser · 2377d1ee
  Michael Leuschel authored Sep 28, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  2377d1ee
19 Sep, 2022 2 commits
- improve vector visualisation a little · 0913f35b
  Michael Leuschel authored Sep 19, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  0913f35b
- add a simple vector visualisation example · 89a757a0
  Michael Leuschel authored Sep 19, 2022
```
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
```
  89a757a0
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 2 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