aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2013-10-18Future: ported to Ephemeron + exception enhancinggareuselesinge
2013-10-18Ephemeron: marshaling friendly keysgareuselesinge
2013-10-14Some more hand-written comparison functions to avoid polymorphic comparison.xclerc
2013-10-11Vcs: the gc method returns the set of nodes that were collectedgareuselesinge
2013-10-11Dag: some comments on the concept of clustergareuselesinge
2013-10-10Clib: fold_left_until added to CListgareuselesinge
2013-10-07cStack: make it just a Stack with some extra APIgareuselesinge
2013-10-06Added a [modify] function to maps.ppedrot
2013-10-03STM: add options to disable fallbacks to ease regression testinggareuselesinge
2013-10-03STM: number of slaves passed by the command linegareuselesinge
2013-10-01typogareuselesinge
2013-09-30CoqIDE protocol/serialization revisedgareuselesinge
2013-09-30lib/cstack: various improvementsgareuselesinge
2013-09-30lib/vcs: various improvementsgareuselesinge
2013-09-30lib/dag: various improvementsgareuselesinge
2013-09-30lib/future: computations that are Exn can be replacedgareuselesinge
2013-09-27Removing a bunch of generic equalities.ppedrot
2013-09-19Get rid of the uses of deprecated OCaml elements (still remaining compatible ...xclerc
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-09-12Fix bug in CStack introduced by refactoringgareuselesinge
2013-09-06Moving Searchstack to CStack, and normalizing names a bit.ppedrot
2013-09-02* lib/Unicode:regisgia
2013-08-30recdef: restore old semantics (pre STM)gareuselesinge
2013-08-30safe Conv_oracle state for type checkinggareuselesinge
2013-08-30Stm: if slave process dies badly go back to local lazy evaluationgareuselesinge
2013-08-28Removing some lone List.assoc & List.mem in lib.ppedrot
2013-08-25Removing association lists in Reductionops. Btw, defining the dual of theppedrot
2013-08-25Added a more efficient way to recover the domain of a map.ppedrot
2013-08-22Misc changes around coqtop.ml :letouzey
2013-08-22More complete hashcons : lists (dirpath), arrays (constr)letouzey
2013-08-22Change in vo format : digest aren't Marshalled anymoreletouzey
2013-08-20Universe counters on slaves are in sync with mastergareuselesinge
2013-08-19Modulification and removing of structural equality in Stateid.ppedrot
2013-08-19Modulification and removing of structural equality in VCS.ppedrot
2013-08-12Fixing potentially misused Errors.push.ppedrot
2013-08-10Printing any backtrace in debug mode, not only anomalies.ppedrot
2013-08-10Small typosppedrot
2013-08-09checker validation fixed w.r.t. Futuresgareuselesinge
2013-08-09state_id data typegareuselesinge
2013-08-08stm: (initial) support for -coq-slavesgareuselesinge
2013-08-08Simple machinery to detect EXTEND that interpret during parsinggareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-08-08State Transaction Machinegareuselesinge
2013-08-08Vcs data structure (Git inspired builder for Dag)gareuselesinge
2013-08-08Dag data structuregareuselesinge
2013-08-08Searchable stack data structuregareuselesinge
2013-08-08Future library to represent pure computationsgareuselesinge
2013-08-08Small fix in IStream interface.ppedrot
2013-08-06Added more flags choice in desambiguating printer. The code isppedrot
2013-08-04Small cleaning of printing coercion failures in Ltac interpretation.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 17:19:00 +0000