AST splitting from core and other related refactoring

septract / starling-tool

An automatic verifier for concurrent algorithms.

MIT License

7 stars 4 forks source link

Closed MattWindsor91 closed 7 years ago

MattWindsor91 commented 7 years ago

NOTE: This depends on #100 and is depended on by #99

Just a load of boring refactoring I did ages ago to split some AST type constructs from some modeller constructs. Arrays depends on it though