Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/asmcomp
History
Xavier Leroy 5e152f7945 - Revu en profondeur la verification des CRC d'interfaces. 
Cela corrige le PR#1064.
- Les CRC des modules constituant un programme sont stockes dans
  l'executable bytecode, section CRCS.  Revu Dynlink pour utiliser ces
  CRC au lieu d'attendre de l'utilisateur qu'il les fournisse.
  MAJ du debugger en consequence.
- Introduction et utilisation du fichier stdlib/StdlibModules.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 		2002-11-17 16:42:12 +00:00
..
alpha Patches for OpenBSD/Alpha (PR#1392) 2002-09-20 11:40:28 +00:00
arm deps 2002-07-22 16:38:07 +00:00
hppa deps 2002-07-22 16:38:07 +00:00
i386 Revu compilation des 'raise' et des 'exit' en position d'argument de fonction ou de primitives (PR#1367). A tester soigneusement 2002-11-04 16:25:09 +00:00
ia64 deps 2002-07-22 16:38:07 +00:00
m68k Deprecated the M68k port 2000-02-04 15:34:43 +00:00
mips deps 2002-07-22 16:38:07 +00:00
power deps 2002-07-22 16:38:07 +00:00
sparc deps 2002-07-22 16:38:07 +00:00
.cvsignore configure: suppression "smart preprocessing" pour MacOS X 2002-01-18 15:13:26 +00:00
asmgen.ml Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
asmgen.mli Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
asmlibrarian.ml PR#1020 2002-04-04 09:00:16 +00:00
asmlibrarian.mli Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
asmlink.ml - Revu en profondeur la verification des CRC d'interfaces. 2002-11-17 16:42:12 +00:00
asmlink.mli Nettoyage gestion option -o 2002-06-11 14:15:12 +00:00
asmpackager.ml Dans le .cmx produit, ne pas oublier de mettre le CRC du .cmi correspondant (PR#1252) 2002-07-22 08:06:28 +00:00
asmpackager.mli Ajout du packaging d'unites de compilation (option -pack) 2002-02-08 16:55:44 +00:00
clambda.ml optimsation pm a donf 2001-02-19 20:15:42 +00:00
clambda.mli optimsation pm a donf 2001-02-19 20:15:42 +00:00
closure.ml Ajout du packaging d'unites de compilation (option -pack) 2002-02-08 16:55:44 +00:00
closure.mli Changement de la licence 1999-11-17 18:59:06 +00:00
cmm.ml or-pat avec variables et compil du switch 2000-10-02 14:08:30 +00:00
cmm.mli or-pat avec variables et compil du switch 2000-10-02 14:08:30 +00:00
cmmgen.ml amelioration de let rec 2002-11-07 17:57:23 +00:00
cmmgen.mli Ajout du packaging d'unites de compilation (option -pack) 2002-02-08 16:55:44 +00:00
codegen.ml Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
codegen.mli Changement de la licence 1999-11-17 18:59:06 +00:00
coloring.ml Getting rid of obsolete boolean operators & and or 2000-12-28 13:07:42 +00:00
coloring.mli Changement de la licence 1999-11-17 18:59:06 +00:00
comballoc.ml new or-pat compilation + exhaustiveness used in compilation 2000-08-11 19:50:59 +00:00
comballoc.mli Changement de la licence 1999-11-17 18:59:06 +00:00
compilenv.ml Chercher les infos sur le module Foo dans les fichiers Foo.{cmi,cmx} et foo.{cmi,cmx} (PR#1177) 2002-06-07 07:35:38 +00:00
compilenv.mli Ajout du packaging d'unites de compilation (option -pack) 2002-02-08 16:55:44 +00:00
emit.mli Changement de la licence 1999-11-17 18:59:06 +00:00
emitaux.ml Changement de la licence 1999-11-17 18:59:06 +00:00
emitaux.mli Reaching the format graal: the fourth element 2002-10-31 09:56:11 +00:00
interf.ml Remplacement de la matrice de bits pleine par une matrice creuse a base de hachage, devrait mieux tenir le choc sur les grosses fonctions 2001-09-11 15:30:38 +00:00
interf.mli Changement de la licence 1999-11-17 18:59:06 +00:00
linearize.ml PowerPC: traiter correctement les branchements conditionnels relatifs qui debordent (PR#723) 2002-01-09 19:40:48 +00:00
linearize.mli PowerPC: traiter correctement les branchements conditionnels relatifs qui debordent (PR#723) 2002-01-09 19:40:48 +00:00
liveness.ml new or-pat compilation + exhaustiveness used in compilation 2000-08-11 19:50:59 +00:00
liveness.mli Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
mach.ml new or-pat compilation + exhaustiveness used in compilation 2000-08-11 19:50:59 +00:00
mach.mli new or-pat compilation + exhaustiveness used in compilation 2000-08-11 19:50:59 +00:00
printcmm.ml or-pat avec variables et compil du switch 2000-10-02 14:08:30 +00:00
printcmm.mli Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
printlinear.ml Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
printlinear.mli Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
printmach.ml new or-pat compilation + exhaustiveness used in compilation 2000-08-11 19:50:59 +00:00
printmach.mli Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf 2000-04-21 08:13:22 +00:00
proc.mli Changement de la licence 1999-11-17 18:59:06 +00:00
reg.ml Determination automatique du premier numero de register libre 2000-06-29 11:44:06 +00:00
reg.mli Changement de la licence 1999-11-17 18:59:06 +00:00
reload.mli Changement de la licence 1999-11-17 18:59:06 +00:00
reloadgen.ml new or-pat compilation + exhaustiveness used in compilation 2000-08-11 19:50:59 +00:00
reloadgen.mli Changement de la licence 1999-11-17 18:59:06 +00:00
schedgen.ml Getting rid of obsolete boolean operators & and or 2000-12-28 13:07:42 +00:00
schedgen.mli Changement de la licence 1999-11-17 18:59:06 +00:00
scheduling.mli Changement de la licence 1999-11-17 18:59:06 +00:00
selectgen.ml Revu compilation des 'raise' et des 'exit' en position d'argument de fonction ou de primitives (PR#1367). A tester soigneusement 2002-11-04 16:25:09 +00:00
selectgen.mli Revu compilation des 'raise' et des 'exit' en position d'argument de fonction ou de primitives (PR#1367). A tester soigneusement 2002-11-04 16:25:09 +00:00
selection.mli Changement de la licence 1999-11-17 18:59:06 +00:00
spill.ml optimsation pm a donf 2001-02-19 20:15:42 +00:00
spill.mli Changement de la licence 1999-11-17 18:59:06 +00:00
split.ml new or-pat compilation + exhaustiveness used in compilation 2000-08-11 19:50:59 +00:00
split.mli Changement de la licence 1999-11-17 18:59:06 +00:00