Revision 70be4acf - Serious refactoring of scopes plug-in: - now properly records the scopes - on... - LustreC

« Previous | Next »

Revision 70be4acf

ID	70be4acf31e946816837a720886135d5eea415f2
Parent	57bf28d9
Child	f0a067e9

Added by Pierre-Loïc Garoche 10 months ago

Serious refactoring of scopes plug-in:
- now properly records the scopes
- only register requested ones

Files

added
modified
copied
renamed
deleted

View differences

src
- corelang.ml (diff)
- corelang.mli (diff)
- machine_code.ml (diff)
- machine_code.mli (diff)
- machine_code_common.ml (diff)
- machine_code_common.mli (diff)
- plugins
  - scopes
    - scopes.ml (diff)
- plugins.ml (diff)