source: Deliverables/D2.2/8051/src/clight @ 1664

Name Size Rev Age Author Last Change
../
clight32ToClight8.ml 22.6 KB 818   8 years ayache 32 and 16 bits operations support in D2.2/8051
clight32ToClight8.mli 651 bytes 619   9 years ayache Update of D2.2 from Paris.
clight.mli 6.8 KB 1542   8 years tranquil merge of indexed labels branch
clightAnnotator.ml 16.9 KB 1542   8 years tranquil merge of indexed labels branch
clightAnnotator.mli 1.3 KB 1542   8 years tranquil merge of indexed labels branch
clightCasts.ml 6.7 KB 1099   8 years ayache Bug fix in Deliverables/D2.2/8051: cast simplification.
clightCasts.mli 337 bytes 740   9 years ayache New memory model and bug fixes in 8051 branch. Added primitive …
clightFlags.ml 1.3 KB 486   9 years ayache Deliverable D2.2
clightFold.ml 7.5 KB 1542   8 years tranquil merge of indexed labels branch
clightFold.mli 1.6 KB 818   8 years ayache 32 and 16 bits operations support in D2.2/8051
clightFromC.ml 28.4 KB 1542   8 years tranquil merge of indexed labels branch
clightInterpret.ml 22.6 KB 1542   8 years tranquil merge of indexed labels branch
clightInterpret.mli 305 bytes 740   9 years ayache New memory model and bug fixes in 8051 branch. Added primitive …
clightLabelling.ml 12.2 KB 1542   8 years tranquil merge of indexed labels branch
clightLabelling.mli 787 bytes 486   9 years ayache Deliverable D2.2
clightLustre.ml 1.3 KB 1490   8 years ayache Function pointers fixed.
clightLustre.mli 202 bytes 1490   8 years ayache Function pointers fixed.
clightLustreMain.ml 6.9 KB 1490   8 years ayache Function pointers fixed.
clightLustreMain.mli 682 bytes 1490   8 years ayache Function pointers fixed.
clightParser.ml 1.7 KB 1462   8 years ayache Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been …
clightParser.mli 355 bytes 1542   8 years tranquil merge of indexed labels branch
clightPrinter.ml 16.9 KB 1542   8 years tranquil merge of indexed labels branch
clightPrinter.mli 357 bytes 818   8 years ayache 32 and 16 bits operations support in D2.2/8051
clightSwitch.ml 2.6 KB 1462   8 years ayache Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been …
clightSwitch.mli 228 bytes 818   8 years ayache 32 and 16 bits operations support in D2.2/8051
clightToCminor.ml 23.9 KB 1542   8 years tranquil merge of indexed labels branch
clightToCminor.mli 336 bytes 818   8 years ayache 32 and 16 bits operations support in D2.2/8051
clightUtils.ml 2.2 KB 486   9 years ayache Deliverable D2.2
clightUtils.mli 440 bytes 486   9 years ayache Deliverable D2.2
loopPeeling.ml 8.5 KB 1664   8 years tranquil corrected a bug in loop peeling where continue and breaks were not …
loopPeeling.mli 75 bytes 1569   8 years tranquil * added in repository some missing files…
loopUnrolling.ml 7.2 KB 1569   8 years tranquil * added in repository some missing files…
loopUnrolling.mli 100 bytes 1569   8 years tranquil * added in repository some missing files…
runtime.ml 14.8 KB 1525   8 years ayache D2.2: function pointers using JMP.
runtime.mli 1006 bytes 818   8 years ayache 32 and 16 bits operations support in D2.2/8051
Note: See TracBrowser for help on using the repository browser.