tree be578fca4df1c88287ffec384ea968b1a464b09c
parent 1d5655f59444f22f91dc91bec38283d5be106212
parent 12b037594abfec83e15db4de4587c9d8dba26767
author Alberto Debiasi <adebiasi@fbk.eu> 1591264044 +0200
committer Alberto Debiasi <adebiasi@fbk.eu> 1591264044 +0200

Merge remote-tracking branch 'Polarsys/neon' into polarsys-master

Conflicts:
	plugins/org.polarsys.chess.statebased/ATL/CHESS2IM.atl
	plugins/org.polarsys.chess.statebased/transformations/CHESS2IM.asm

Change-Id: I9963be6caa9b074e54ef3b23044d3c6a405d0fc2