aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-05-01Fixing ml-doc.Pierre-Marie Pédrot
2014-04-28Adding a field ci_cstr_nargs to case_info and mind_consnrealargs toHugo Herbelin
2014-04-25Adding a stm/ folder, as asked during last workgroup. It was essentially movingPierre-Marie Pédrot
2014-04-25Future: memory optimization when forcing a chained pure computationEnrico Tassi
2014-04-25Adding a debug printer for futures.Pierre-Marie Pédrot
2014-04-23Removing dead code, thanks to new OCaml warnings and a bit of scripting.Pierre-Marie Pédrot
2014-04-10Have the feedback bus as a backend for dumping globs.Carst Tankink
2014-04-09Removing handshake from Spawn. It used marshalling, which is bad forPierre-Marie Pédrot
2014-04-06Change handling of loadpath and mlpath.Guillaume Melquiond
2014-03-20Slightly more efficient Array.smartmap & related.Pierre-Marie Pédrot
2014-03-13Stateid: export a Set moduleEnrico Tassi
2014-03-13STM: move out a couple of submodulesEnrico Tassi
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-03-06Uses slashes for install and config directoriesVirgile Prevosto
2014-03-05Canary testing absence of generic equality for KerNamesPierre-Marie Pédrot
2014-03-05Adding a canary library. This canary is imperfect. It allows serializationPierre-Marie Pédrot
2014-03-05Fixing compilation on OCaml 4.01.Pierre-Marie Pédrot
2014-03-05Fixing previous commit. Forgot to include some code.Pierre-Marie Pédrot
2014-03-05Added a new module HMap. It works (almost) like Map, except that it expectsPierre-Marie Pédrot
2014-03-05Remove some dead-code (thanks to ocaml warnings)Pierre Letouzey
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2014-03-05Adding a CSet module in Coq lib.Pierre-Marie Pédrot
2014-03-03Replacing arguments of Trie by a cancellable monoid.Pierre-Marie Pédrot
2014-03-03Fixing generic hashes and replacing them with proper ones.Pierre-Marie Pédrot
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2014-03-01Fixing pervasive comparisonsPierre-Marie Pédrot
2014-02-28Fix output test-suite 'simpl tactic' -> 'reduction tactics'Pierre Boutillier
2014-02-27amending last commitEnrico Tassi
2014-02-27better warningEnrico Tassi
2014-02-27Tacinterp: more refactoring.Arnaud Spiwack
2014-02-27Tacinterp: refactoring using Monad.Arnaud Spiwack
2014-02-27Remove unsafe code (Obj.magic) in Tacinterp.Arnaud Spiwack
2014-02-26remoteCounter: backup/restoreEnrico Tassi
2014-02-26New compilation mode -vi2voEnrico Tassi
2014-02-26Future: make ~greedy:true the default + new sink commodity APIEnrico Tassi
2014-02-26Future: each computation has a uuidEnrico Tassi
2014-02-24IStream: more efficient implementation of concat_map.Arnaud Spiwack
2014-02-24IStream: a concat_map primitive.Arnaud Spiwack
2014-02-24IStream: change type of thunk, spare allocations.Arnaud Spiwack
2014-02-24IStream: remove a useless Obj.magic.Arnaud Spiwack
2014-02-24A view type for IStream.Arnaud Spiwack
2014-02-10STM: fix valid_id coming from Qed errorsEnrico Tassi
2014-02-10Tentative fixup for the previous commit. It seems I have broken somethingPierre-Marie Pédrot
2014-02-09Small optimizations in Closure:Pierre-Marie Pédrot
2014-02-03Tracking memory misallocation by trying to improve sharing.Pierre-Marie Pédrot
2014-02-03Allocation friendly map-handling functions in Dag.Pierre-Marie Pédrot
2014-01-30Relaunch all Unix.waitpid when they ended with EINTRPierre Letouzey
2014-01-30CUnix: enriched (get_extension, sys_command, waitpid_non_intr) + cleanedPierre Letouzey
2014-01-30CString: avoid redefining is_subPierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:03:01 +0000