Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • a9b592ec264199011499357bafbcb7ba542ef99b
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
10 results
Created with Raphaël 2.2.013Jul121119Jun15May325Apr241724Feb2119Dec131259Nov17Oct330Sep2926Jul6Jun23May428Feb6Jan24Nov814Sep8Jun74323Mar12Feb1121Dec8436Nov517Sep9131Aug22Jul219Jun1611327May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107add test for VisB renderingHide info section in VisB visualizationsAdd initial VisB support to :showDisable test because jupyter-console is broken on Ubuntu 22.04 (jammy)Switch CI from openjdk to eclipse-temurin imagesUpdate ProB Java API to version 4.12.2-SNAPSHOTMerge branch 'master' of gitlab.cs.uni-duesseldorf.de:general/stups/prob2-jupyter-kernelBump version number to 1.4.2-SNAPSHOTRelease version 1.4.1v1.4.1v1.4.1Remove explicit wrapper version from build.gradleUpdate Gradle wrapper to version 8.1.1Update ProB Java API to version 4.12.1Bump version number to 1.4.1-SNAPSHOTRelease version 1.4.0v1.4.0v1.4.0Fix release upload conditionPrepare automatic upload of release buildsRe-run all the notebooksFix weird argument issue in installKernelSpec taskUpdate other dependenciesUpdate to ProB Java API version 4.12.0add info about random float generationReplace use of deprecated getNextTransitions overloadUpdate www3 URLs to stups.hhu-hosting.deUpdate ProB website/wiki linksfix let expression created for Event-BUpdate dependenciesDowngrade to Logback 1.3 for Java 8 compatibilityUpdate Gradle wrapper to version 7.6Update Logback for slf4j 2.0 compatibilityfix tabs in MakefilUse \def instead of \newcommand to define custom LaTeX commandsadd target do deinstall in MakefileRestore old end user installation instructions until next releaseadd another notebookTry to recover from syntax highlighting errorsRewrite installation process to be fully Python-basedadd first text about Event-Badd more operator descriptionsadd float/reals manualadd presentation