aboutsummaryrefslogtreecommitdiff
path: root/plugins/nsatz/ideal.ml
AgeCommit message (Expand)Author
2020-08-27[nsatz] num → zarithVincent Laporte
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-27Remove unused [open] statementsGaetan Gilbert
2017-04-27Remove some unused values and typesGaetan Gilbert
2017-04-09Fix an algorithmic issue in Nsatz.Pierre-Marie Pédrot
2017-04-09Academic prescriptivism strikes back: down with baroque programming in Nsatz.Pierre-Marie Pédrot
2016-09-28Adding interface files to Nsatz ML files.Pierre-Marie Pédrot
2016-09-26Fast russian peasant exponentiation in Nsatz.Pierre-Marie Pédrot
2016-09-26Monomorphizing various uses of arrays in Nsatz.Pierre-Marie Pédrot
2016-09-26Partial fix for bug #5085: nsatz_compute stack overflows.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2013-09-19Get rid of the uses of deprecated OCaml elements (still remaining compatible ...xclerc
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 7)letouzey
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-08-08Updating headers.herbelin
2012-06-28Cleaning opening of the standard List module.ppedrot
2011-06-16Tests de nsatz avec la geometriepottier
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-03Misc fixes related to new nsatz (and ocamlbuild)letouzey
2010-06-03nsatz ajoutepottier
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:05:43 +0000