Changeset 2286 for src/LTL/semantics.ma


Ignore:
Timestamp:
Aug 2, 2012, 3:18:11 PM (8 years ago)
Author:
tranquil
Message:

Big update!

  • merge of all _paolo variants
  • reorganised some depends (in particular, Register and thus back-end laguages no longer have fake ASM dependency)
  • split I8051.ma spawning new BackEndOps?.ma

compiler.ma broken at the moment, but not by these changes as far as I can tell

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/semantics.ma

    r1451 r2286  
    22include "LTL/LTL.ma". (* CSC: syntax.ma in RTLabs *)
    33
    4 definition ltl_fullexec : fullexec io_out io_in ≝
    5  ltl_lin_fullexec … graph_succ_p (graph_fetch_statement … (ltl_lin_sem_params …))
    6   (graph_pointer_of_label …).
     4definition LTL_semantics : sem_params ≝
     5  make_sem_graph_params LTL (LTL_LIN_semantics ?).
Note: See TracChangeset for help on using the changeset viewer.