Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • ee534f7c84b7754923c1fa3f63d0e9709c84fa25
  • master default protected
2 results
Created with Raphaël 2.2.020Jun10Mar15Jan25Nov411Oct10Sep9864325Jul2Jan22Nov18Oct1Aug20May6Apr16Jan7Oct629Sep281916Jun15138726May252326Apr14138Feb432131Jan24822Nov59Jul3130Jun296May5423Mar222123Feb221710943214Jan525Nov242012111014Oct12118remove titlemastermasternew version which uses external SVG and B definitionsadd 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 example