aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Fixing pervasive comparisonsGravatar Pierre-Marie Pédrot2014-03-01
* Fix output test-suite 'simpl tactic' -> 'reduction tactics'Gravatar Pierre Boutillier2014-02-28
* amending last commitGravatar Enrico Tassi2014-02-27
* better warningGravatar Enrico Tassi2014-02-27
* Tacinterp: more refactoring.Gravatar Arnaud Spiwack2014-02-27
* Tacinterp: refactoring using Monad.Gravatar Arnaud Spiwack2014-02-27
* Remove unsafe code (Obj.magic) in Tacinterp.Gravatar Arnaud Spiwack2014-02-27
* remoteCounter: backup/restoreGravatar Enrico Tassi2014-02-26
* New compilation mode -vi2voGravatar Enrico Tassi2014-02-26
* Future: make ~greedy:true the default + new sink commodity APIGravatar Enrico Tassi2014-02-26
* Future: each computation has a uuidGravatar Enrico Tassi2014-02-26
* IStream: more efficient implementation of concat_map.Gravatar Arnaud Spiwack2014-02-24
* IStream: a concat_map primitive.Gravatar Arnaud Spiwack2014-02-24
* IStream: change type of thunk, spare allocations.Gravatar Arnaud Spiwack2014-02-24
* IStream: remove a useless Obj.magic.Gravatar Arnaud Spiwack2014-02-24
* A view type for IStream.Gravatar Arnaud Spiwack2014-02-24
* STM: fix valid_id coming from Qed errorsGravatar Enrico Tassi2014-02-10
* Tentative fixup for the previous commit. It seems I have broken somethingGravatar Pierre-Marie Pédrot2014-02-10
* Small optimizations in Closure:Gravatar Pierre-Marie Pédrot2014-02-09
* Tracking memory misallocation by trying to improve sharing.Gravatar Pierre-Marie Pédrot2014-02-03
* Allocation friendly map-handling functions in Dag.Gravatar Pierre-Marie Pédrot2014-02-03
* Relaunch all Unix.waitpid when they ended with EINTRGravatar Pierre Letouzey2014-01-30
* CUnix: enriched (get_extension, sys_command, waitpid_non_intr) + cleanedGravatar Pierre Letouzey2014-01-30
* CString: avoid redefining is_subGravatar Pierre Letouzey2014-01-30
* Remove useless Xml_utilsGravatar Pierre Letouzey2014-01-30
* clib.mllib: remove duplicated Flags entryGravatar Pierre Letouzey2014-01-30
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* Work around for bug in threads + blocking io streamlinedGravatar Enrico Tassi2014-01-30
* STM: tell the user if the master is recomputing states validated by workersGravatar Enrico Tassi2014-01-30
* Fixing backtrace handling here and there.Gravatar Pierre-Marie Pédrot2014-01-30
* Adding a smartmap[i] operator to maps.Gravatar Pierre-Marie Pédrot2014-01-29
* CoqIDE: command line for extra coqtop "flags"Gravatar Enrico Tassi2014-01-26
* Spawn: managed processesGravatar Enrico Tassi2014-01-26
* Adding a default object to generic argument registering mechanism.Gravatar Pierre-Marie Pédrot2014-01-19
* fix typoGravatar Enrico Tassi2014-01-06
* Paral-ITP: cleanup of command line flags and more conservative defaultGravatar Enrico Tassi2014-01-05
* .vi files: .vo files without proofsGravatar Enrico Tassi2014-01-04
* Future: allow custom action when a delegated future is forcedGravatar Enrico Tassi2014-01-04
* Aux_file: cache information at compile time for later (re)useGravatar Enrico Tassi2014-01-04
* CoqIDE: new feedback "incomplete" to signal partial QedGravatar Enrico Tassi2013-12-24
* Future: optional greedy chainingGravatar Enrico Tassi2013-12-24
* Removing the useless pattern ident genarg.Gravatar Pierre-Marie Pédrot2013-12-19
* Fix CoqIDE on windowsGravatar Enrico Tassi2013-12-10
* Removing RefArgType generic argument.Gravatar Pierre-Marie Pédrot2013-12-01
* Getting rid of casted_open_constr. It was only used by theGravatar Pierre-Marie Pédrot2013-11-30
* Old message Interp returns the state id so that one can BackTo itGravatar Enrico Tassi2013-11-27
* New option --help-XML-protocol to document the XML procol used by -ideslaveGravatar Enrico Tassi2013-11-27
* First stab at retrocompatible INTERP messageGravatar Enrico Tassi2013-11-27
* Adding a generic Int.Map using persistent arrays.Gravatar Pierre-Marie Pédrot2013-11-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 21:00:16 +0000