Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
2 results
Created with Raphaël 2.2.03Jul28Feb8Dec7616Nov717Aug814Jul10652Feb7Dec619Nov9216Mar25Jul29Jun19Nov1823Oct13Aug28Jul1323Jun161511May81Apr31Mar125Feb430Jan28272621201520Oct1725Sep223Aug191817Jul16Jun18Mar1414Feb28Jan2412Dec26Apr23Jul6Jun20May18925Apr2114Oct11122Jun131May254131Mar124322Feb16Update Eclipse .settings to declare encodings and line separatorsdevelopdevelopSet explicit source file encoding in parent pom.xmlUpdate to Tycho 4.0.8Update CI to Java 17 as required by Rodin 3.9's Eclipse versionUpdate Eclipse repository URL for Rodin 3.9Bump version number to 3.6.1Bump version number to 3.6.03.6.0 master3.6.0 masterDon't use explicit url and version in category.xmlUpdate .classpath for current lib jarsUpdate eventbstruct parser to version 2.13.0Fix feature branding not showing in about window and make it consistentDisallow new Event-B EMF version again because of ordering bugRefactor PersistenceHelper diff filtering and applyingMatch only based on Event-B names and qualified references, not EMF IDsOptimize EventBEObjectMatcher slightlyUpdate mergeComponents debugging time printsMove debug print so it prints immediately after time is measuredLog exceptions in applyDiff instead of just printing them to stdoutRemove unused EventBMatchEngineRemove old diff/merge sources (look in the Git history if you need them)Simplify EventBMerger.isMergerFor using namespace URIsApply upstream fixes to MyReferenceChangeMergerBump version number to 3.5.2Put variant on same line as keyword when pretty-printing3.5.13.5.1Work around Event-B EMF bug that broke adding a variantBump version number to 3.5.1Reformat release history so newest release is directly visible3.5.03.5.0Add release history entry for version 3.5.0Require matching minor version of our own parser dependencySet proper dependency version ranges in MANIFEST.MF filesUpdate EventB EMF version ranges to allow version 7Update eventbstruct parser to version 2.12.7 (no changes)Update eventbstruct parser to version 2.12.6Automatically delete old files in nightly update siteRemove uses of deprecated eventbstruct/SableCC APIsUpdate eventbstruct parser to version 2.12.5Replace all uses of Guava with Java 8 standard APIsRemove classical B parser dependency that isn't actually used hereReplace match="greaterOrEqual" with match="compatible"Sort all the dependencies alphabetically