Changeset 1408 for src/RTL


Ignore:
Timestamp:
Oct 19, 2011, 11:30:24 AM (9 years ago)
Author:
sacerdot
Message:
  1. Added joint/BEGlobalenvs that is a modification of common/Globalenvs where
    • the memory used is the back-end one
    • no lookup via values is implemented
    • global variables are never initialized in the back-end
  2. Added to all semantics some default value to initialize the initial state
  3. Initial state initialization (in joint/semantics.ma) almost completed.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/semantics.ma

    r1396 r1408  
    1414definition rtl_more_sem_params: more_sem_params rtl_params_ :=
    1515 mk_more_sem_params rtl_params_
    16   (list frame) (register_env beval) graph_succ_p
     16  (list frame) [] (register_env beval) (empty_map …) [] [](*dummy*) graph_succ_p
    1717   reg_store reg_retrieve reg_store reg_retrieve reg_store reg_retrieve
    1818    reg_store reg_retrieve reg_store reg_retrieve
Note: See TracChangeset for help on using the changeset viewer.