Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 1101b4fa84d2e70a8a2b8a034ada816a03321cf9
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.5.0
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
11 results
Created with Raphaël 2.2.01Aug17Jul30Jun2018Mar25Mar29Feb723Nov4Aug19Jul171413121119Jun15May325Apr241724Feb2119Dec131259Nov17Oct330Sep2926Jul6Jun23May428Feb6Jan24Nov814Sep8Jun74323Mar12Feb1121Dec8436Nov517Sep9131Aug22Jul219Jun1611327May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107Bump version number to 1.5.1-SNAPSHOTmastermasterRelease version 1.5.0v1.5.0v1.5.0Fix inconsistent spellingFix incorrectly placed changelog entryRename Event-B result/dummy variables to also be valid B identifiersFix local variables in Event-B modeRe-run all of the notebooks (except let.ipynb, which doesn't work right)Mention in README that Java 21 worksUpdate 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 manual