Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
src/_tags.in | ||
---|---|---|
9 | 9 |
"plugins/salsa": include |
10 | 10 |
"plugins/scopes": include |
11 | 11 |
"plugins/mpfr": include |
12 |
"features/machine_types": include |
|
12 | 13 |
"tools/stateflow": include |
13 | 14 |
"tools/stateflow/common": include |
14 | 15 |
"tools/stateflow/semantics": include |
... | ... | |
46 | 47 |
|
47 | 48 |
# Local Variables: |
48 | 49 |
# mode: conf |
49 |
# End: |
|
50 |
# End: |
Also available in: Unified diff
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program