| 2005-06-24 |
Claudio Sacerdoti... | New functions UriManager.uri_is_var, UriManager.uri_is_con. |
tree | commitdiff |
| 2005-06-24 |
Claudio Sacerdoti... | Asts generalized: a lot of tactics where restricted... |
tree | commitdiff |
| 2005-06-24 |
Claudio Sacerdoti... | debugging printf removed |
tree | commitdiff |
| 2005-06-23 |
Alberto Griggio | added various profiling statistics... |
tree | commitdiff |
| 2005-06-23 |
Enrico Tassi | Much simpler (and slightly more performant) implementat... |
tree | commitdiff |
| 2005-06-23 |
Enrico Tassi | aded prifiler factory |
tree | commitdiff |
| 2005-06-23 |
Claudio Sacerdoti... | The discriminate tactic accepts a term, not only an... |
tree | commitdiff |
| 2005-06-23 |
Claudio Sacerdoti... | Tactic generalize ported to patterns and activated... |
tree | commitdiff |
| 2005-06-23 |
Claudio Sacerdoti... | 1 .Tactic generalize ported to patterns and activated... |
tree | commitdiff |
| 2005-06-22 |
Alberto Griggio | reverted to previous version, as it worked better... |
tree | commitdiff |
| 2005-06-22 |
Stefano Zacchiroli | restored local usage of OCAMLPATH so that ./script... |
tree | commitdiff |
| 2005-06-22 |
Stefano Zacchiroli | added $(NULL) |
tree | commitdiff |
| 2005-06-22 |
Alberto Griggio | use of discrimination trees instead of path indexes... |
tree | commitdiff |
| 2005-06-22 |
Alberto Griggio | trie structure implementation |
tree | commitdiff |
| 2005-06-20 |
Alberto Griggio | some optimizations... |
tree | commitdiff |
| 2005-06-20 |
Alberto Griggio | testing... |
tree | commitdiff |
| 2005-06-20 |
Alberto Griggio | *** empty log message *** |
tree | commitdiff |
| 2005-06-20 |
Alberto Griggio | discrimination trees |
tree | commitdiff |
| 2005-06-19 |
Alberto Griggio | limited-resource-strategy implementation (now working!) |
tree | commitdiff |
| 2005-06-19 |
Alberto Griggio | path indexing integration, limited-resource-strategy... |
tree | commitdiff |
| 2005-06-19 |
Alberto Griggio | path indexing integration |
tree | commitdiff |
| 2005-06-19 |
Alberto Griggio | path indexing working! |
tree | commitdiff |
| 2005-06-17 |
Stefano Zacchiroli | removed! |
tree | commitdiff |
| 2005-06-17 |
Enrico Tassi | added support for goal patterns |
tree | commitdiff |
| 2005-06-17 |
Enrico Tassi | concrete syntax for goal patterns |
tree | commitdiff |
| 2005-06-17 |
Enrico Tassi | added support for patterns current goal |
tree | commitdiff |
| 2005-06-17 |
Enrico Tassi | changed select so that it returns a list of pairs ... |
tree | commitdiff |
| 2005-06-17 |
Alberto Griggio | profiling experiments... |
tree | commitdiff |
| 2005-06-17 |
Claudio Sacerdoti... | more strings to UriManager.uri |
tree | commitdiff |
| 2005-06-17 |
Claudio Sacerdoti... | many strings that are supposed to be URIs are now UriMa... |
tree | commitdiff |
| 2005-06-16 |
Claudio Sacerdoti... | Locally implemented print_context replaced by CicPp... |
tree | commitdiff |
| 2005-06-16 |
Andrea Asperti | A cleaned version of auto_tac_new. |
tree | commitdiff |
| 2005-06-16 |
Stefano Zacchiroli | added depth and width (optional) parameters to auto_tac_new |
tree | commitdiff |
| 2005-06-16 |
Claudio Sacerdoti... | Dead code for packing/unpacking (usually just a big... |
tree | commitdiff |
| 2005-06-16 |
Enrico Tassi | added utility to dump some tables of the db on mowgli |
tree | commitdiff |
| 2005-06-15 |
Stefano Zacchiroli | DTD for attributes revised. |
tree | commitdiff |
| 2005-06-15 |
Claudio Sacerdoti... | DTD for attributes revised. |
tree | commitdiff |
| 2005-06-15 |
Claudio Sacerdoti... | The `Record class now records also the name of the... |
tree | commitdiff |
| 2005-06-15 |
Claudio Sacerdoti... | Bug fixed: parsing errors were ignored by matitac since... |
tree | commitdiff |
| 2005-06-15 |
Claudio Sacerdoti... | Bug fixed (that used to throw away a metasenv :-( |
tree | commitdiff |
| 2005-06-15 |
Enrico Tassi | fix |
tree | commitdiff |
| 2005-06-15 |
Stefano Zacchiroli | renamed clientHTTP to http_getter_wget |
tree | commitdiff |
| 2005-06-15 |
Stefano Zacchiroli | we no longer use pxp |
tree | commitdiff |
| 2005-06-15 |
Ferruccio Guidi | beginning of the tactics lapply and fwd |
tree | commitdiff |
| 2005-06-15 |
Enrico Tassi | apply_tac used to calculate the type of the term before... |
tree | commitdiff |
| 2005-06-15 |
Enrico Tassi | are_convertible on MutCase was no longer checking the... |
tree | commitdiff |
| 2005-06-15 |
Stefano Zacchiroli | ported to latest registry interface |
tree | commitdiff |
| 2005-06-15 |
Stefano Zacchiroli | - support for multiple bindings of the same key, access... |
tree | commitdiff |
| 2005-06-15 |
Claudio Sacerdoti... | Refinement of CurrentProof did not check whether the... |
tree | commitdiff |
| 2005-06-15 |
Claudio Sacerdoti... | Big commit and major code clean-up: |
tree | commitdiff |
| 2005-06-15 |
Stefano Zacchiroli | use META helm-registry package, load sample.xml and... |
tree | commitdiff |
| 2005-06-15 |
Alberto Griggio | now something works... |
tree | commitdiff |
| 2005-06-14 |
Claudio Sacerdoti... | * no more %% comments |
tree | commitdiff |
| 2005-06-14 |
Claudio Sacerdoti... | parentheses allowed inside comments |
tree | commitdiff |
| 2005-06-14 |
Claudio Sacerdoti... | test_lexer and test_parser compiled by default |
tree | commitdiff |
| 2005-06-14 |
Stefano Zacchiroli | uses XmlPushParser instead of PXP |
tree | commitdiff |
| 2005-06-14 |
Enrico Tassi | removed ocaml-pxp |
tree | commitdiff |
| 2005-06-14 |
Enrico Tassi | hack to compile on gazelle |
tree | commitdiff |
| 2005-06-14 |
Stefano Zacchiroli | done two items |
tree | commitdiff |
| 2005-06-14 |
Stefano Zacchiroli | don't build pxp (no longer needed), cic_annotations... |
tree | commitdiff |
| 2005-06-14 |
Stefano Zacchiroli | removed dependencies on Pxp |
tree | commitdiff |
| 2005-06-14 |
Stefano Zacchiroli | removed dependency on cicPxpParser |
tree | commitdiff |
| 2005-06-14 |
Stefano Zacchiroli | uses XmlPushParser instead of Pxp for parsing getter... |
tree | commitdiff |
| 2005-06-13 |
Stefano Zacchiroli | - no longer build mathql per default |
tree | commitdiff |
| 2005-06-13 |
Enrico Tassi | moved to xmlPushParser |
tree | commitdiff |
| 2005-06-13 |
Enrico Tassi | fixed error in comment |
tree | commitdiff |
| 2005-06-11 |
Stefano Zacchiroli | added an 'a parameter to mpresentation type so that... |
tree | commitdiff |
| 2005-06-10 |
Enrico Tassi | added records |
tree | commitdiff |
| 2005-06-10 |
Enrico Tassi | added mk_rel |
tree | commitdiff |
| 2005-06-10 |
Enrico Tassi | added records pp, ast and fixed a bug in match with... |
tree | commitdiff |
| 2005-06-10 |
Enrico Tassi | added record generation modules |
tree | commitdiff |
| 2005-06-10 |
Enrico Tassi | added record generation module |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | The type of the left parameters of an inductive type... |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | Got rid of a few warnings. |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | Got rid of a few warnings. |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | an assert failure changed to an exception and a bit... |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | The user is no longer obliged to give the types for... |
tree | commitdiff |
| 2005-06-10 |
Alberto Griggio | integrated indexing.ml, breaks everything :-P (previous... |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | debugging to false |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | * (Head) beta reduction functions factorized |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | More debugging infos. |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | unshare.ml* |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | Complete unsharing of terms. |
tree | commitdiff |
| 2005-06-10 |
Claudio Sacerdoti... | head_beta_reduce used to create applications of applica... |
tree | commitdiff |
| 2005-06-09 |
Alberto Griggio | prima implementazione di demodulate, superposition_left... |
tree | commitdiff |
| 2005-06-09 |
Alberto Griggio | cambiato il tipo equality, aggiunto l'ordinamento tra... |
tree | commitdiff |
| 2005-06-09 |
Claudio Sacerdoti... | Now CicMetaSubst.delift_rels restricts the Metas when... |
tree | commitdiff |
| 2005-06-09 |
Claudio Sacerdoti... | CicSubstitution.delift ==> CicMetaSubst.delift_rels |
tree | commitdiff |
| 2005-06-09 |
Claudio Sacerdoti... | Exception raised by delift changed: |
tree | commitdiff |
| 2005-06-09 |
Claudio Sacerdoti... | Debugging code removed. |
tree | commitdiff |
| 2005-06-09 |
Enrico Tassi | removed debug prints |
tree | commitdiff |
| 2005-06-09 |
Enrico Tassi | fixed remove_coercion |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | The type of a top-level "let rec" can be optional. |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | New syntax (again) for let rec binders: |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | New lighter syntax for "let rec". |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Bug fixed: a symbol must be formed of just one (unicode... |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Yet another bug fixed in the inference of the outtype... |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Fixed a few bugs in the inference of the outtype for... |
tree | commitdiff |
| 2005-06-08 |
Claudio Sacerdoti... | Fixed inference of outtype for match when the inductive... |
tree | commitdiff |
| next |
projects / helm.git / history