aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Various clean-upsv1.4xleroy2009-04-179-75/+61
* Use Configuration.systemxleroy2009-03-291-28/+38
* Update creation Configuration.mlxleroy2009-03-291-1/+2
* cil.patch dir now uselessxleroy2009-03-290-0/+0
* Cleaned up configure script.xleroy2009-03-29296-1356/+82317
* Bug with overflow in line numbersxleroy2009-03-291-0/+24
* Honor "static" modifier on C globals.xleroy2009-03-283-32/+104
* Updatexleroy2009-03-261-0/+25
* Added tail call optimization passxleroy2009-03-269-9/+889
* Optimize redundant casts after memory loadsxleroy2009-02-272-0/+58
* New linearization heuristicxleroy2009-02-271-32/+72
* make install: ./ccomp au lieu de ../ccompblazy2009-02-271-1/+2
* Reserve register GPR13 for compatibility with EABI. Optimize operations 'x >...xleroy2009-02-2610-39/+156
* Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...xleroy2009-01-2911-34/+25
* Elimination of "alloc" instruction in Caml files and test files.xleroy2009-01-118-30/+4
* - Added alignment constraints to memory loads and stores.xleroy2009-01-1167-1488/+719
* Fixed unary minusxleroy2009-01-071-1/+1
* Test for int/float conversionsxleroy2009-01-073-1/+140
* Updatesxleroy2009-01-053-33/+58
* Endianness in testsxleroy2009-01-054-2/+20
* Cminor, CminorSel: removed useless premises in rules for Sreturnxleroy2009-01-044-8/+4
* Some cleanupsxleroy2009-01-021-1/+10
* Wrong dependenciesxleroy2009-01-021-4/+6
* Continuation of ARM port.xleroy2009-01-017-38/+1226
* Cleanupxleroy2008-12-311-105/+0
* Continuation of PowerPC/EABI portxleroy2008-12-314-149/+375
* Turn off generation of libcil.a, which is not correct with OCaml 3.11xleroy2008-12-311-2/+11
* Removed vfprintf, because it was causing portability problemsxleroy2008-12-312-6/+0
* Reorganized the development, modularizing away machine-dependent parts.xleroy2008-12-3066-1221/+12137
* Extract Coq lists to Caml lists.xleroy2008-12-2913-146/+112
* Replace cast{8,16}{signed,unsigned} with zero_ext and sign_ext.xleroy2008-12-2915-367/+844
* Revised back-end so that only 2 integer registers are reserved for reloading.xleroy2008-12-2122-421/+795
* Clight: ajout Econdition, suppression Eindex.xleroy2008-09-278-47/+160
* Update for release 1.3xleroy2008-08-111-1/+2
* New filexleroy2008-08-111-0/+25
* Updatev1.3xleroy2008-08-091-2/+2
* Changes 1.2 -> 1.3xleroy2008-08-091-0/+42
* Ajout nouveaux testsxleroy2008-08-0952-0/+8446
* Plus besoin de rectifier les URL invalidesxleroy2008-08-011-0/+2
* Flag to turn on/off the recognition of fused multiply-add and multiply-subxleroy2008-07-317-61/+69
* Added Slabel, Sgotoxleroy2008-07-311-0/+4
* Update test resultsxleroy2008-07-311-1/+1
* MAJ documentationxleroy2008-07-277-362/+111
* Simplification de la semantique de LTL et LTLin. Les details lies aux conven...xleroy2008-07-258-523/+538
* Augmenter le temps d'execution par defautxleroy2008-07-252-2/+2
* Fusion partielle de la branche contsem: xleroy2008-07-0811-1789/+1778
* Nettoyage du traitement des signatures au return dans LTL et LTLinxleroy2008-07-076-107/+96
* Utilisation de intoffloatu. Ajout du cas int + ptr.xleroy2008-05-314-15/+42
* Revu les comparaisons de pointeurs: == et <> sont definis entre 2 pointeurs v...xleroy2008-05-307-80/+138
* Introduction de l'operation intuoffloat (float -> unsigned int). Pas encore ...xleroy2008-05-3019-10/+449
generated by cgit (git 2.34.1) at 2024-05-20 07:17:45 +0000