aboutsummaryrefslogtreecommitdiff
path: root/pretyping
AgeCommit message (Expand)Author
2014-02-24IStream: change type of thunk, spare allocations.Arnaud Spiwack
2014-02-24Ensuring that the module Stack is opaque inside Reductionops.Pierre-Marie Pédrot
2014-02-24cbn understands ArgumentsPierre Boutillier
2014-02-24Simpl_behaviour becomes Reductionops.ReductionBehaviourPierre Boutillier
2014-02-24Create Debug Unification optionPierre Boutillier
2014-02-24No more translation array <-> list in Reductionops.StackPierre Boutillier
2014-02-24Reductionops.Stack.strip* are ready to deal with ShiftPierre Boutillier
2014-02-24Reductionops.Stack.app_node is secretPierre Boutillier
2014-02-24app_node, stack, state printersPierre Boutillier
2014-02-24Stack operations of Reductionops in Reductionops.StackPierre Boutillier
2014-02-12TC: honor the use_typeclasses flag in pretypingEnrico Tassi
2014-02-11Made Pre_env.lazy_val opaque.Pierre-Marie Pédrot
2014-02-03Tracking memory misallocation by trying to improve sharing.Pierre-Marie Pédrot
2014-01-29Using Map.smartmap whenever deemed useful.Pierre-Marie Pédrot
2014-01-27Abstracting away coercion indexes in Classops.Pierre-Marie Pédrot
2014-01-26Coercions: avoid imperative data structureEnrico Tassi
2014-01-07STM: additional fix for STM + vm_computeEnrico Tassi
2013-12-30When resetting an evarmap with the unsafe function Evd.evars_reset_evd withPierre-Marie Pédrot
2013-12-30Support for evars and metas in native compiler.Maxime Dénès
2013-12-06Fix test-suite/success/evars.v.Arnaud Spiwack
2013-12-03Removing useless meta-related functions.Pierre-Marie Pédrot
2013-11-30Better heuristic for name generation backward compatibility. We fallbackPierre-Marie Pédrot
2013-11-30Useless instantiation function exported in Evd.Pierre-Marie Pédrot
2013-11-30Tentative fix to recover fresh name generation as it was beforePierre-Marie Pédrot
2013-11-27Adding generic solvers to term holes. For now, no resolution mechanism norPierre-Marie Pédrot
2013-11-25Factoring: is_section_variable.Arnaud Spiwack
2013-11-25Typo resulting in bad eta-expansion of destructing let's body.Hugo Herbelin
2013-11-14Update comments in matching.mli.aspiwack
2013-11-08Removing partial applications in Reductionops.ppedrot
2013-11-07Partial application hunt.ppedrot
2013-11-06Less partial applications in Vars, as well as better memory allocation.ppedrot
2013-11-05Preventing useless allocations in Reductionops.instance.ppedrot
2013-11-04Nicer infered names in refine.aspiwack
2013-11-02push_rel_context: do not rename section variables.aspiwack
2013-11-02Fix compilation of pattern matching wrt variables: alias.aspiwack
2013-11-02Fix the compilation of pattern matching wrt to variables.aspiwack
2013-11-02A newly introduced variable inside a named context is no longer α-renamed.aspiwack
2013-10-31Conv_orable made functional and part of pre_envgareuselesinge
2013-10-31Efficient filtered functions in Evd. We test that a filter is actuallyppedrot
2013-10-30Various optimizations of Evd.meta_* functions.ppedrot
2013-10-30More efficient implementation of [Evd.retract_coercible_metas].ppedrot
2013-10-29Optimization in unification: when checking that the head of a term is anppedrot
2013-10-29Useless array-to-list casts in Unification.ppedrot
2013-10-29Do not generate useless argument arrays in whd_* functions.ppedrot
2013-10-29Prevent [Evarutil.whd_head_evar] from uselessly reallocating arrays.ppedrot
2013-10-29[Reductionops.append_stack_app]: do not allocate a useless array.ppedrot
2013-10-29Sharing identity evar filters.ppedrot
2013-10-29- install evar printer for debuggingmsozeau
2013-10-28Removing Evd.undefined_evars.ppedrot
2013-10-27Removing useless filter allocation in evar construction.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-18 18:04:19 +0000