aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/byterun/coq_interp.c
Commit message (Expand)AuthorAge
* Rely on ocamlc to call the C compiler...Gravatar glondu2008-09-04
* Correction du problème de complexité de Print Assumptions :Gravatar aspiwack2008-05-27
* patch for C code of addmuldiv31Gravatar thery2008-02-27
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* ajout de head0 et tail0 en natifGravatar bgregoir2007-06-20
* corrections bug dans l'implem de int31Gravatar bgregoir2007-05-15
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11
* Changement dans le kernel : Gravatar bgregoir2006-12-11
* changement des _sym par _comm dans setoid_ringGravatar bgregoir2006-10-27
* Appel à caml_modify pour Ocaml 3.07Gravatar notin2006-09-01
* Modifications dans les scripts de configuration (coqtop et coqide affichent m...Gravatar notin2006-07-28
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* Changement des named_contextGravatar gregoire2005-12-02
* compatibility with POWERPCGravatar gregoire2004-11-22
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 16:54:25 +0000