2013-10-27 |
Ferruccio Guidi | - lambdadelta: tentative definition of lazy equivalence... |
tree | commitdiff |
2013-10-26 |
Ferruccio Guidi | - bug fix in the connection between global and restrict... |
tree | commitdiff |
2013-10-25 |
Ferruccio Guidi | - bug fix in the induction for the closure property |
tree | commitdiff |
2013-10-25 |
Andrea Asperti | full.ma |
tree | commitdiff |
2013-10-24 |
Ferruccio Guidi | some additions needed for lambda_delta |
tree | commitdiff |
2013-10-24 |
Ferruccio Guidi | - "small step" version of "big tree" theorem proved |
tree | commitdiff |
2013-10-24 |
Andrea Asperti | step (almost) done |
tree | commitdiff |
2013-10-24 |
Andrea Asperti | The step machine (draft) |
tree | commitdiff |
2013-10-24 |
Andrea Asperti | many changes |
tree | commitdiff |
2013-10-20 |
Wilmer Ricciotti | Completes all the phases of the binary machine (modulo... |
tree | commitdiff |
2013-10-19 |
Ferruccio Guidi | more results towards the "big-tree" theorem ... |
tree | commitdiff |
2013-10-19 |
Andrea Asperti | Slowly porting to an enriched tape alphabet |
tree | commitdiff |
2013-10-18 |
Andrea Asperti | The moves (almost) |
tree | commitdiff |
2013-10-15 |
Andrea Asperti | added sem_seq_app for the mono case |
tree | commitdiff |
2013-10-15 |
Andrea Asperti | renaming files |
tree | commitdiff |
2013-10-14 |
Ferruccio Guidi | strongly normalizing terms for big-tree reduction are... |
tree | commitdiff |
2013-10-14 |
Andrea Asperti | almost there |
tree | commitdiff |
2013-10-14 |
Wilmer Ricciotti | Completed phases 0, 1, and 3. |
tree | commitdiff |
2013-10-12 |
Ferruccio Guidi | some renaming ... |
tree | commitdiff |
2013-10-12 |
Andrea Asperti | Still a problem to be fixed: after reaching the border... |
tree | commitdiff |
2013-10-12 |
Andrea Asperti | shift a trace from an extremity |
tree | commitdiff |
2013-10-12 |
Andrea Asperti | splitting files |
tree | commitdiff |
2013-10-12 |
Andrea Asperti | Moved multi_to_mono.ma inside multi_to_mono |
tree | commitdiff |
2013-10-11 |
Ferruccio Guidi | bug fix in supclosure allows alternative definition... |
tree | commitdiff |
2013-10-09 |
Wilmer Ricciotti | progress in the semantics of binary machines |
tree | commitdiff |
2013-10-08 |
Ferruccio Guidi | bugfix in possible alternative definition of fpbs |
tree | commitdiff |
2013-10-07 |
Ferruccio Guidi | some improvements towards an alternative definition... |
tree | commitdiff |
2013-10-07 |
Wilmer Ricciotti | Starting proof about semantics of binary machines. |
tree | commitdiff |
2013-10-07 |
Wilmer Ricciotti | Completes the definition of binaryTM. |
tree | commitdiff |
2013-10-06 |
Andrea Asperti | progress in the deifinition of the semantics of the... |
tree | commitdiff |
2013-10-06 |
Ferruccio Guidi | bug fix in big-tree reduction |
tree | commitdiff |
2013-10-06 |
Ferruccio Guidi | - big-tree reduction is now based on extended reduction |
tree | commitdiff |
2013-10-05 |
Ferruccio Guidi | final na,e for big-tree rediction and computation |
tree | commitdiff |
2013-10-04 |
Ferruccio Guidi | lenv refinement for native validity removed from big... |
tree | commitdiff |
2013-10-04 |
Ferruccio Guidi | - degree assignment, static type assignment, iterated... |
tree | commitdiff |
2013-10-03 |
Wilmer Ricciotti | Adds transformation of generic monotape machines into... |
tree | commitdiff |
2013-10-02 |
Andrea Asperti | a vector of finsets is a finset (in progress) |
tree | commitdiff |
2013-09-07 |
Ferruccio Guidi | previous commit continued :) |
tree | commitdiff |
2013-09-07 |
Ferruccio Guidi | support for nat-labeled reflexive and transitive closur... |
tree | commitdiff |
2013-08-09 |
Ferruccio Guidi | - test.ma on the disambiguation bug moved to ONAG ... |
tree | commitdiff |
2013-08-09 |
Ferruccio Guidi | - the example is now minimal so the bug is understood. |
tree | commitdiff |
2013-08-09 |
Ferruccio Guidi | - the example is smaller and really self-contained ... |
tree | commitdiff |
2013-08-09 |
Ferruccio Guidi | riduced example showing disambiguation bug ... |
tree | commitdiff |
2013-08-09 |
Ferruccio Guidi | - matitadep: new option -t to list the unreferenced... |
tree | commitdiff |
2013-08-09 |
Ferruccio Guidi | - we added nat-labeled reflexive and transitive closure... |
tree | commitdiff |
2013-08-07 |
Ferruccio Guidi | passive support for global environments completed! |
tree | commitdiff |
2013-08-07 |
Ferruccio Guidi | partial commit: "conversion" and "equivalence" componen... |
tree | commitdiff |
2013-08-06 |
Ferruccio Guidi | partial commit: "computation" component ... |
tree | commitdiff |
2013-08-03 |
Ferruccio Guidi | partial commit: "reduction" component |
tree | commitdiff |
2013-08-01 |
Ferruccio Guidi | partial commit: "unfold" component |
tree | commitdiff |
2013-08-01 |
Ferruccio Guidi | partial commit: "static" component .... |
tree | commitdiff |
2013-08-01 |
Ferruccio Guidi | partial commit: just the components before "static... |
tree | commitdiff |
2013-07-27 |
Ferruccio Guidi | - the milestone was not reported on the web page! |
tree | commitdiff |
2013-07-27 |
Ferruccio Guidi | - probe: critical bug fixed (all objects were deleted... |
tree | commitdiff |
2013-07-26 |
Ferruccio Guidi | lambdadelta |
tree | commitdiff |
2013-07-20 |
Ferruccio Guidi | - new extendedd beta-reductum involving native type... |
tree | commitdiff |
2013-07-13 |
Ferruccio Guidi | partial commit of the components before "conversion" |
tree | commitdiff |
2013-06-20 |
Ferruccio Guidi | - bug fix il ldrop (interesting), fsup, fsups |
tree | commitdiff |
2013-06-19 |
Ferruccio Guidi | - partial commit :( |
tree | commitdiff |
2013-06-08 |
Ferruccio Guidi | more results on extended reduction |
tree | commitdiff |
2013-06-05 |
Ferruccio Guidi | some work on extended reduction ... |
tree | commitdiff |
2013-06-03 |
Ferruccio Guidi | redundant dependence removed |
tree | commitdiff |
2013-06-03 |
Ferruccio Guidi | - a comment removed |
tree | commitdiff |
2013-06-03 |
Ferruccio Guidi | - induction on supclosure replaces induction on weight... |
tree | commitdiff |
2013-06-01 |
Ferruccio Guidi | - basic_2: induction for preservation results now uses... |
tree | commitdiff |
2013-05-31 |
Andrea Asperti | iteration.ma |
tree | commitdiff |
2013-05-31 |
Andrea Asperti | bounded quantifiers and pidgeon_hole |
tree | commitdiff |
2013-05-31 |
Andrea Asperti | gap.ma |
tree | commitdiff |
2013-05-28 |
Andrea Asperti | Error to debug |
tree | commitdiff |
2013-05-17 |
Andrea Asperti | Improved version |
tree | commitdiff |
2013-05-17 |
Andrea Asperti | more functions |
tree | commitdiff |
2013-05-16 |
Ferruccio Guidi | - some renaming |
tree | commitdiff |
2013-05-13 |
Ferruccio Guidi | partial commit of the "dynamic" component |
tree | commitdiff |
2013-05-10 |
Ferruccio Guidi | - partial commit: we issue the "conversion" and "equiva... |
tree | commitdiff |
2013-05-09 |
Ferruccio Guidi | partial commit: finaly we issue the "computation" compo... |
tree | commitdiff |
2013-05-07 |
Ferruccio Guidi | - partial commit: refactoring in the components before... |
tree | commitdiff |
2013-05-05 |
Ferruccio Guidi | - partial commit (just the components before computation) |
tree | commitdiff |
2013-05-03 |
Andrea Asperti | reverse complexity |
tree | commitdiff |
2013-04-30 |
Claudio Sacerdoti... | Missing include. |
tree | commitdiff |
2013-04-30 |
Andrea Asperti | chapter9 |
tree | commitdiff |
2013-04-30 |
Andrea Asperti | tutorial |
tree | commitdiff |
2013-04-30 |
Claudio Sacerdoti... | Old version dropped. |
tree | commitdiff |
2013-04-30 |
Andrea Asperti | New notation for congruence |
tree | commitdiff |
2013-04-30 |
Andrea Asperti | This line, and those below, will be ignored-- |
tree | commitdiff |
2013-04-29 |
Andrea Asperti | A few integrations (closed an axiom in finset). |
tree | commitdiff |
2013-04-25 |
Wilmer Ricciotti | An attempt at ostensiby named syntax. |
tree | commitdiff |
2013-04-21 |
Ferruccio Guidi | one file was missing |
tree | commitdiff |
2013-04-21 |
Ferruccio Guidi | - we commit the "reduction" component |
tree | commitdiff |
2013-04-20 |
Ferruccio Guidi | refactoring completed :) |
tree | commitdiff |
2013-04-20 |
Ferruccio Guidi | - we are committing just the components before "reducib... |
tree | commitdiff |
2013-04-17 |
Wilmer Ricciotti | Fixes a bug which caused Meta_not_found exceptions... |
tree | commitdiff |
2013-04-16 |
Ferruccio Guidi | - we commit just the components before "reducibility" |
tree | commitdiff |
2013-04-15 |
Ferruccio Guidi | uncommited file found :) |
tree | commitdiff |
2013-04-08 |
Claudio Sacerdoti... | Patch by Paolo Tranquilli. It fixes the following probl... |
tree | commitdiff |
2013-04-07 |
Ferruccio Guidi | - new component for restricted computation (delta,... |
tree | commitdiff |
2013-04-05 |
Ferruccio Guidi | - parallel substitution reaxiomatized |
tree | commitdiff |
2013-03-18 |
Ferruccio Guidi | missing or rootless dependences now don't break the... |
tree | commitdiff |
2013-03-18 |
Ferruccio Guidi | some additions |
tree | commitdiff |
2013-03-18 |
Ferruccio Guidi | a file was added by mistake |
tree | commitdiff |
2013-03-18 |
Ferruccio Guidi | - more understanding of the "big tree" reduction step |
tree | commitdiff |
next |