Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 56a272ddade3ceb5f2108be63de14bb58c2d4652
  • 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.020Jun18Mar25Mar29Feb723Nov4Aug19Jul171413121119Jun15May325Apr241724Feb2119Dec131259Nov17Oct330Sep2926Jul6Jun23May428Feb6Jan24Nov814Sep8Jun74323Mar12Feb1121Dec8436Nov517Sep9131Aug22Jul219Jun1611327May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107Install JDK and not just JRE on BindermastermasterUpdate other dependenciesMention ProB update in changelogUse new trace-based dot/table visualization APIsReimplement processResources to avoid Gradle deprecation warningsUpdate for incompatible changes to CompleteIdentifierCommandSwitch to com.gradleup.shadow plugin to fix Gradle deprecation warningsReplace uses of deprecated Gradle assignment syntaxUpdate Gradle wrapper to version 8.13Update ProB Java API to version 4.13.2-SNAPSHOTUpdate ProB Java API to version 4.13.1Switch to release version 4.13.0 of ProB Java APIUpdate Gradle wrapper to version 8.6Update ProB Java API to new snapshot version numberUpdate CommandUtils.bExpressionCompleter to new command APIUpdate ProB Java API to current 4.12.3-SNAPSHOTUpdate 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.1