Activity · general / stups / visb-visualisation-examples · GitLab

Snippets Groups Projects

2 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

e400bef4 · new version which uses external SVG and B definitions

4 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

5b30263d · add Rodin archive

4 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

492cf02d · add train12 example
... and 1 more commit. Compare d9ee8a3b...492cf02d

6 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

d9ee8a3b · fix width of svg box

6 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

18dc4b26 · example with new DEFINITION file for Event-B model

7 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

a273eb8f · improve cars on a bridge visualisation slightly
... and 1 more commit. Compare 9cb30130...a273eb8f

7 months ago

Miles Vella @vella

pushed to branch master at general / stups / visb-visualisation-examples

9cb30130 · fix shiftKey in predicate

8 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

eb5fa52e · add width, height
... and 2 more commits. Compare 03f6da88...eb5fa52e

8 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

03f6da88 · allow to influence queens solution depending on click
... and 1 more commit. Compare 5e3c7978...03f6da88

9 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

5e3c7978 · fix spelling of opacity
... and 3 more commits. Compare 6c0229b1...5e3c7978

9 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

6c0229b1 · add TLA+ water tank example

9 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

c7355e96 · add TLA+ version of N-Queens

9 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

d88707e4 · make goal achieved text a bit nicer

9 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

0acf8cdd · improve DieHard visualisation
... and 1 more commit. Compare bd2594fe...0acf8cdd

9 months ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

bd2594fe · add TLA+ version of Jars puzzle

10 months ago

dgelessus @dgelessus

pushed to branch master at general / stups / visb-visualisation-examples

850403d1 · Fix syntax error in button.svg

1 year ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

72dfc58b · add version of Connect4 for VisB & MCTS

1 year ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

b003a794 · add HTML export
... and 1 more commit. Compare 333506e7...b003a794

1 year ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

333506e7 · minor change
... and 1 more commit. Compare 69722809...333506e7

1 year ago

Michael Leuschel @leuschel

pushed to branch master at general / stups / visb-visualisation-examples

69722809 · add Event-B version of DieHard (Jars)