Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 812e1ac5280f6dfe96f23c328deb899d8de9967a
  • 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.023Nov4Aug19Jul171413121119Jun15May325Apr241724Feb2119Dec131259Nov17Oct330Sep2926Jul6Jun23May428Feb6Jan24Nov814Sep8Jun74323Mar12Feb1121Dec8436Nov517Sep9131Aug22Jul219Jun1611327May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107Update Gradle shadow plugin to version 8.1.1Update Gradle wrapper to version 8.4Begin supporting use of native let variables on the Prolog sideadd notebook with satsolver testsEnable ID prefix for VisB to avoid ID conflicts between cellsadd missing svgDisable VisB headersupdate VisB manualupdate VisB manualadd VisB features notebookRerun VisB_Test.ipynb to remove debug print junkupdate Makefile for new way to specify PROB_HOMEadd 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.6
Loading