Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 349f096618eaa371c48c95d458c10743f177014a
  • 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.017Jul30Jun2018Mar25Mar29Feb723Nov4Aug19Jul171413121119Jun15May325Apr241724Feb2119Dec131259Nov17Oct330Sep2926Jul6Jun23May428Feb6Jan24Nov814Sep8Jun74323Mar12Feb1121Dec8436Nov517Sep9131Aug22Jul219Jun1611327May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107Mention in README that Java 21 worksmastermasterUpdate Gradle shadow plugin to version 8.3.8Remove explicit targetCompatibility (defaults to sourceCompatibility)Update to new Sonatype snapshots repo URLUpdate Gradle wrapper to version 8.14.3Simplify setting GRADLE_USER_HOME in .gitlab-ci.ymlTry to re-enable CI test againSwitch to release version 4.15.0 of the ProB Java APIInstall JDK and not just JRE on BinderUpdate 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)