Generate aliased context in Ada backend

README.md

@@ -142,6 +142,9 @@ The background pattern was downloaded from www.subtlepatterns.com
 Changelog
 =========
 
+1.5.25 (01/2017)
+    - Ada backend generates aliased context (used for model checking)
+
 1.5.24 (01/2017)
     - PR file use better indentation for text areas (no line return)
 

opengeode/AdaGenerator.py

@@ -277,7 +277,8 @@ LD_LIBRARY_PATH=. opengeode-simulator
                                 default=u' := ' + dstr if def_value else u''))
 
     context_decl.append('end record;')
-    context_decl.append('{ctxt}: {ctxt}_Ty;'.format(ctxt=LPREFIX))
+    # context is aliased so that the model checker can work with access type
+    context_decl.append('{ctxt}: aliased {ctxt}_Ty;'.format(ctxt=LPREFIX))
     if simu:
         # Export the context, so that it can be manipulated from outside
         # (in practice used by the "properties" module.

opengeode/opengeode.py

@@ -138,7 +138,7 @@ except ImportError:
 
 
 __all__ = ['opengeode', 'SDL_Scene', 'SDL_View', 'parse']
-__version__ = '1.5.24'
+__version__ = '1.5.25'
 
 if hasattr(sys, 'frozen'):
     # Detect if we are running on Windows (py2exe-generated)