Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • d3b057e091992ca6a96f7e2ab883ed1e6e3fcdcd
  • main default protected
2 results
Created with Raphaël 2.2.03Jul120Jun1312Aug24Jul1424Junadd some APsmainmainadd testsminor rewrites in ModelCheckerfix typos in JSONsread opreuse infossimplify JSON classesupdate gradle and dependenciesImplement reflections to access functionsUpdate JAR file for B typesMerge branch 'main' of https://gitlab.cs.uni-duesseldorf.de/general/stups/model-checking-projektvorlageAdd read and write informationUpdate btypes.jarUpdate LandingGear, Train and notesAdd Landing Gear, Train, and original B modelsRemove .DS_Store filesAdd gitignoreInitial commitInitial commit