aboutsummaryrefslogtreecommitdiff
path: root/kernel
AgeCommit message (Expand)Author
2013-02-11Fixing bug in native compiler with let patterns in fixpoint definitions.mdenes
2013-01-28Actually adding backtrace handling.ppedrot
2013-01-28Uniformization of the "anomaly" command.ppedrot
2013-01-28native_compute: Fixed dependencies compilation order.mdenes
2013-01-27Slightly improving some debugging printing and error message for modules.herbelin
2013-01-24Native compiler: warnings were not turned off for OCaml 3.11mdenes
2013-01-22New implementation of the conversion test, using normalization by evaluation tomdenes
2013-01-06* Kernel/Terms:regisgia
2012-12-19Array.create is deprecatedpboutill
2012-12-18Modulification of nameppedrot
2012-12-18Modulification of mod_bound_idppedrot
2012-12-18Modulification of Labelppedrot
2012-12-14Fixing ocalmdoc commentppedrot
2012-12-14Modulification of dir_pathppedrot
2012-12-14Modulification of identifierppedrot
2012-12-14Moving hcons_string to String namespace.ppedrot
2012-12-13Renamed Option.Misc.compare to the more uniform Option.equal.ppedrot
2012-12-10* Implementing the "union by rank" optimisation in univ.mlpboutill
2012-12-08Small optimization in Closure: replaced an index list with an array.ppedrot
2012-12-04Fixing a comment.herbelin
2012-11-28Kernel/closure: add eta red_kindpboutill
2012-11-26Removed some FIXME related to equality on universes.ppedrot
2012-11-26Small cleaning of interface in Univppedrot
2012-11-25More equality functionsppedrot
2012-11-22Monomorphization (kernel)ppedrot
2012-11-13More monomorphizationsppedrot
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-11-08Removing another bunch of generic equalitiesppedrot
2012-10-29Removed many calls to OCaml generic equality. This was done byppedrot
2012-10-26Moved Entries module back to kernelppedrot
2012-10-23Cleared a purely declarative .ml file and moved its interface to intf/ppedrot
2012-10-17univ inconsistency error message gives evidence of a cyclebarras
2012-10-02Remove some dead code in the vmletouzey
2012-10-02Remove some more "open" and dead code thanks to OCaml4 warningsletouzey
2012-09-27Default hashconsing of identifiers.ppedrot
2012-09-26Reusing the Hashset data structure in Hashcons. Hopefully, this shouldppedrot
2012-09-26Incorrect commentmsozeau
2012-09-26Cleaning, renaming obscure functions and documenting in Hashcons.ppedrot
2012-09-25Fixing ocamldoc errorsppedrot
2012-09-18More cleanup of Util: utf8 aspects moved to a new file unicode.mlletouzey
2012-09-14As r15801: putting everything from Util.array_* to CArray.*.ppedrot
2012-09-14Partial revert of Yann commit in order to use CLib.List when openingppedrot
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-09-14This patch removes unused "open" (automatically generated fromregisgia
2012-09-14kernel/Term:regisgia
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-08-11fast bitwise operations (lor,land,lxor) on int31 and BigNletouzey
2012-08-08Updating headers.herbelin
2012-06-20Fixing bug #2817 (occur check was not done up to instantiation ofherbelin
2012-06-18Proof using: nested sections bugfixgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 11:42:16 +0000