summaryrefslogtreecommitdiff
path: root/otherlibs/num/nat.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove otherlibs/numremove-libnumXavier Leroy2017-08-191-594/+0
* Also enable more warnings in otherlibs/ and fix them.Alain Frisch2016-03-151-3/+7
* Update headers for the new license.Damien Doligez2016-02-181-12/+14
* clean up whitespace and cut long linesDamien Doligez2016-02-171-13/+29
* Delete historical french comments in num libraryGabriel Scherer2015-10-091-12/+1
* Translation of french comments in num libraryGabriel Scherer2015-10-091-27/+35
* merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-171-1/+7
* merge branch "safe-string"Damien Doligez2014-04-291-13/+10
* remove $Id markersDamien Doligez2014-04-171-2/+0
* Fix PR#6164Fabrice Le Fessant2013-09-071-1/+3
* PR#4323: have "of_string" in Num and Big_int work with binary and hexa repres...Gabriel Scherer2013-08-041-0/+2
* PR#5934 continued: forgot to commit this in r13438Xavier Leroy2013-03-241-2/+2
* PR#5934: integer shift by negative amount (-1).Xavier Leroy2013-03-241-4/+2
* Enable and fix more warnings.Alain Frisch2012-05-291-1/+1
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* clean up spaces and tabsDamien Doligez2010-01-221-88/+88
* PR#4371: added conversions between big_int and int32/int64/nativeintXavier Leroy2008-01-041-1/+2
* des ignores partout pour supprimer les warnins SLuc Maranget2005-01-211-17/+18
* Attention aux litteraux qui debordent en 32 bits.Xavier Leroy2003-11-211-6/+6
* Primitive C pour l'elevation au carreXavier Leroy2003-11-071-0/+6
* Retour en arriere sur l'exponentiation modulaire, pas correcteXavier Leroy2002-03-141-28/+0
* Renommage modexp -> mod_power pour coherence avec le reste de la bibliothequeXavier Leroy2002-03-111-1/+1
* Ajout de l'exponentiation modulaireXavier Leroy2002-03-101-0/+28
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* sqrt nat: version corrigee.Pierre Weis2001-03-011-66/+61
* Getting rid of obsolete boolean operators & and orPierre Weis2000-12-281-6/+6
* Introduction des blocs de type Custom.Xavier Leroy2000-02-101-1/+6
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Fix du bug signale par Harrison sur nat_of_string "0".Damien Doligez1997-06-121-1/+3
* Correction de sqrt_natXavier Leroy1996-11-131-29/+59
* Utilisation de Sys.os_type et Sys.word_size. Nettoyages.Xavier Leroy1996-11-071-1/+1
* On utilise Sys.get_config au lieu de cpp.Damien Doligez1996-10-071-0/+530