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
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
fixed copoy/past error in cosim protocol version (now the value is 3.0.0 as it should be)
Merge remote-tracking branch 'origin/test' into kel/base
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