Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • adde75c8b0a6297863619dc623d2a5ed88815143
  • 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.011Feb21Dec8436Nov517Sep9131Aug22Jul219Jun1611327May1814430Apr22165Mar327Feb25201817131254313Jan9619Dec4218Nov16Oct14109410May9761Mar28Feb1223Jan1030Nov19Oct18171615227Sep29Aug27139723Jul201917161265228Jun2625222120181476432130May2928262524231614131211107Replace convention properties with extension blocks in build.gradleUpdate various dependenciesUpdate Gradle wrapper to version 6.8.2Update ProB 2 version to 3.12.0Use new ProB 2 APIs for getting visualization commands by nameUse new ProB 2 method for dot visualization without manual temp fileUse new high-level dot and table visualization APIsAdd download links for latest snapshot build from GitLab CIRestructure download links in README a bitAllow switching the language used to parse formulas input by the userDocument improved error highlighting in changelogRun commands in a separate executor instead of the main kernel threadAlso recognize special machine names without .mch in error highlightingDisplay extra context lines before and after error line(s)Implement error highlighting for code not from the current cellFix error highlighting being applied to external filesMove ProBKernel.currentMachineDirectory initializationFix current trace being null after failing to load a machineRemove setting of prob.stdlib now that ProB 2 does it automaticallyAdd own dependency on Logback because ProB 2 no longer provides itMake :exec/:init/:constants automatically move in trace as neededexec_auto_adjus…exec_auto_adjust_trace remote_mirror_79473218c90a379023dc0036595d9742/exec_auto_adjust_traceDisplay pretty operation names in operation execution outputMerge implementations of :constants, :init and :execUse new ProB 2 API methods for handling pretty operation namesUse new StateSpace preference methods in :pref implementationUse the same probcli instance to load all machinesDocument command parsing refactoring in CHANGELOGRemove unnecessary special case in inspection/completionFix completion not working if no arguments have been typed yetFix a fencepost error in CommandUtils.matchBIdentifierAtAdd PositionedString.getEndPosition helper methodUnify command name/argument splitting in ProBKernelUnify handling of command-less input in ProBKernelRemove ProBKernel.completeInternal special case for only whitespaceChange ProBKernel.complete internals to use PositionedStringChange ProBKernel.inspect internals to use PositionedStringChange ProBKernel.eval internals to use PositionedStringChange CommandUtils argument parsing methods to accept PositionedStringFix a bug that made splitting of command bodies always failRemove CommandUtils.(inspect|complete)In(BExpression|Preference)