|
Last change
on this file since 2396 was
2286,
checked in by tranquil, 9 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 | |
|---|
| 1 | include "LIN/joint_LTL_LIN_semantics.ma". |
|---|
| 2 | include "LIN/LIN.ma". (* CSC: syntax.ma in RTLabs *) |
|---|
| 3 | |
|---|
| 4 | definition LIN_semantics : sem_params ≝ |
|---|
| 5 | make_sem_lin_params LIN (LTL_LIN_semantics ?). |
|---|
Note: See
TracBrowser
for help on using the repository browser.
