aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
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
2014-01-30Remove useless Xml_utilsPierre Letouzey
2014-01-30clib.mllib: remove duplicated Flags entryPierre Letouzey
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-30Work around for bug in threads + blocking io streamlinedEnrico Tassi
2014-01-30STM: tell the user if the master is recomputing states validated by workersEnrico Tassi
2014-01-30Fixing backtrace handling here and there.Pierre-Marie Pédrot
2014-01-29Adding a smartmap[i] operator to maps.Pierre-Marie Pédrot
2014-01-26CoqIDE: command line for extra coqtop "flags"Enrico Tassi
2014-01-26Spawn: managed processesEnrico Tassi
2014-01-19Adding a default object to generic argument registering mechanism.Pierre-Marie Pédrot
2014-01-06fix typoEnrico Tassi
2014-01-05Paral-ITP: cleanup of command line flags and more conservative defaultEnrico Tassi
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2014-01-04Future: allow custom action when a delegated future is forcedEnrico Tassi
2014-01-04Aux_file: cache information at compile time for later (re)useEnrico Tassi
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
2013-12-24Future: optional greedy chainingEnrico Tassi
2013-12-19Removing the useless pattern ident genarg.Pierre-Marie Pédrot
2013-12-10Fix CoqIDE on windowsEnrico Tassi
2013-12-01Removing RefArgType generic argument.Pierre-Marie Pédrot
2013-11-30Getting rid of casted_open_constr. It was only used by thePierre-Marie Pédrot
2013-11-27Old message Interp returns the state id so that one can BackTo itEnrico Tassi
2013-11-27New option --help-XML-protocol to document the XML procol used by -ideslaveEnrico Tassi
2013-11-27First stab at retrocompatible INTERP messageEnrico Tassi
2013-11-26Adding a generic Int.Map using persistent arrays.Pierre-Marie Pédrot
2013-11-24Adding fold_left / fold_right function to maps.Pierre-Marie Pédrot
2013-11-24Hardening the reading function of vo files.Pierre-Marie Pédrot
2013-11-24Tweaking arity & allocation of some basic functions.Pierre-Marie Pédrot
2013-11-22Using hashes instead of strings in dynamic tags. In case of collision, anPierre-Marie Pédrot
2013-11-16Better implementation for stores.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 11:44:48 +0000