aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* cList.index is now cList.index_f, same for index0Gravatar letouzey2013-10-23
* cList: set-as-list functions are now with an explicit comparisonGravatar letouzey2013-10-23
* Small optimizations in unification.Gravatar ppedrot2013-10-23
* Removing some generic equalities.Gravatar ppedrot2013-10-22
* Optimizing evar filters. It seems to cost quite a lot in unification,Gravatar ppedrot2013-10-22
* More efficient operations in CArray.Gravatar ppedrot2013-10-22
* New feedback message: SlaveStatusGravatar gareuselesinge2013-10-22
* Future: ported to Ephemeron + exception enhancingGravatar gareuselesinge2013-10-18
* Ephemeron: marshaling friendly keysGravatar gareuselesinge2013-10-18
* Some more hand-written comparison functions to avoid polymorphic comparison.Gravatar xclerc2013-10-14
* Vcs: the gc method returns the set of nodes that were collectedGravatar gareuselesinge2013-10-11
* Dag: some comments on the concept of clusterGravatar gareuselesinge2013-10-11
* Clib: fold_left_until added to CListGravatar gareuselesinge2013-10-10
* cStack: make it just a Stack with some extra APIGravatar gareuselesinge2013-10-07
* Added a [modify] function to maps.Gravatar ppedrot2013-10-06
* STM: add options to disable fallbacks to ease regression testingGravatar gareuselesinge2013-10-03
* STM: number of slaves passed by the command lineGravatar gareuselesinge2013-10-03
* typoGravatar gareuselesinge2013-10-01
* CoqIDE protocol/serialization revisedGravatar gareuselesinge2013-09-30
* lib/cstack: various improvementsGravatar gareuselesinge2013-09-30
* lib/vcs: various improvementsGravatar gareuselesinge2013-09-30
* lib/dag: various improvementsGravatar gareuselesinge2013-09-30
* lib/future: computations that are Exn can be replacedGravatar gareuselesinge2013-09-30
* Removing a bunch of generic equalities.Gravatar ppedrot2013-09-27
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* CoqIDE: show number of proofs being checked in backgroundGravatar gareuselesinge2013-09-12
* Fix bug in CStack introduced by refactoringGravatar gareuselesinge2013-09-12
* Moving Searchstack to CStack, and normalizing names a bit.Gravatar ppedrot2013-09-06
* * lib/Unicode:Gravatar regisgia2013-09-02
* recdef: restore old semantics (pre STM)Gravatar gareuselesinge2013-08-30
* safe Conv_oracle state for type checkingGravatar gareuselesinge2013-08-30
* Stm: if slave process dies badly go back to local lazy evaluationGravatar gareuselesinge2013-08-30
* Removing some lone List.assoc & List.mem in lib.Gravatar ppedrot2013-08-28
* Removing association lists in Reductionops. Btw, defining the dual of theGravatar ppedrot2013-08-25
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* More complete hashcons : lists (dirpath), arrays (constr)Gravatar letouzey2013-08-22
* Change in vo format : digest aren't Marshalled anymoreGravatar letouzey2013-08-22
* Universe counters on slaves are in sync with masterGravatar gareuselesinge2013-08-20
* Modulification and removing of structural equality in Stateid.Gravatar ppedrot2013-08-19
* Modulification and removing of structural equality in VCS.Gravatar ppedrot2013-08-19
* Fixing potentially misused Errors.push.Gravatar ppedrot2013-08-12
* Printing any backtrace in debug mode, not only anomalies.Gravatar ppedrot2013-08-10
* Small typosGravatar ppedrot2013-08-10
* checker validation fixed w.r.t. FuturesGravatar gareuselesinge2013-08-09
* state_id data typeGravatar gareuselesinge2013-08-09
* stm: (initial) support for -coq-slavesGravatar gareuselesinge2013-08-08
* Simple machinery to detect EXTEND that interpret during parsingGravatar gareuselesinge2013-08-08
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* State Transaction MachineGravatar gareuselesinge2013-08-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 16:06:57 +0000