Revision 017eec6a - Renamed ISet of Machine_code to VSet: was sets of variable and was conflictin... - LustreC

« Previous | Next »

Revision 017eec6a

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

ID 017eec6ade4d3e1783818ceea09d9c60dd566537
Parent a6b58a46
Child dd71e482

Renamed ISet of Machine_code to VSet: was sets of variable and was conflicting with ISet from Utils which carries strings.

added
modified
copied
renamed
deleted

src
- machine_code.ml (diff)
- optimize_machine.ml (diff)