| 2005-10-03 |
Luca Padovani | incomplete snapshot .... |
tree | commitdiff |
| 2005-10-03 |
Stefano Zacchiroli | restated ... |
tree | commitdiff |
| 2005-10-03 |
Enrico Tassi | the filled object is inserted in the env after a succes... |
tree | commitdiff |
| 2005-10-03 |
Enrico Tassi | fixed clean_and_fill that now fills the object (used... |
tree | commitdiff |
| 2005-10-03 |
Enrico Tassi | moved to fast implementation and fixed a bug in the... |
tree | commitdiff |
| 2005-10-02 |
Luca Padovani | * well-formedness constraints |
tree | commitdiff |
| 2005-10-02 |
Luca Padovani | * added well-formedness rules for level 2 patterns |
tree | commitdiff |
| 2005-10-01 |
Luca Padovani | * added pattern matching of level 2 terms |
tree | commitdiff |
| 2005-09-30 |
Stefano Zacchiroli | - fixed some metasenv issues |
tree | commitdiff |
| 2005-09-30 |
Stefano Zacchiroli | fixed some (more) typos |
tree | commitdiff |
| 2005-09-30 |
Stefano Zacchiroli | fixed some typos |
tree | commitdiff |
| 2005-09-30 |
Stefano Zacchiroli | continuationals semantics: first draft |
tree | commitdiff |
| 2005-09-29 |
Luca Padovani | * required for the blob icon |
tree | commitdiff |
| 2005-09-29 |
Luca Padovani | * added concrete syntax for level 2 |
tree | commitdiff |
| 2005-09-29 |
Alberto Griggio | non-default equalities in equations_for_goal |
tree | commitdiff |
| 2005-09-29 |
Alberto Griggio | upgraded code to work with non-default equalities |
tree | commitdiff |
| 2005-09-29 |
Luca Padovani | * snapshot |
tree | commitdiff |
| 2005-09-29 |
Claudio Sacerdoti... | Further speed-up in the disambiguation algorithm. |
tree | commitdiff |
| 2005-09-29 |
Luca Padovani | * required for texing it |
tree | commitdiff |
| 2005-09-29 |
Luca Padovani | + well-formedness of level 1 patterns |
tree | commitdiff |
| 2005-09-28 |
Luca Padovani | * first version of the specification |
tree | commitdiff |
| 2005-09-28 |
Stefano Zacchiroli | better precedence handling, should remove useless parens |
tree | commitdiff |
| 2005-09-27 |
Stefano Zacchiroli | changed precedence/associativeness handling: relative... |
tree | commitdiff |
| 2005-09-27 |
Stefano Zacchiroli | added/exported pp_pos & pp_attribute |
tree | commitdiff |
| 2005-09-27 |
Stefano Zacchiroli | removed .annot files (files containing type annotations... |
tree | commitdiff |
| 2005-09-27 |
Stefano Zacchiroli | more fine grained debug printing |
tree | commitdiff |
| 2005-09-27 |
Stefano Zacchiroli | changed type of ids_to_uris table to (Cic.id, UriManage... |
tree | commitdiff |
| 2005-09-27 |
Stefano Zacchiroli | Better handling of idref propagation, no more Href... |
tree | commitdiff |
| 2005-09-27 |
Stefano Zacchiroli | added list_uniq |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | fixed typo |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | strip heading '\' on Mo s |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | removed some dead code |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | added override for \circ (notation for function composi... |
tree | commitdiff |
| 2005-09-26 |
Claudio Sacerdoti... | Unification enhanchement: |
tree | commitdiff |
| 2005-09-26 |
Claudio Sacerdoti... | Inclusion path fixed. |
tree | commitdiff |
| 2005-09-26 |
Alberto Griggio | new paramodulation |
tree | commitdiff |
| 2005-09-26 |
Alberto Griggio | *** empty log message *** |
tree | commitdiff |
| 2005-09-26 |
Alberto Griggio | new signature of auto_tac, with a new optional argument... |
tree | commitdiff |
| 2005-09-26 |
Alberto Griggio | added apply_tac_verbose_with_subst, returning a Cic... |
tree | commitdiff |
| 2005-09-26 |
Andrea Asperti | Small bug due to case unsensitiveness in the check... |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | bugfix: reash uris embedded in cic appl patterns |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | added magic numbers |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | set extlib findlib dependencies |
tree | commitdiff |
| 2005-09-26 |
Stefano Zacchiroli | implemented the first bunch of useful functions |
tree | commitdiff |
| 2005-09-26 |
Andrea Asperti | Mysql ==> HMysql |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | New module HMysql (to abstract over Mysql and make... |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | More profiling code. |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | CicUtil.profile ==> HExtlib.profile |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | Profiling code removed. |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | several "INSERT VALUE" ==> "INSERT VALUES" (more efficient) |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | Profiling code removed. |
tree | commitdiff |
| 2005-09-23 |
Stefano Zacchiroli | avoid generating useless parens in mathml contextes... |
tree | commitdiff |
| 2005-09-23 |
Stefano Zacchiroli | removed a line of dead code |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | Dead code removed again!!! |
tree | commitdiff |
| 2005-09-23 |
Stefano Zacchiroli | avoid pattern matching on attributed terms since this... |
tree | commitdiff |
| 2005-09-23 |
Enrico Tassi | added universes list handling |
tree | commitdiff |
| 2005-09-23 |
Enrico Tassi | added universes |
tree | commitdiff |
| 2005-09-23 |
Enrico Tassi | added parsing of Type:N |
tree | commitdiff |
| 2005-09-23 |
Enrico Tassi | a wrong exception was raised |
tree | commitdiff |
| 2005-09-23 |
Enrico Tassi | added support for universes uri ".univ" |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | The disambiguation now returns the aliases diff. It... |
tree | commitdiff |
| 2005-09-23 |
Claudio Sacerdoti... | Environment replaced by lists of domain and codomain... |
tree | commitdiff |
| 2005-09-22 |
Claudio Sacerdoti... | * Added divides and ndivides |
tree | commitdiff |
| 2005-09-22 |
Claudio Sacerdoti... | '!' is no longer a decorator (to allow a reasonable... |
tree | commitdiff |
| 2005-09-22 |
Claudio Sacerdoti... | Dead code removed |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | More profiling code. |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | This commit removes the slowest identity function ever... |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | We do not longer generate inner-types and inner-sorts... |
tree | commitdiff |
| 2005-09-21 |
Stefano Zacchiroli | ported to the new parser interface (Ulexing.lexbuf... |
tree | commitdiff |
| 2005-09-21 |
Stefano Zacchiroli | added ligatures support |
tree | commitdiff |
| 2005-09-21 |
Stefano Zacchiroli | rebuilt |
tree | commitdiff |
| 2005-09-21 |
Enrico Tassi | clean_and_fill optimization |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-09-21 |
Alberto Griggio | bugfix on proof construction |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | All the debug_print are now lazy. |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | More debug_print made lazy. |
tree | commitdiff |
| 2005-09-21 |
Claudio Sacerdoti... | 1. profiling code added |
tree | commitdiff |
| 2005-09-20 |
Claudio Sacerdoti... | Profiling did not profile functions that raise an excep... |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | changed ast representation of exists |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | pretty printing of literals is now subject to the debug... |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | changed ast representation of exists, now an 'exists... |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | bugfix in default magic handling: consider as having... |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | - bugfix: eta abstractions ignores attributed node... |
tree | commitdiff |
| 2005-09-20 |
Stefano Zacchiroli | more refere to bindings in env type definition |
tree | commitdiff |
| 2005-09-20 |
Enrico Tassi | added a minimal parser to extract informations relevant... |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | Profiling disabled. |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | This commit (partially) removes a big source of ineffic... |
tree | commitdiff |
| 2005-09-19 |
Stefano Zacchiroli | - bugfix: when backtracking restore the appropriate... |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | Profiling code commented out. |
tree | commitdiff |
| 2005-09-19 |
Claudio Sacerdoti... | CicUtil.profile made even more polymorphic. |
tree | commitdiff |
| 2005-09-16 |
Stefano Zacchiroli | added entites/overrides for leq, geq, nleq, ngeq, to |
tree | commitdiff |
| 2005-09-16 |
Stefano Zacchiroli | re-generated |
tree | commitdiff |
| 2005-09-16 |
Stefano Zacchiroli | uses Hashtbl.replace instead of Hashtbl.add so that: |
tree | commitdiff |
| 2005-09-15 |
Claudio Sacerdoti... | Yet another implementation of the single aliases /... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | bugfix in discriminate: now works also with inductive... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | uniformed ppmetasenv to other pp* methods: substs are... |
tree | commitdiff |
| 2005-09-15 |
Stefano Zacchiroli | bugfix: default "false" used to set the _true_ uri ... |
tree | commitdiff |
| 2005-09-14 |
Stefano Zacchiroli | done some items |
tree | commitdiff |
| 2005-09-14 |
Stefano Zacchiroli | added hyperlinks on case pattern heads and outtype |
tree | commitdiff |
| next |
projects / helm.git / history