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

Mar 10, 2025
- new version which uses external SVG and B definitions · e400bef4
  Michael Leuschel authored 1 month ago
  e400bef4
Jan 15, 2025
- add Rodin archive · 5b30263d
  Michael Leuschel authored 3 months ago
  5b30263d
- add train12 example · 492cf02d
  Michael Leuschel authored 3 months ago
  492cf02d
- add newlines · 10cf6d7b
  Michael Leuschel authored 3 months ago
  10cf6d7b
Nov 25, 2024
- fix width of svg box · d9ee8a3b
  Michael Leuschel authored 5 months ago
  d9ee8a3b
- example with new DEFINITION file for Event-B model · 18dc4b26
  Michael Leuschel authored 5 months ago
  18dc4b26
Nov 04, 2024
- improve cars on a bridge visualisation slightly · a273eb8f
  Michael Leuschel authored 6 months ago
  a273eb8f
- minor change · 824f9722
  Michael Leuschel authored 6 months ago
  824f9722
Oct 11, 2024
- fix shiftKey in predicate · 9cb30130
  Miles Vella authored 6 months ago
  
  9cb30130
Sep 10, 2024
- add width, height · eb5fa52e
  Michael Leuschel authored 7 months ago
  eb5fa52e
- fix missing closing svg tags · bcc7db99
  Michael Leuschel authored 7 months ago
  bcc7db99
- increase MCTS preference · 755207bd
  Michael Leuschel authored 7 months ago
  755207bd
Sep 09, 2024
- allow to influence queens solution depending on click · 03f6da88
  Michael Leuschel authored 7 months ago
  03f6da88
- add click event for solving · d22431b6
  Michael Leuschel authored 7 months ago
  d22431b6
Sep 08, 2024
- fix spelling of opacity · 5e3c7978
  Michael Leuschel authored 7 months ago
  5e3c7978
- move defs · 6c898437
  Michael Leuschel authored 7 months ago
  6c898437
- change in comment · 33acf68b
  Michael Leuschel authored 7 months ago
  33acf68b
- adapt sieve example · e53eaf9b
  Michael Leuschel authored 7 months ago
  e53eaf9b
Sep 06, 2024
- add TLA+ water tank example · 6c0229b1
  Michael Leuschel authored 8 months ago
  6c0229b1
Sep 04, 2024
- add TLA+ version of N-Queens · c7355e96
  Michael Leuschel authored 8 months ago
  c7355e96
- make goal achieved text a bit nicer · d88707e4
  Michael Leuschel authored 8 months ago
  d88707e4
Sep 03, 2024
- improve DieHard visualisation · 0acf8cdd
  Michael Leuschel authored 8 months ago
  0acf8cdd
- update gitignore · ec48f3d9
  Michael Leuschel authored 8 months ago
  ec48f3d9
- add TLA+ version of Jars puzzle · bd2594fe
  Michael Leuschel authored 8 months ago
  
  bd2594fe
Jul 25, 2024
- Fix syntax error in button.svg · 850403d1
  dgelessus authored 9 months ago
  
  850403d1
Jan 02, 2024
- add version of Connect4 for VisB & MCTS · 72dfc58b
  Michael Leuschel authored 1 year ago
  
  72dfc58b
- add HTML export · b003a794
  Michael Leuschel authored 1 year ago
  
  b003a794
- add TicTacToe TLA+ version · 28731a9c
  Michael Leuschel authored 1 year ago
  
  28731a9c
Nov 22, 2023
- minor change · 333506e7
  Michael Leuschel authored 1 year ago
  333506e7
- add Sieve example · 91bd2bfa
  Michael Leuschel authored 1 year ago
  91bd2bfa
Oct 18, 2023
- add Event-B version of DieHard (Jars) · 69722809
  Michael Leuschel authored 1 year ago
  69722809
Aug 01, 2023
- add new style JSON example file · 923d0a82
  Michael Leuschel authored 1 year ago
  923d0a82
- add VISB_SVG_EVENTS definition to button_def · f9570ef2
  Michael Leuschel authored 1 year ago
  f9570ef2
May 20, 2023
- Simplify example · ba0913a7
  Michael Leuschel authored 1 year ago
  ba0913a7
- minimal example using new VisB DEFINITIONS · 44d925bb
  Michael Leuschel authored 1 year ago
  44d925bb
Apr 06, 2023
- add example DEFINITION file using new VisB features · bdc18282
  Michael Leuschel authored 2 years ago
  bdc18282
Jan 16, 2023
- add viewBox · 3b0b119c
  Michael Leuschel authored 2 years ago
  3b0b119c
- add example JSON file with disabled/enabled items · fcfb467d
  Michael Leuschel authored 2 years ago
  fcfb467d
Oct 07, 2022
- add MCTS example · d3b6a07e
  Michael Leuschel authored 2 years ago
  
  d3b6a07e
Oct 06, 2022
- add Rodin Real example · 9ed38dfc
  Michael Leuschel authored 2 years ago
  9ed38dfc

Admin message