]> matita.cs.unibo.it Git - helm.git/history - matita/components
lazy equivalence for local environments is now defined
[helm.git] / matita / components /
2013-10-27 Ferruccio Guidi- lambdadelta: tentative definition of lazy equivalence...
2013-08-09 Ferruccio Guidi- matitadep: new option -t to list the unreferenced...
2013-07-27 Ferruccio Guidi- probe: critical bug fixed (all objects were deleted...
2013-07-26 Ferruccio Guidilambdadelta
2013-04-17 Wilmer RicciottiFixes a bug which caused Meta_not_found exceptions...
2013-04-09 Wilmer RicciottiFixes a bug that caused an assertion failure when no...
2013-03-20 Ferruccio Guidi- probe: recursive removal of empty directories
2013-03-16 Ferruccio Guidi- lambdadelta: last recursive part of preservation...
2013-03-13 Ferruccio Guidi- lambdadelta: third recursive part of preservation...
2013-03-10 Ferruccio Guidiwe removed a useless assertion that was forcing matita...
2013-03-04 Claudio Sacerdoti... Bug fixed: let-rec defined propositions are no longer...
2013-03-03 Ferruccio Guidi- lambdadelta: we removed focalized reduction from...
2013-02-27 Claudio Sacerdoti... Quick patch: the maxmeta is now pushed/popped when...
2013-02-27 Claudio Sacerdoti... Bug fixed: composite coercions were not extracted.
2013-02-27 Claudio Sacerdoti... Bug fixed that reveals a new one: in case of inductive...
2013-02-27 Claudio Sacerdoti... Ferruccio's removal of objects commented out because...
2013-02-25 Ferruccio Guidiwhen we serialize the contents of a .ma, we remove...
2013-02-24 Ferruccio Guidi- nUri : added Sets of uris for use in "probe"
2013-02-06 Ferruccio Guidi- lambdadelta: more service lemmas ...
2013-02-05 Ferruccio Guidisome missing files ...
2013-02-04 Claudio Sacerdoti... Bug fixed: "open X" were not printed in .mli because...
2013-02-04 Claudio Sacerdoti... Flushing needed before closing the channel.
2013-02-04 Claudio Sacerdoti... Improved exception handling.
2013-02-04 Claudio Sacerdoti... Bug fixed in pretty printing of mutual inductive types.
2013-02-04 Claudio Sacerdoti... Bug fixed: the indty can be typed with a Prod, not...
2013-02-04 Claudio Sacerdoti... Pretty printing of ocaml files slightly improved.
2013-02-04 Claudio Sacerdoti... Last known bug unrelated to names fixed: a fixpoint...
2013-02-02 Claudio Sacerdoti... Ooops, this completes the previous commit (ocaml extrac...
2013-02-02 Claudio Sacerdoti... Implementation of Ocaml extraction (largely ported...
2013-02-02 Claudio Sacerdoti... Identity change, improves readability.
2013-02-01 Ferruccio Guidi- ng_refiner:
2013-01-06 Ferruccio Guididependences update
2013-01-01 Ferruccio Guidi- probe: new application to compute some data on the...
2012-12-28 Ferruccio Guidixoa: change in naming convenctions for existential...
2012-12-06 Claudio Sacerdoti... Bug fixed: %n was badly failing (with Failure "nth...
2012-12-06 Wilmer RicciottiFixes a bug in NCicElim.pp (term -> ast conversion...
2012-11-09 Ferruccio Guidi- mac (ma count)
2012-10-19 Claudio Sacerdoti... One useless Obj.magic removed.
2012-10-08 Wilmer RicciottiDowngrades buggy destruct patch.
2012-10-05 Wilmer RicciottiRemoves debug prints that were left from last commit.
2012-10-05 Wilmer RicciottiThis patch allows generation of minimally dependent...
2012-09-19 Claudio Sacerdoti... More work on inserting UnsafeCoerce in argument applica...
2012-09-04 Claudio Sacerdoti... 1. deriving (Show) no longer used because it fails...
2012-08-30 Claudio Sacerdoti... Composite coercions are now extracted too.
2012-08-30 Claudio Sacerdoti... Name mangling until separate extraction is implemented.
2012-08-29 Claudio Sacerdoti... Code to make all global names in a file fresh.
2012-08-29 Claudio Sacerdoti... Capitalization of variables bound in patterns fixed.
2012-08-29 Claudio Sacerdoti... ...
2012-08-29 Claudio Sacerdoti... Fixed indentation, which is semantic in Haskell.
2012-08-29 Claudio Sacerdoti... (Part of previous two commits)
2012-08-29 Claudio Sacerdoti... (Part of previous commit)
2012-08-29 Claudio Sacerdoti... Extraction is now integrated with the usual machinery...
2012-08-29 Claudio Sacerdoti... Top used also for fixes.
2012-08-29 Claudio Sacerdoti... Match in types handled using Top.
2012-08-28 Claudio Sacerdoti... Dead code removed.
2012-08-28 Claudio Sacerdoti... Match in classification of non-terms taken in account.
2012-08-28 Claudio Sacerdoti... Known bug fixed: the rhs of a match over a small single...
2012-08-28 Claudio Sacerdoti... Basics/logic.ma no longer raises exception.
2012-08-28 Claudio Sacerdoti... Bug fixed: when extracting pattern matching on singleto...
2012-08-28 Claudio Sacerdoti... Fixed pretty-printing of types of variables bound in...
2012-08-28 Claudio Sacerdoti... Patterns are now computed according to the extracted...
2012-08-28 Claudio Sacerdoti... pattern arguments where printed in reverse order
2012-08-28 Claudio Sacerdoti... Bug fixed: rhs in match were printed in wrong context.
2012-08-27 Claudio Sacerdoti... Code for computing patterns the way Haskell likes them...
2012-08-27 Claudio Sacerdoti... Fixed pretty-printing of mutual recursive stuff and...
2012-08-27 Claudio Sacerdoti... 1. fixed pretty-printing of constructors, type variable...
2012-08-27 Claudio Sacerdoti... 1. added Skip to terms to maintain consistency between...
2012-08-27 Claudio Sacerdoti... Fixed left/right context distinction in inductive types.
2012-08-27 Claudio Sacerdoti... Pretty printing of context (variable refreshing) fixed.
2012-08-27 Claudio Sacerdoti... size_of_type fixed and simplified
2012-08-27 Claudio Sacerdoti... No pattern matching over empty types in Haskell
2012-08-27 Claudio Sacerdoti... Infos stored for inductive types.
2012-08-27 Claudio Sacerdoti... Preliminary extraction of constructors.
2012-08-27 Claudio Sacerdoti... Added kind signatures to data declaration.
2012-08-27 Claudio Sacerdoti... 1. Dominic:
2012-08-22 Claudio Sacerdoti... Preliminary work on (co)inductive types.
2012-08-02 Claudio Sacerdoti... Bug fixed: the context generated by l.h.s. binders...
2012-08-02 Claudio Sacerdoti... Pretty printing of patterns done almost correctly.
2012-08-02 Claudio Sacerdoti... Tentative code for Fixpoint. Still to be completed.
2012-08-02 Claudio Sacerdoti... Code extraction branched.
2012-08-02 Claudio Sacerdoti... 1. Implemented type inference for Fomega to extract...
2012-08-02 Claudio Sacerdoti... Bugs fixed:
2012-08-01 Claudio Sacerdoti... Bugs related to pretty printing of names fixed (capital...
2012-08-01 Claudio Sacerdoti... Bug fixed: Haskell forces capitalisation.
2012-08-01 Claudio Sacerdoti... Begin of porting of code extraction to the new Matita.
2012-07-19 Claudio Sacerdoti... One less warning.
2012-07-19 Claudio Sacerdoti... Some debugging times exposed.
2012-07-19 Claudio Sacerdoti... Major speed up improvement after every tactic application.
2012-06-29 Claudio Sacerdoti... Bug fixed: arguments of a match are (no longer...)...
2012-06-11 Claudio Sacerdoti... Reindented
2012-06-11 Claudio Sacerdoti... New nohyps option for /demod/
2012-06-08 Claudio Sacerdoti... New flags for demod:
2012-06-07 Claudio Sacerdoti... Patch to avoid generating _inv_ind_recTX for X the...
2012-06-07 Claudio Sacerdoti... Sys.Break no longer catched
2012-06-07 Claudio Sacerdoti... New debugging switch in the interface.
2012-06-04 Ferruccio Guidi- lambda_delta: subject reduction for nativa type assig...
2012-05-31 Claudio Sacerdoti... Thanks to Guarrigue, code for Serializer functor simpli...
2012-05-30 Ferruccio Guidi- nDestructTac: Sys.break handled in two places
2012-05-17 Ferruccio Guididepenences fixup
2012-05-17 Claudio Sacerdoti... ...
next