Project

General

Profile

« Previous | Next » 

Revision 66359a5e

Added by Pierre-Loïc Garoche about 7 years ago

[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

View differences:

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