projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2012-08-02 Claudio Sacerdoti... 1. Implemented type inference for Fomega to extract... commit | commitdiff | tree | snapshot
2012-08-02 Claudio Sacerdoti... Bugs fixed: commit | commitdiff | tree | snapshot
2012-08-01 Claudio Sacerdoti... Bugs related to pretty printing of names fixed (capital... commit | commitdiff | tree | snapshot
2012-08-01 Claudio Sacerdoti... Tests for code extraction; to be moved elsewhere. commit | commitdiff | tree | snapshot
2012-08-01 Claudio Sacerdoti... Bug fixed: Haskell forces capitalisation. commit | commitdiff | tree | snapshot
2012-08-01 Claudio Sacerdoti... Begin of porting of code extraction to the new Matita. commit | commitdiff | tree | snapshot
2012-07-31 Andrea Aspertiwork in progress commit | commitdiff | tree | snapshot
2012-07-31 Andrea AspertiTermination! commit | commitdiff | tree | snapshot
2012-07-30 Wilmer RicciottiWip commit | commitdiff | tree | snapshot
2012-07-30 Andrea Aspertiwork in progress commit | commitdiff | tree | snapshot
2012-07-29 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2012-07-29 Ferruccio Guidi- context free computation for terms and local environments commit | commitdiff | tree | snapshot
2012-07-27 Ferruccio Guidiadditions and corrections to basic_2 commit | commitdiff | tree | snapshot
2012-07-27 Ferruccio Guidi- support for pointwise extensions of a term relation... commit | commitdiff | tree | snapshot
2012-07-27 Wilmer Ricciottiwork in progress commit | commitdiff | tree | snapshot
2012-07-27 Andrea Aspertiwork in progress commit | commitdiff | tree | snapshot
2012-07-26 Ferruccio Guidipolarized binders introduced in basic_2 commit | commitdiff | tree | snapshot
2012-07-26 Ferruccio Guidi- matita: reset_font_size () added after matita.conf... commit | commitdiff | tree | snapshot
2012-07-24 Ferruccio Guidione file was missing ... commit | commitdiff | tree | snapshot
2012-07-23 Ferruccio Guidi- lambda_delta: we updated some notation commit | commitdiff | tree | snapshot
2012-07-22 Ferruccio Guidi- we polarized binders to control zeta reduction commit | commitdiff | tree | snapshot
2012-07-21 Andrea AspertiAn executable version of the tutorial. commit | commitdiff | tree | snapshot
2012-07-20 Wilmer Ricciottiprogress in termination of marks.ma commit | commitdiff | tree | snapshot
2012-07-19 Claudio Sacerdoti... One less warning. commit | commitdiff | tree | snapshot
2012-07-19 Claudio Sacerdoti... Some debugging times exposed. commit | commitdiff | tree | snapshot
2012-07-19 Claudio Sacerdoti... Major speed up improvement after every tactic application. commit | commitdiff | tree | snapshot
2012-07-19 Andrea AspertiFew changes commit | commitdiff | tree | snapshot
2012-07-19 Ferruccio Guidi- intermediate commit to allow debugging of auto tactic... commit | commitdiff | tree | snapshot
2012-07-19 Andrea Aspertiadding tutorial commit | commitdiff | tree | snapshot
2012-07-17 Andrea Aspertiporting to termination commit | commitdiff | tree | snapshot
2012-07-13 Ferruccio Guidi- we added a time specification in the generated web... commit | commitdiff | tree | snapshot
2012-07-13 Ferruccio Guidimore symbols added for lambda_delta commit | commitdiff | tree | snapshot
2012-07-13 Ferruccio Guidi- dynamic type assignment dismissed for now commit | commitdiff | tree | snapshot
2012-07-10 matitawebcommit by user mkmluser commit | commitdiff | tree | snapshot
2012-07-10 matitawebcommit by user mkmluser commit | commitdiff | tree | snapshot
2012-07-10 matitawebcommit by user mkmluser commit | commitdiff | tree | snapshot
2012-07-09 matitawebmanual commit commit | commitdiff | tree | snapshot
2012-07-08 matitawebbug fixes commit | commitdiff | tree | snapshot
2012-07-06 matitawebreverted to previous version (plus anchors) commit | commitdiff | tree | snapshot
2012-07-06 Wilmer Ricciottiadded tick.png commit | commitdiff | tree | snapshot
2012-07-06 Wilmer RicciottiAdded NotationPt.name_of_obj. commit | commitdiff | tree | snapshot
2012-07-06 Wilmer RicciottiCosmetic changes. commit | commitdiff | tree | snapshot
2012-07-06 Wilmer RicciottiBug fixing + cosmetic changes commit | commitdiff | tree | snapshot
2012-07-06 Wilmer Ricciottimanual commit after active hyperlinks commit | commitdiff | tree | snapshot
2012-07-06 Wilmer Ricciottimanual commit | commitdiff | tree | snapshot
2012-07-06 Wilmer Ricciotticommit by user utente commit | commitdiff | tree | snapshot
2012-07-03 Wilmer RicciottiMatitaweb: several improvements in the UI. commit | commitdiff | tree | snapshot
2012-07-03 Wilmer RicciottiMatitaweb: opening a file resets the status. commit | commitdiff | tree | snapshot
2012-06-29 Claudio Sacerdoti... Bug fixed: arguments of a match are (no longer...)... commit | commitdiff | tree | snapshot
2012-06-28 Andrea AspertiNew spec. for advance_both_marks commit | commitdiff | tree | snapshot
2012-06-28 Andrea Aspertiworking on termination commit | commitdiff | tree | snapshot
2012-06-27 Andrea Aspertiremoved a duplicate commit | commitdiff | tree | snapshot
2012-06-27 Andrea AspertiClosed all axioms in turing (but not universal). commit | commitdiff | tree | snapshot
2012-06-21 Wilmer RicciottiHyperlink support. commit | commitdiff | tree | snapshot
2012-06-20 Ferruccio Guidian addition to basic_2 commit | commitdiff | tree | snapshot
2012-06-20 Ferruccio Guidi- star.ma: constructor inj of star conflicts with previ... commit | commitdiff | tree | snapshot
2012-06-18 Andrea Aspertiadv_to_mark_l commit | commitdiff | tree | snapshot
2012-06-18 Andrea Asperticlosing a few axioms commit | commitdiff | tree | snapshot
2012-06-15 Ferruccio Guidiadditions to basic_2 commit | commitdiff | tree | snapshot
2012-06-15 Ferruccio Guidi- relation between native type and atomic arity proced commit | commitdiff | tree | snapshot
2012-06-15 Andrea Aspertimiddot notation commit | commitdiff | tree | snapshot
2012-06-12 Andrea Aspertiadding match_machines and removing trans_to_tuples commit | commitdiff | tree | snapshot
2012-06-12 Andrea Aspertiseveral changes commit | commitdiff | tree | snapshot
2012-06-11 Claudio Sacerdoti... Reindented commit | commitdiff | tree | snapshot
2012-06-11 Claudio Sacerdoti... New nohyps option for /demod/ commit | commitdiff | tree | snapshot
2012-06-08 Claudio Sacerdoti... New flags for demod: commit | commitdiff | tree | snapshot
2012-06-08 Andrea Aspertimove_char.ma commit | commitdiff | tree | snapshot
2012-06-08 Andrea Aspertimerging of char_move_c and char_move_l commit | commitdiff | tree | snapshot
2012-06-08 Andrea AspertiA recompiling version commit | commitdiff | tree | snapshot
2012-06-08 Andrea AspertiDropping a coercion and some hints due to conflicts... commit | commitdiff | tree | snapshot
2012-06-08 Andrea AspertiModifications and refactoring commit | commitdiff | tree | snapshot
2012-06-08 Claudio Sacerdoti... Msg reporting via HLogger in the error window made... commit | commitdiff | tree | snapshot
2012-06-07 Claudio Sacerdoti... Patch to avoid generating _inv_ind_recTX for X the... commit | commitdiff | tree | snapshot
2012-06-07 Claudio Sacerdoti... Sys.Break no longer catched commit | commitdiff | tree | snapshot
2012-06-07 Claudio Sacerdoti... New debugging switch in the interface. commit | commitdiff | tree | snapshot
2012-06-06 Wilmer RicciottiMore conjectures proved. commit | commitdiff | tree | snapshot
2012-06-06 Andrea Aspertinew version of move_char_l suign swap commit | commitdiff | tree | snapshot
2012-06-06 Andrea Aspertiswap machine; move_char revisited commit | commitdiff | tree | snapshot
2012-06-06 Andrea Aspertirestructuring commit | commitdiff | tree | snapshot
2012-06-06 Andrea AspertiRestructuring commit | commitdiff | tree | snapshot
2012-06-05 Andrea AspertiSome results on relations. Moved things around. commit | commitdiff | tree | snapshot
2012-06-05 Andrea AspertiCompleted all proofs in if_machine commit | commitdiff | tree | snapshot
2012-06-04 Ferruccio Guidian addition to basic_2 commit | commitdiff | tree | snapshot
2012-06-04 Ferruccio Guidi- lambda_delta: subject reduction for nativa type assig... commit | commitdiff | tree | snapshot
2012-06-04 Andrea Aspertisemantics of the if-machine. commit | commitdiff | tree | snapshot
2012-06-04 Andrea Aspertinotation commit | commitdiff | tree | snapshot
2012-06-04 Andrea Asperticomments commit | commitdiff | tree | snapshot
2012-06-02 Ferruccio Guidiadditions to basic_2 commit | commitdiff | tree | snapshot
2012-06-02 Ferruccio Guidi- predefined_virtuals: an addition commit | commitdiff | tree | snapshot
2012-06-01 Wilmer RicciottiFinalized copy sub-machine of the universal turing... commit | commitdiff | tree | snapshot
2012-06-01 Andrea AspertiCi siamo quasi commit | commitdiff | tree | snapshot
2012-06-01 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2012-06-01 Ferruccio Guidi- predefined_virtuals: some additions commit | commitdiff | tree | snapshot
2012-05-31 Claudio Sacerdoti... Thanks to Guarrigue, code for Serializer functor simpli... commit | commitdiff | tree | snapshot
2012-05-31 Wilmer RicciottiProgress. commit | commitdiff | tree | snapshot
2012-05-30 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2012-05-30 Ferruccio Guidi- nDestructTac: Sys.break handled in two places commit | commitdiff | tree | snapshot
2012-05-30 Wilmer RicciottiProgress. commit | commitdiff | tree | snapshot
2012-05-30 Andrea Aspertisome progress commit | commitdiff | tree | snapshot
2012-05-30 Wilmer RicciottiProgress. commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.