Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove otherlibs/numremove-libnum | Xavier Leroy | 2017-08-19 | 1 | -178/+0 |
* | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -12/+14 |
* | clean up whitespace and cut long lines | Damien Doligez | 2016-02-17 | 1 | -2/+0 |
* | Use 32x32->64 multiplication as provided by the C compiler when possible. | Xavier Leroy | 2013-07-18 | 1 | -0/+8 |
* | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez | 2011-07-27 | 1 | -1/+1 |
* | PR#4676: wrong constant in Win64 IL32LLP64 model | Xavier Leroy | 2010-04-28 | 1 | -1/+1 |
* | clean up spaces and tabs | Damien Doligez | 2010-01-22 | 1 | -1/+0 |
* | Remplacement de la couche basse BigNum | Xavier Leroy | 2003-10-24 | 1 | -0/+171 |