source: src/LIN/semantics.ma @ 2286

Last change on this file since 2286 was 2286, checked in by tranquil, 8 years ago

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 size: 188 bytes
Line 
1include "LIN/joint_LTL_LIN_semantics.ma".
2include "LIN/LIN.ma". (* CSC: syntax.ma in RTLabs *)
3
4definition LIN_semantics : sem_params ≝
5  make_sem_lin_params LIN (LTL_LIN_semantics ?).
Note: See TracBrowser for help on using the repository browser.