]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/acic_procedural
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
\ldots are now used in nelim and ncases
[helm.git] / helm / software / components / acic_procedural /
2009-07-07 Claudio Sacerdoti... 1) Include files for NG were neither recursively proces... tree | commitdiff
2009-06-25 Ferruccio Guidi- some depend files :) tree | commitdiff
2009-06-23 Ferruccio Guidi- procedural: basic support for lapply (solves a proble... tree | commitdiff
2009-06-15 Enrico Tassihuge commit regarding the grafite_status: tree | commitdiff
2009-06-11 Ferruccio Guidi- some depend files fixed tree | commitdiff
2009-06-10 Ferruccio Guidi- library/list/list.ma: unused code commented tree | commitdiff
2009-06-09 Ferruccio Guidi- Procedural: more support for the Debug inline option... tree | commitdiff
2009-06-05 Ferruccio Guidi- Procedural convertible rewrites in the conclusion... tree | commitdiff
2009-06-04 Ferruccio Guidi- doubleTypeInference: we check for unreferenced letins... tree | commitdiff
2009-05-28 Ferruccio GuidiProcedural: higher-order unification needs a lot of... tree | commitdiff
2009-05-28 Ferruccio Guidi- cicInspect: relevant nodes count updated: letin nodes... tree | commitdiff
2009-05-27 Ferruccio GuidiProcedural: bugfix in the generation of intros for... tree | commitdiff
2009-05-27 Ferruccio Guidi- Procedural: we specify more unifiers for apply to... tree | commitdiff
2009-05-21 Ferruccio GuidiProcedural: we use the expected type rather than the... tree | commitdiff
2009-05-21 Ferruccio Guidi- cicUtil: is_sober now detects non-positive rels. tree | commitdiff
2009-05-20 Ferruccio Guidiwe catch the refiner errors in the critical step and... tree | commitdiff
2009-05-18 Enrico Tassinothing special tree | commitdiff
2009-05-15 Claudio Sacerdoti... Patch to add a debugging string to HExtlib.split_nth... tree | commitdiff
2009-05-14 Ferruccio Guidi- hExtlib: added debugging information for split_nth tree | commitdiff
2009-05-14 Ferruccio Guidi- libraryObjects: new default "natural numbers" with... tree | commitdiff
2009-05-12 Ferruccio Guidi- Procedural: we now reconstruct "let H := v in t"... tree | commitdiff
2009-05-08 Claudio Sacerdoti... ... tree | commitdiff
2009-05-06 Ferruccio Guidi- cicUtil: is_sober now detects folded applications tree | commitdiff
2009-05-05 Ferruccio Guidi- Procedural: new flag "level=n" to control the reconst... tree | commitdiff
2009-05-05 Ferruccio Guidi- hExtlib: new function "list_assoc_all" tree | commitdiff
2009-04-29 Ferruccio Guidi- procedural: bugfix in "Barendregt convention" test tree | commitdiff
2009-04-28 Enrico Tassihuge commit in automation: tree | commitdiff
2009-04-16 Ferruccio GuidiProcedural: we corrected two errors about the handling... tree | commitdiff
2009-04-14 Ferruccio Guidiwe rebuilt the dependences tree | commitdiff
2009-04-14 Ferruccio Guidi- Procedural: generation of "exact" is now complete tree | commitdiff
2009-04-05 Ferruccio Guidi- Procedural: now we generate the exact tactic (in... tree | commitdiff
2009-03-25 Enrico Tassinew tactics are almost ready tree | commitdiff
2009-03-11 Ferruccio GuidiProcedural: id tactics are not counted, ie they are... tree | commitdiff
2009-03-11 Ferruccio Guidibug fix + better obj flavour guessing via inner sorts tree | commitdiff
2009-03-11 Ferruccio Guidithe level 1 reconstruction procedure is now in Procedural1 tree | commitdiff
2009-03-11 Ferruccio Guidi.... tree | commitdiff
2009-03-02 Ferruccio GuidicicInspect: node count fixed tree | commitdiff
2009-02-26 Ferruccio GuidicicInspect: now we can choose not to count the Cic... tree | commitdiff
2009-02-25 Ferruccio GuidiProceduralTeX completed and tested on the terms given... tree | commitdiff
2009-02-21 Ferruccio GuidiNew module for TeX rendering of procedural input/output tree | commitdiff
2009-02-17 Ferruccio Guidi- Coq/preamble: missing alias added tree | commitdiff
2008-11-28 Ferruccio Guiding_disambiguation ng_kernel ng_refiner disambiguation... tree | commitdiff
2008-11-25 Ferruccio GuidicicUtil: we moved here pp_term from proceduralHelpers tree | commitdiff
2008-10-22 Ferruccio Guidiwe aligned the implementation to the plmms08 paper tree | commitdiff
2008-10-18 Ferruccio GuidiAcic2Procedural: tree | commitdiff
2008-09-26 Ferruccio GuidiProcedural: we removed some commented code tree | commitdiff
2008-09-18 Ferruccio Guidilibrarian: improved error detection, bug fix in time... tree | commitdiff
2008-09-10 Ferruccio GuidicicDischarge, Procedural: we improved debugging and... tree | commitdiff
2008-08-28 Ferruccio GuidicicDischarge: new module for discharging the explicit... tree | commitdiff
2008-08-23 Ferruccio GuidiProcedural: bug fix in comment generation tree | commitdiff
2008-08-23 Ferruccio GuidiProcedural: explicit flavour specification for constant... tree | commitdiff
2008-08-21 Ferruccio Guidibasic support for imposed flavour in procedural object... tree | commitdiff
2008-07-16 Ferruccio GuidiProcedural: some comments added in the generated script tree | commitdiff
2008-07-14 Ferruccio GuidiProcedural: we added the support for rendering definiti... tree | commitdiff
2008-07-13 Ferruccio GuidiProcedural: we added the support for theorem flavours... tree | commitdiff
2008-07-13 Ferruccio GuidicicUtil : we added a context to is_sober... tree | commitdiff
2008-07-12 Ferruccio GuidiProcedural: bug fix in the procedural rendering of... tree | commitdiff
2008-07-12 Ferruccio Guidilibrarian: retrieval of buildable files speeded up... tree | commitdiff
2008-07-09 Ferruccio Guidisome bug fixes tree | commitdiff
2008-07-04 Ferruccio Guidi- we replaced a normalize with a whd in the classificat... tree | commitdiff
2008-07-04 Ferruccio Guidi- Procedural: bug fix in rendering the application... tree | commitdiff
2008-07-02 Ferruccio Guidi- new tactic applyP for use in the *P*rocedural script... tree | commitdiff
2008-06-19 Ferruccio Guidi- Procedural: we now check that an eliminator opens... tree | commitdiff
2008-05-30 Enrico TassiCProp hierarchy is there! tree | commitdiff
2008-04-22 Enrico Tassioblivion ugraph everywhere outside the kernel tree | commitdiff
2008-03-19 Ferruccio GuidiProcedural : added some missing cases tree | commitdiff
2008-03-18 Ferruccio GuidiProcedural : tentative update to the new letin cic... tree | commitdiff
2008-03-11 Claudio Sacerdoti... Very experimental commit: the type of the source is... tree | commitdiff
2007-07-22 Ferruccio GuidiProcedural: the statement body and it inner types must... tree | commitdiff
2007-07-20 Ferruccio Guidiacic_procedural: bug fix: tree | commitdiff
2007-07-19 Ferruccio GuidicicUtil : new test function "is_sober" to test... tree | commitdiff
2007-06-01 Enrico Tassihacks for paramodulation declarative proofs tree | commitdiff
2007-05-24 Enrico Tassiadded some flags to render subproofs (an hack) tree | commitdiff
2007-05-20 Ferruccio GuidiapplyTransformation: added debugging information tree | commitdiff
2007-05-18 Ferruccio Guidi- new devel contribs/LAMBDA-TYPES/Base-2 with the autom... tree | commitdiff
2007-05-17 Enrico Tassiauto rewritten with only one tail recursive function. tree | commitdiff
2007-05-15 Ferruccio Guidimore informations on nodes, fixed a bug on conversion... tree | commitdiff
2007-05-13 Ferruccio GuidiCicInspect: a function for counting the nodes of a... tree | commitdiff
2007-05-10 Ferruccio GuidiProcedural: clear tactics added tree | commitdiff
2007-05-09 Ferruccio GuidiPrimitiveTactics: intros _ now aveilable tree | commitdiff
2007-04-29 Ferruccio GuidiGrafiteAstPp: \n's finally fixed tree | commitdiff
2007-04-28 Ferruccio GuidiAMBDA-TYPES: some improvements. subst now fully exploited tree | commitdiff
2007-04-26 Ferruccio Guidiprocedural: bug fixes tree | commitdiff
2007-04-20 Claudio Sacerdoti... Much ado about nothing: tree | commitdiff
2007-04-04 Ferruccio Guidialpha equivalence fixed: in the case "meta against... tree | commitdiff
2007-04-04 Ferruccio Guidialpha equivalence test factorized and moved to CicUtil tree | commitdiff
2007-04-02 Ferruccio GuidiProcedural: some improvements tree | commitdiff
2007-04-02 Ferruccio GuidiProcedural: refactoring tree | commitdiff
2007-04-02 Ferruccio GuidiCic2acic : added some debugging information tree | commitdiff
2007-03-30 Ferruccio GuidiOptimizer: refactored according to its formal description tree | commitdiff
2007-03-16 Ferruccio Guidielim tactic: it needs two arguments, a term as well... tree | commitdiff
2007-03-13 Ferruccio Guidielim tactic: now takes a pattern instead of just a... tree | commitdiff
2007-03-11 Ferruccio Guidicase to elim conversion works fine tree | commitdiff
2007-03-09 Ferruccio GuidiProcedural: 2 bug fix in eta expansion + 1 bug fix... tree | commitdiff
2007-03-08 Ferruccio Guidisome improvements tree | commitdiff
2007-03-07 Ferruccio GuidiProcedural: bug fix tree | commitdiff
2007-03-07 Ferruccio GuidiRelational: one file was missing :-) tree | commitdiff
2007-03-07 Ferruccio GuidiProcedural : cic object preprocessor added tree | commitdiff
2007-03-02 Ferruccio GuidiProcedural: now patterns for rewrite are generated... tree | commitdiff
2007-03-01 Ferruccio GuidiProcedural: some improvements tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.