Begin a branch for the new theory definition el...
Axiomatic Definition PrettyPrinter Added.
small change to journal intro
latest change to Journal Article
pull in tele-work
Updates to C Code generator, changed enum parti...
Provided a message in generated code:
More CG updates for C array assignment post-pro...
CG updates for C array initialisation.
Added updates clean unicode chars from the C co...
Added updates to fix bugs for Prime, C code gen.
Added updates to fix bugs for Prime, C code gen.
Updated Composition/Decomposition update site t...
Latest work on updating Composition/Decompositi...
Stand-alone composition flattener feature remov...
Changes on 'old' rodin 2.8 CG branch for Asieh'...
Changes and tests for composition / decompositi...
More renaming, to make field names etc. more re...
Renamed some fields/variables, in the composed ...
Composition/Decomposition Migration to Rodin 3....
Latest work on updating Composition/Decompositi...
soton.composition.refactory is not required. It...
Changes and tests for composition / decompositi...
Changes and tests for composition / decompositi...
Changes required for updates to latest composit...
Initial Import of Tests
Initial Import of Tests
Latest work on updating Composition/Decompositi...
Added more ItemRelations to decomposition.
Added some itemRelations for composition/decomp...
Set Templates to Java 1.6 Execution Environment...
Reset to Templates to Java 1.6 for VHDL generator
In Progress: Tidying up / constructing internal...
More revised (relaxed) version constraints.
Relaxed more dependencies.
Relaxed more dependencies.
Latest work on updating Composition/Decompositi...
Merged over the revised (relaxed) version const...
Amended plug-in version constraints to improve ...
Setting up windows branch
Setting up Linux branch
Setting up windows branch
Setting up Linux branch
Latest work on updating Composition/Decompositi...
Latest work on updating Composition/Decompositi...
Changes to revert special windows build.
Clean-up for Update site
Added external feature dependencies to code gen...
Debugged after moving to Kepler, interface rest...
More gitignores created by Eclipse autoIgnore
Added Templates to CodeGen Feature Build, and g...
Modified Code Generator to suit latest composit...
Some changes to suit a more generic approach.
Merge branch 'nonSynchronousStateMch' into v201...
Removed compositeModel package residing in the ...
Small Update to Composition/Decomposition Updat...
Small Update to Composition/Decomposition Featu...
Working on Rodin3.0.1 Branch of SE Decompositio...
Working on Rodin3.0.1
Removed file from SharedEventComposition Rodin3...
Working on Rodin3.0.1
Working on Rodin3.0.1
Working on Rodin3.0.1
Working on Rodin3.0.1
Working on Rodin3.0.1
Working on Rodin3.0.1
Working on Rodin3.0.1
Working on Rodin3.0.1
Working on Rodin3.0.1
added ignore
Model Decomposition 1.2.7.x and Shared Event Co...
Commit for tele-working
Changes to TaskingTranslation manager to facili...
Updated Tests for new Code/latest methodology.
Merge from development branch: Redesign of buil...
Added scheduling rule, changed delta processor.
Adding decomposition plug-in to branch
Composition Plug-in utils: Commented-out seemin...
Added a few comments to the Composition DeltaPr...
Changed location of drainTo method in compositi...
Changed use of BlockingQueue in DeltaProcessor
Branch: Removed all code associated with the ti...
Cleaning up unwanted branch
Updated DeltaProcessor.
Branch: Added Timeout to Decomposition Plug-in
Branch: Added Timeout to Decomposition Plug-in
Commit for tele-working