Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/development' into sdf
Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd
Update test results after ctxt pop fix in overture
Update models tests results.
Merge remote-tracking branch 'origin/development' into newpog
Merge remote-tracking branch 'origin/development' into sdf
Began work on a visitor to implement the FV function for the refinement tool
Merge with origin/development. Small improvement to the semantics rules of formula script.
Merge remote-tracking branch 'origin/kel/base' into acf
Refactorings in imports and in generation of guards.
Merge commit '60bd844' into sdf
Fixed some bugs in the visitor and added a number of bits of missing syntax, notably parameterised actions are now support (only head form at the moment, not the AST node)
Merge remote-tracking branches 'origin/kel/s2c', 'origin/newpog', 'origin/sdf' and 'origin/acf' into jwc/base
Fixed the interlevel transition, which can now convert all the examples. The insiel example still has one errors, which is the parameter x I have added for debugging. We need to put the state machine inside a block, but artisan does not allow dropping the state machine in a block.
Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branches 'origin/kel/s2c', 'origin/kel/base' and 'origin/alrd' into test
Merge remote-tracking branch 'origin/acf' into alrd
Merge remote-tracking branch 'origin/development' into alrd