projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2007-04-26 Ferruccio Guidiprocedural: bug fixes commit | commitdiff | tree | snapshot
2007-04-26 Ferruccio Guidibug fix in subst tactic commit | commitdiff | tree | snapshot
2007-04-24 Claudio Sacerdoti... goal ==> focus commit | commitdiff | tree | snapshot
2007-04-24 Andrea AspertiSubsumption_subst re-added to initial. commit | commitdiff | tree | snapshot
2007-04-24 Andrea Asperti@ commit | commitdiff | tree | snapshot
2007-04-23 Claudio Sacerdoti... Deprecated "goal" removed. commit | commitdiff | tree | snapshot
2007-04-20 Claudio Sacerdoti... A new test on some non punctuation tacticals. commit | commitdiff | tree | snapshot
2007-04-20 Claudio Sacerdoti... The declarative rewriting step now tries auto timeout... commit | commitdiff | tree | snapshot
2007-04-20 Claudio Sacerdoti... added skip, removed end commit | commitdiff | tree | snapshot
2007-04-20 Claudio Sacerdoti... Much ado about nothing: commit | commitdiff | tree | snapshot
2007-04-20 Claudio Sacerdoti... Bug fixed: off by one array access in the last patch. commit | commitdiff | tree | snapshot
2007-04-20 Enrico Tassidevelopments root are now part of default inclusion... commit | commitdiff | tree | snapshot
2007-04-20 Enrico Tassiadded library_auto/ to tests. commit | commitdiff | tree | snapshot
2007-04-20 Enrico Tassifixed paths and prefixes of included files commit | commitdiff | tree | snapshot
2007-04-20 Claudio Sacerdoti... Interface of the argument to Continuationals.Make great... commit | commitdiff | tree | snapshot
2007-04-20 Cristian Armentanochanged base uri commit | commitdiff | tree | snapshot
2007-04-20 Cristian Armentanoinitial import commit | commitdiff | tree | snapshot
2007-04-19 Claudio Sacerdoti... EXPERIMENTAL and _INCOMPLETE_ COMMIT: commit | commitdiff | tree | snapshot
2007-04-19 Claudio Sacerdoti... The night test now shows the last commits and blames... commit | commitdiff | tree | snapshot
2007-04-18 Enrico Tassimore discriminate commit | commitdiff | tree | snapshot
2007-04-18 Enrico Tassihandles failures (sometimes you can't inject) commit | commitdiff | tree | snapshot
2007-04-18 Claudio Sacerdoti... New query result diff. commit | commitdiff | tree | snapshot
2007-04-18 Claudio Sacerdoti... Only benches with the same result are compared for... commit | commitdiff | tree | snapshot
2007-04-18 Claudio Sacerdoti... Added new query to time-diff the last mark with the... commit | commitdiff | tree | snapshot
2007-04-18 Claudio Sacerdoti... tassi/sacerdot commit | commitdiff | tree | snapshot
2007-04-17 Ferruccio Guidi"end" keyword added commit | commitdiff | tree | snapshot
2007-04-17 Enrico Tassione more step toward a decent destruct commit | commitdiff | tree | snapshot
2007-04-17 Enrico TassiRT_BASEDIR changed to a sensible path commit | commitdiff | tree | snapshot
2007-04-17 Enrico Tassibroken list fix commit | commitdiff | tree | snapshot
2007-04-17 Enrico Tassifixed a list.nth called on a too short list commit | commitdiff | tree | snapshot
2007-04-17 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-04-17 Enrico Tassiadded generation of hne and heq problems commit | commitdiff | tree | snapshot
2007-04-16 Enrico Tassibetter simplify commit | commitdiff | tree | snapshot
2007-04-16 Enrico Tassisimplify has a brand new semantics! commit | commitdiff | tree | snapshot
2007-04-16 Ferruccio Guidisubst tactic put in a file on its own commit | commitdiff | tree | snapshot
2007-04-16 Enrico Tassiclosed all axioms commit | commitdiff | tree | snapshot
2007-04-12 Enrico TassiHACK for indtype checking commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassifixed case commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassiset -> type commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassimatch x in IDENT and not TERM commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassistill not completely working but at least non dumb... commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassiyou can case even if only a right appears... so, substi... commit | commitdiff | tree | snapshot
2007-04-10 Enrico Tassi... commit | commitdiff | tree | snapshot
2007-04-06 Enrico Tassieval_from_stream is now tail recursive! commit | commitdiff | tree | snapshot
2007-04-05 Enrico Tassipattern with match fixed commit | commitdiff | tree | snapshot
2007-04-05 Enrico Tassimany printings added commit | commitdiff | tree | snapshot
2007-04-05 Enrico Tassifixed the pretty (notation aware) printer commit | commitdiff | tree | snapshot
2007-04-04 Ferruccio Guidialpha equivalence fixed: in the case "meta against... commit | commitdiff | tree | snapshot
2007-04-04 Ferruccio Guidialpha equivalence test factorized and moved to CicUtil commit | commitdiff | tree | snapshot
2007-04-03 Enrico Tassinew case implementation commit | commitdiff | tree | snapshot
2007-04-02 Ferruccio GuidiProcedural: some improvements commit | commitdiff | tree | snapshot
2007-04-02 Ferruccio GuidiProcedural: refactoring commit | commitdiff | tree | snapshot
2007-04-02 Ferruccio GuidiCic2acic : added some debugging information commit | commitdiff | tree | snapshot
2007-04-02 Enrico Tassiadded some tests for cases commit | commitdiff | tree | snapshot
2007-04-02 Enrico Tassihopefully fixed cases implementation commit | commitdiff | tree | snapshot
2007-03-30 Ferruccio GuidiOptimizer: refactored according to its formal description commit | commitdiff | tree | snapshot
2007-03-26 Claudio Sacerdoti... Serious bug fixed: a variable was captured during unfol... commit | commitdiff | tree | snapshot
2007-03-26 Enrico Tassiadded eta expansion to avoid universe inconsistency. commit | commitdiff | tree | snapshot
2007-03-22 Claudio Sacerdoti... Several instances of the same bug fixed at once: when... commit | commitdiff | tree | snapshot
2007-03-22 Claudio Sacerdoti... Debugging code removed. commit | commitdiff | tree | snapshot
2007-03-16 Ferruccio Guidielim tactic: it needs two arguments, a term as well... commit | commitdiff | tree | snapshot
2007-03-16 Andrea AspertiNew contrib moebius.ma. commit | commitdiff | tree | snapshot
2007-03-16 Andrea AspertiExtensions required for the moebius function (in Z). commit | commitdiff | tree | snapshot
2007-03-13 Claudio Sacerdoti... Role of commit | commitdiff | tree | snapshot
2007-03-13 Ferruccio Guidielim tactic: now takes a pattern instead of just a... commit | commitdiff | tree | snapshot
2007-03-13 Andrea AspertiFew theorems added.` commit | commitdiff | tree | snapshot
2007-03-13 Andrea Aspertinew version of div_and_mod commit | commitdiff | tree | snapshot
2007-03-13 Andrea AspertiCapturing Invalid_argument inside pp (otherwise we... commit | commitdiff | tree | snapshot
2007-03-11 Ferruccio Guidicase to elim conversion works fine commit | commitdiff | tree | snapshot
2007-03-10 Ferruccio Guidiadded a test for rewrite under Pi commit | commitdiff | tree | snapshot
2007-03-10 Ferruccio Guidirewrite tactic: bug fix in rewriting under Pi's: commit | commitdiff | tree | snapshot
2007-03-09 Ferruccio GuidiProcedural: 2 bug fix in eta expansion + 1 bug fix... commit | commitdiff | tree | snapshot
2007-03-08 Ferruccio Guidisome improvements commit | commitdiff | tree | snapshot
2007-03-07 Ferruccio GuidiProcedural: bug fix commit | commitdiff | tree | snapshot
2007-03-07 Ferruccio GuidiRelational: one file was missing :-) commit | commitdiff | tree | snapshot
2007-03-07 Ferruccio GuidiProcedural : cic object preprocessor added commit | commitdiff | tree | snapshot
2007-03-02 Ferruccio GuidiProcedural: now patterns for rewrite are generated... commit | commitdiff | tree | snapshot
2007-03-01 Ferruccio GuidiProcedural: some improvements commit | commitdiff | tree | snapshot
2007-03-01 Ferruccio Guidiprocedural proof of ty3_gen_cast commit | commitdiff | tree | snapshot
2007-03-01 Enrico Zoli"by j let x : T such that P(x)" generalized to allow... commit | commitdiff | tree | snapshot
2007-02-27 Ferruccio Guidisome improvements commit | commitdiff | tree | snapshot
2007-02-27 Ferruccio Guidi- Procedural: some improvements commit | commitdiff | tree | snapshot
2007-02-26 Ferruccio Guididecompose: delta-expansion of the type to eliminate... commit | commitdiff | tree | snapshot
2007-02-25 Ferruccio GuidiRELATIONAL: new undecomposable definition of NLE commit | commitdiff | tree | snapshot
2007-02-21 Ferruccio Guididecompose now works without premises commit | commitdiff | tree | snapshot
2007-02-21 Ferruccio Guidiprocedural : some improvements. commit | commitdiff | tree | snapshot
2007-02-20 Ferruccio Guidiacic_procedural: changed module compilation order commit | commitdiff | tree | snapshot
2007-02-20 notinsmall fix to make it compile again commit | commitdiff | tree | snapshot
2007-02-19 Enrico Tassiadded some code to print the praamodulation proofs... commit | commitdiff | tree | snapshot
2007-02-19 Ferruccio GuidiUnified-Sub: lift_comm completed commit | commitdiff | tree | snapshot
2007-02-17 Ferruccio Guidicontribs: some improvements commit | commitdiff | tree | snapshot
2007-02-15 Ferruccio Guidicontribs: some improvements commit | commitdiff | tree | snapshot
2007-02-15 Ferruccio Guidirefactoring commit | commitdiff | tree | snapshot
2007-02-14 Ferruccio Guidisome improvements commit | commitdiff | tree | snapshot
2007-02-14 Ferruccio GuidiProcedural : some improvements commit | commitdiff | tree | snapshot
2007-02-12 Ferruccio GuidiLexiconAstPp: fixed syntax for include commit | commitdiff | tree | snapshot
2007-02-12 Ferruccio Guidiunified: some theorems on Lift started commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.