You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Adrien Guatto 54cbec9190 C backend: generate A_types.{h,c} when compiling A.epi ... Before this commit, the C backend would put the translated definitions of an interface file A.epi into A.{h,c}. This is inconsistent with the C code generated for source files, which expects to find A_types.{h,c}.		5 years ago
..
c	C backend: generate A_types.{h,c} when compiling A.epi	5 years ago
java	Clean-up of verbose output	7 years ago
main	Clean-up of verbose output	7 years ago
transformations	Clean up documentation comments	7 years ago
_tags	Heptc compiles again	13 years ago
control.ml	Passes optimization	7 years ago
obc.ml	Fixed warnings & documentation comments.	11 years ago
obc_compare.ml	Added Marc as co-author	12 years ago
obc_mapfold.ml	Added Marc as co-author	12 years ago
obc_printer.ml	Pretty-printing class parameters in obc	8 years ago
obc_utils.ml	Fixed warnings.	10 years ago