Revision fc36d0a0 - added some cleaning about hash-tables used for typing, clocking, etc. - LustreC

« Previous | Next »

Revision fc36d0a0

Added by Xavier Thirioux over 4 years ago

ID fc36d0a0c9dbdd15fad63a9ae6b65512abc3bf67
Parent 222db658
Child 91b83eb8

added some cleaning about hash-tables used for typing, clocking, etc.

added
modified
copied
renamed
deleted

src
- backends
  - C
    - c_backend_makefile.ml (diff)
- checks
  - algebraicLoop.ml (diff)
- global.ml (diff)
- typing.ml (diff)