]> matita.cs.unibo.it Git - helm.git/history - matita/components/ng_kernel/nCicExtraction.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
refactoring
[helm.git] / matita / components / ng_kernel / nCicExtraction.ml
2012-09-19 Claudio Sacerdoti... More work on inserting UnsafeCoerce in argument applica... blob | commitdiff | raw
2012-09-04 Claudio Sacerdoti... 1. deriving (Show) no longer used because it fails... blob | commitdiff | raw | diff to current
2012-08-30 Claudio Sacerdoti... Name mangling until separate extraction is implemented. blob | commitdiff | raw | diff to current
2012-08-29 Claudio Sacerdoti... Code to make all global names in a file fresh. blob | commitdiff | raw | diff to current
2012-08-29 Claudio Sacerdoti... Capitalization of variables bound in patterns fixed. blob | commitdiff | raw | diff to current
2012-08-29 Claudio Sacerdoti... ... blob | commitdiff | raw | diff to current
2012-08-29 Claudio Sacerdoti... Fixed indentation, which is semantic in Haskell. blob | commitdiff | raw | diff to current
2012-08-29 Claudio Sacerdoti... Extraction is now integrated with the usual machinery... blob | commitdiff | raw | diff to current
2012-08-29 Claudio Sacerdoti... Top used also for fixes. blob | commitdiff | raw | diff to current
2012-08-29 Claudio Sacerdoti... Match in types handled using Top. blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... Dead code removed. blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... Match in classification of non-terms taken in account. blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... Known bug fixed: the rhs of a match over a small single... blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... Basics/logic.ma no longer raises exception. blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... Bug fixed: when extracting pattern matching on singleto... blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... Fixed pretty-printing of types of variables bound in... blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... Patterns are now computed according to the extracted... blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... pattern arguments where printed in reverse order blob | commitdiff | raw | diff to current
2012-08-28 Claudio Sacerdoti... Bug fixed: rhs in match were printed in wrong context. blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... Code for computing patterns the way Haskell likes them... blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... Fixed pretty-printing of mutual recursive stuff and... blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... 1. fixed pretty-printing of constructors, type variable... blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... 1. added Skip to terms to maintain consistency between... blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... Fixed left/right context distinction in inductive types. blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... Pretty printing of context (variable refreshing) fixed. blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... size_of_type fixed and simplified blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... No pattern matching over empty types in Haskell blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... Infos stored for inductive types. blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... Preliminary extraction of constructors. blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... Added kind signatures to data declaration. blob | commitdiff | raw | diff to current
2012-08-27 Claudio Sacerdoti... 1. Dominic: blob | commitdiff | raw | diff to current
2012-08-22 Claudio Sacerdoti... Preliminary work on (co)inductive types. blob | commitdiff | raw | diff to current
2012-08-02 Claudio Sacerdoti... Bug fixed: the context generated by l.h.s. binders... blob | commitdiff | raw | diff to current
2012-08-02 Claudio Sacerdoti... Pretty printing of patterns done almost correctly. blob | commitdiff | raw | diff to current
2012-08-02 Claudio Sacerdoti... Tentative code for Fixpoint. Still to be completed. blob | commitdiff | raw | diff to current
2012-08-02 Claudio Sacerdoti... 1. Implemented type inference for Fomega to extract... blob | commitdiff | raw | diff to current
2012-08-02 Claudio Sacerdoti... Bugs fixed: blob | commitdiff | raw | diff to current
2012-08-01 Claudio Sacerdoti... Bugs related to pretty printing of names fixed (capital... blob | commitdiff | raw | diff to current
2012-08-01 Claudio Sacerdoti... Bug fixed: Haskell forces capitalisation. blob | commitdiff | raw | diff to current
2012-08-01 Claudio Sacerdoti... Begin of porting of code extraction to the new Matita. blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.