Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/ahm' into sdf
Removed an irrelevant comment
Merge remote-tracking branch 'origin/ahm' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/ahm' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Add the maude rules from the refinementtool plugin to the p2 bundling
instructions for then the distribution zipfiles are made.
Merge remote-tracking branch 'origin/jwc/base' into sdf
Merge remote-tracking branch 'origin/sdf' into ahm
Added natural numbers and communication to syntax
Merge remote-tracking branch 'origin/ahm' into sdf
Added refinement law for breaking recursion into parallel recursions.
Added syntax for parallelism, channel sets and name sets.
Handle unsupported definitions using defaultPDefinition visitor method
Added refinement law for distribution of parallelism over recursion with hiding.
Fixed some issues with the syntax of channel sets and name sets.
Merge remote-tracking branch 'origin/development' into sdf
Added specification statement splitting rule.
Added copy-rule right to left.
Added syntax for specification statement.