Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.010Mar15Jan25Nov411Oct10Sep9864325Jul2Jan22Nov18Oct1Aug20May6Apr16Jan7Oct629Sep281916Jun15138726May252326Apr14138Feb432131Jan24822Nov59Jul3130Jun296May5423Mar222123Feb221710943214Jan525Nov242012111014Oct12118new version which uses external SVG and B definitionsmastermasteradd Rodin archiveadd train12 exampleadd newlinesfix width of svg boxexample with new DEFINITION file for Event-B modelimprove cars on a bridge visualisation slightlyminor changefix shiftKey in predicateadd width, heightfix missing closing svg tagsincrease MCTS preferenceallow to influence queens solution depending on clickadd click event for solvingfix spelling of opacitymove defschange in commentadapt sieve exampleadd TLA+ water tank exampleadd TLA+ version of N-Queensmake goal achieved text a bit nicerimprove DieHard visualisationupdate gitignoreadd TLA+ version of Jars puzzleFix syntax error in button.svgadd version of Connect4 for VisB & MCTSadd HTML exportadd TicTacToe TLA+ versionminor changeadd Sieve exampleadd Event-B version of DieHard (Jars)add new style JSON example fileadd VISB_SVG_EVENTS definition to button_defSimplify exampleminimal example using new VisB DEFINITIONSadd example DEFINITION file using new VisB featuresadd viewBoxadd example JSON file with disabled/enabled itemsadd MCTS exampleadd Rodin Real example