Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • b2e828b6395e29f0e2f1811ae48ac24567d8cd9a
  • 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.03Oct30Sep2926Jul6Jun23May428Feb6Jan24Nov814Sep8Jun74323Mar12Feb1121Dec8436Nov517Sep9131Aug22Jul219Jun1611327May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107add presentationadd target in Makefile to install kernel for VSCodeMake :exec/:init automatically set up constants/initialize if neededRemove no longer needed handling of null ProBError.getErrorsUse new ProB 2 Language class instead of custom FormulaLanguageFix missing source code for evaluation errorsImprove display of evaluation errors using new position informationUpdate Gradle wrapper to version 7.4.2Use new getters for properties/invariant/assertions in :checkDisable use of LaTeX in :check tables as wellUpdate Gradle wrapper to version 7.4Bump version number to 1.3.1-SNAPSHOTUpdate download link for latest releaseRelease version 1.3.0v1.3.0v1.3.0Re-execute all notebooks using current kernelFix type errors in tests/chr_tests.ipynbUpdate all other dependencies to their latest versionsSwitch to release version 3.15.0 of ProB 2Use plain Unicode instead of LaTeX in rich text :table outputFix source code not being shown in :type errorsAllow spaces around equals sign in :letInclude short version information in banner messageRemove let variables from solution outside of Event-B mode tooAllow equals sign between name and value in :letDocument Java 17 compatibilityFix local variables in Event-B modeFix outdated help text for :let commandAutomatically insert local variables when parsing formulasUse PredicateBuilder to build let variable assignmentsUpdate dependenciesRemove no longer needed workaround for shadow pluginUpdate plugins in build.gradleUpdate Gradle wrapper to version 7.2 for Java 16 compatibilityShorten ABZ 2021 slides slightlyremote_mirror_7…remote_mirror_79473218c90a379023dc0036595d9742/masterUpdate ABZ 2021 slides againUpdate ABZ 2021 slidesAdd initial version of ABZ 2021 slidesFix :trace sometimes displaying transitions as nullSwitch to latest snapshot version of ProB 2Remove no longer needed handling of ModelTranslationError