Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • release
  • v2.2.0
  • v2.1.1
  • v2.1.0
  • v2.0.5
  • v2.0.2
  • v2.0.1
  • v2.0.0
  • v1.3.4
  • v1.5.0
  • v1.4.0
  • v1.3.3
  • v1.3.2
  • v1.3.1
  • v1.3
  • v1.2
  • v1.1
  • v1.0
  • 0.0.1
  • 0.0.2
21 results
Created with Raphaël 2.2.08Mar49Oct26Jun2323May11Nov10931Oct2821201822Sep3126Aug241917161513111098630Jul292114Jun11Prepare server for new `prob` settings prefixv2.2.0 masterv2.2.0 masterUse Groovy-less variant of ProB Java APIUpdate ProB Java API to version 4.13.0Update dependencies and Gradle pluginsRemove generated commentsUpdate Gradle wrapper to version 8.6Switch to native YAML syntax for GitLab CI trigger jobTrigger extension CI automatically after this CI finishesRemove gradle.properties (Gradle shouldn't use that much RAM...)Remove no longer needed package.jsonRemove unused Git version stuff from build.gradle.ktsRemove direct Gson dependency (already pulled in via lsp4j)Remove unused dependenciesDowngrade to lsp4j 0.20.1 for Java 8 compatibilitySet Java versions explicitly in build.gradle.ktsConfigure JUnit test reports for GitLab CIAdd GitLab CI configRemove install scripts from package.jsonRemove printlns that seem to break the stdout communicationFix main class nameRemove GitHub Actions workflowsUpdate repo URLsRelicense to EPL-2.0 for consistencybring back package.jsonupdated rest of dependenciesupdated several dependencieschanged file handling to use File and fixed output locationchanged file handling to use File and fixed output locationfixed failing testfixed indentsfixed indentsadded missing "joB"fixed failing taskadded shadowjar taskfixed windows related bugsfixed bug when a Windows system has multiple rootswindows debug messagefixed failing testschanged file representation for test purposesfixed syntax