summaryrefslogtreecommitdiff
path: root/middle_end/backend_intf.mli
Commit message (Expand)AuthorAgeFilesLines
* Remove unnecesary executable bit from sourcesDavid Allsopp2019-02-271-0/+0
* typos ('middle_end' directory)Fourchaux2016-06-111-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-2/+2
* Add warning headers to flambda filesPierre Chambart2016-01-221-0/+2
* Correct name of licenceMark Shinwell2016-01-051-1/+1
* New files for flambdaMark Shinwell2016-01-041-0/+45