Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • csp
  • develop default protected
  • feature/csp
  • feature/multiview
  • feature/newcore
  • feature/theory_plugin
  • master protected
  • rodin2
  • rodin3
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
18 results
Created with Raphaël 2.2.07Nov6531Oct26252423181716151211525Sep1713127654331Aug3027242322212017141110876330Jul25231816330Jun29282722211911852131May30291815117432127Apr252423201911963229Mar232176528Feb1727Jan2320181714Dec1312530Nov29262524fixed PROBPLUGIN-39fixed PROBPLUGIN-40fixed PROBPLUGIN-33minor changesminor changestable reacts on visible attribute nowMerge branch 'develop' of github.com:bendisposto/prob into developfixed PROBPLUGIN-44refactoring attribute handlingremoved unused codeset coordinates and size attributes of the light model to invisible andtranslate EMF to own representationadded some copyright informationset background of track node figure to transparentsome minor fixesset background of switch figure to transparentregister de.prob.core as buddyMerge remote-tracking branch 'origin/develop' into developmoved model classesdependencies fixedMerge branch 'develop' of github.com:bendisposto/prob into developfixed PROBPLUGIN-41PROBCORE-152 Working on serialization on the Prob 1 sideAdded Xstream as a dependencyremoved some files + libraries + replaced some old librariesMerge branch 'develop' of github.com:bendisposto/prob into developremoved unused dependencyadded layout policy to signalremoved old xstream library from build.propertiesPROBCORE-152 create the files for serialization instead of emffixed PROBPLUGIN-27 using a newer version of xstream (the old one wasadded option to show event parametersMerge remote-tracking branch 'origin/develop' into developMerge remote-tracking branch 'origin/develop' into feature/theory_pluginadded export of type parameters and data type definitionsMerge branch 'develop' of github.com:bendisposto/prob into developcheck observer of tracksworkaround in switchfixed critical bug in switch (visualization containing a switch can notMerge remote-tracking branch 'origin/develop' into feature/theory_plugin