Commits · 0913f35b39b5d4f62cf7dd69f735a2124a72ad66 · general / stups / visb-visualisation-examples

Browse files

Sep 19, 2022
- improve vector visualisation a little · 0913f35b
  Michael Leuschel authored Sep 19, 2022
  0913f35b
- add a simple vector visualisation example · 89a757a0
  Michael Leuschel authored Sep 19, 2022
  89a757a0
Jun 16, 2022
- extend button XTL example · deb63a8e
  Michael Leuschel authored Jun 16, 2022
  deb63a8e
- add XTL button example · 57999cdd
  Michael Leuschel authored Jun 16, 2022
  57999cdd
Jun 15, 2022
- add 3D example for Button2 · ed768b13
  Michael Leuschel authored Jun 15, 2022
  ed768b13
Jun 13, 2022
- store name of VisB JSON file · 9499b262
  Michael Leuschel authored Jun 13, 2022
  9499b262
Jun 08, 2022
- adapt size of gears svg · da9ac177
  Michael Leuschel authored Jun 8, 2022
  da9ac177
Jun 07, 2022
- use ifm16 rather than ifm18 model of R5 of landing gear · d7ddc761
  Michael Leuschel authored Jun 7, 2022
  d7ddc761
- add visualisation for level 5 of model · 5fc8aaba
  Michael Leuschel authored Jun 7, 2022
  5fc8aaba
- add model name · 7303bbc4
  Michael Leuschel authored Jun 7, 2022
  7303bbc4
- Merge branch 'master' of... · feee274f
  Fabian Vu authored Jun 7, 2022
  feee274f
- Fix LandingGear_GearsDoors.json · 4a7354b9
  Fabian Vu authored Jun 7, 2022
  
  4a7354b9
- add missing THEN · 27b95441
  Michael Leuschel authored Jun 7, 2022
  27b95441
- Merge branch 'master' of... · 04de62bd
  Fabian Vu authored Jun 7, 2022
  04de62bd
- Remove LandingGear.json in GearsDoors · 29ff29da
  Fabian Vu authored Jun 7, 2022
  
  29ff29da
- store name of model for which the json file was made · 4a7c644b
  Michael Leuschel authored Jun 7, 2022
  4a7c644b
May 26, 2022
- add model-name attributes · 7f1ca6a3
  Michael Leuschel authored May 26, 2022
  7f1ca6a3
May 25, 2022
- fix JSON file for Abrial’s interlocking example · a708ed5e
  Michael Leuschel authored May 25, 2022
  a708ed5e
May 23, 2022
- 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
  ba63c123
- Add B2Program JS Code · 8fd0070c
  Fabian Vu authored May 23, 2022
  
  8fd0070c
Apr 26, 2022
- update button.json to avoid warning in VisB · fc0c8216
  Michael Leuschel authored Apr 26, 2022
  fc0c8216
Apr 14, 2022
- Update N Bodies · 7fbc77d6
  Fabian Vu authored Apr 14, 2022
  
  7fbc77d6
Apr 13, 2022
- add button2 with new multiple events per ID · 946157cf
  Michael Leuschel authored Apr 13, 2022
  946157cf
- add missing svg · cf98c709
  Michael Leuschel authored Apr 13, 2022
  cf98c709
Feb 08, 2022
- add Jars example with HTML usage · bfe7d0aa
  Michael Leuschel authored Feb 8, 2022
  bfe7d0aa
Feb 04, 2022
- fix typo · 24475738
  Michael Leuschel authored Feb 4, 2022
  24475738
- incorporate changes to Train model from Jonas · df90a1f4
  Michael Leuschel authored Feb 4, 2022
  df90a1f4
- add comments · 3c5fedd2
  Michael Leuschel authored Feb 4, 2022
  3c5fedd2
- add comment · 56a94c7d
  Michael Leuschel authored Feb 4, 2022
  56a94c7d
- add VISB_JSON_FILE definition · 6ed93f74
  Michael Leuschel authored Feb 4, 2022
  6ed93f74
- move HD Rodin files to subfolder · b09581dc
  Michael Leuschel authored Feb 4, 2022
  b09581dc
- add eventb files for HD · fa58c6b7
  Michael Leuschel authored Feb 4, 2022
  fa58c6b7
Feb 03, 2022
- Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:general/stups/visb-visualisation-examples · e93d6772
  gastentwickler authored Feb 3, 2022
  
  e93d6772
- Update VisB Visualization for Train B Book · 4a4a6d8c
  gastentwickler authored Feb 3, 2022
  
  4a4a6d8c