| 2008-01-11 |
Enrico Tassi | added a warning if the baseuri we want to clean is... |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | -dot fixed, now the .dot file contains also edges |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | increased timout |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | removed useless assertion |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | increased a timeout, matitac (not .opt) should be able... |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | added Sys.catch_break true |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | cache for mtime of files is not polluted with None... |
tree | commitdiff |
| 2008-01-11 |
Enrico Tassi | Make was caching too much, thus some targets were not... |
tree | commitdiff |
| 2008-01-10 |
Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE |
tree | commitdiff |
| 2008-01-03 |
Enrico Tassi | implementation of the make algorithm, still unfinished. |
tree | commitdiff |
| 2007-12-29 |
Stefano Zacchiroli | * use findlib to pass -I flags down to ocamldoc, instea... |
tree | commitdiff |
| 2007-12-29 |
Stefano Zacchiroli | * bump standards-version, no changes needed |
tree | commitdiff |
| 2007-12-29 |
Stefano Zacchiroli | * convert the package to a non-native Debian package |
tree | commitdiff |
| 2007-12-28 |
Stefano Zacchiroli | * debian/rules: instead of passing explicit -I flags... |
tree | commitdiff |
| 2007-12-28 |
Stefano Zacchiroli | overwrite old symlink upon dist |
tree | commitdiff |
| 2007-12-28 |
Stefano Zacchiroli | * convert package to a non-native one (closes: #457353) |
tree | commitdiff |
| 2007-12-28 |
Stefano Zacchiroli | * promote Vcs-* fields to real debian/control fields |
tree | commitdiff |
| 2007-12-21 |
Wilmer Ricciotti | beginning proof of chebyshev's bound on prim. |
tree | commitdiff |
| 2007-12-19 |
Enrico Tassi | accepts the poly shape for gviz maps |
tree | commitdiff |
| 2007-12-17 |
Wilmer Ricciotti | upper bound for logarithmic summation |
tree | commitdiff |
| 2007-12-17 |
Andrea Asperti | A few more lemmas. |
tree | commitdiff |
| 2007-12-16 |
Claudio Sacerdoti... | Much more verbose statistics. |
tree | commitdiff |
| 2007-12-16 |
Claudio Sacerdoti... | Bug fixed: \n prevented recognition. |
tree | commitdiff |
| 2007-12-13 |
Andrea Asperti | Some inequalities. |
tree | commitdiff |
| 2007-12-12 |
Wilmer Ricciotti | Progress. |
tree | commitdiff |
| 2007-12-12 |
Stefano Zacchiroli | add support for adding identifiers instead of only... |
tree | commitdiff |
| 2007-12-11 |
Andrea Asperti | Partial progress. |
tree | commitdiff |
| 2007-12-10 |
Enrico Tassi | more chosmetic |
tree | commitdiff |
| 2007-12-10 |
Andrea Asperti | Main result for e. |
tree | commitdiff |
| 2007-12-10 |
Enrico Tassi | sandeich lemma makeup |
tree | commitdiff |
| 2007-12-10 |
Andrea Asperti | Restructuring. |
tree | commitdiff |
| 2007-12-10 |
Andrea Asperti | Main inequalities for e. |
tree | commitdiff |
| 2007-12-09 |
Wilmer Ricciotti | Added summation formula for the power of a binomial. |
tree | commitdiff |
| 2007-12-08 |
Enrico Tassi | the is_structure is a bad idea if you don't have canoni... |
tree | commitdiff |
| 2007-12-07 |
Andrea Asperti | Binomial coefficients and costant e. |
tree | commitdiff |
| 2007-12-07 |
Andrea Asperti | A few more theorems. |
tree | commitdiff |
| 2007-12-06 |
Stefano Zacchiroli | dump spurious errors max |
tree | commitdiff |
| 2007-12-06 |
Enrico Tassi | excede->excess |
tree | commitdiff |
| 2007-12-06 |
Enrico Tassi | excedence -> excess |
tree | commitdiff |
| 2007-12-06 |
Enrico Tassi | weight -> value |
tree | commitdiff |
| 2007-12-05 |
Stefano Zacchiroli | dump result table in \TeX format |
tree | commitdiff |
| 2007-12-05 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Repeated errors are not duplicated. |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Even if the error is not localized, it was not a good... |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | refactoring of some lemmas, shorter proofs |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Some terms are not localized from the very beginning :-( |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Added debugging option to ask for all disambiguation... |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | One more error localized. But the code is really ugly... |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | added do_heavy_checks documentation |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | do_heavy_checks not always true, take ths option from... |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | added do_heavy_checks default |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | if parameter type is given, this assert is false |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Only errors from passes 4 and 6 are kept. |
tree | commitdiff |
| 2007-12-04 |
Claudio Sacerdoti... | Reindented. |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | sandwitch theorem done |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | removed all the axioms!!! |
tree | commitdiff |
| 2007-12-04 |
Enrico Tassi | sligtly more general results, still to reorganize |
tree | commitdiff |
| 2007-12-03 |
Enrico Tassi | ok |
tree | commitdiff |
| 2007-12-03 |
Enrico Tassi | 1 lemma left!!!! |
tree | commitdiff |
| 2007-12-03 |
Andrea Asperti | Some progress. |
tree | commitdiff |
| 2007-12-02 |
Claudio Sacerdoti... | Forward compatibility with new lablgtk2. |
tree | commitdiff |
| 2007-12-01 |
Enrico Tassi | carabinieri almost done |
tree | commitdiff |
| 2007-11-30 |
Enrico Tassi | carabinieri almost done |
tree | commitdiff |
| 2007-11-30 |
Enrico Tassi | cleanup of the eq_trans burdain |
tree | commitdiff |
| 2007-11-30 |
Enrico Tassi | 3.11 !!! |
tree | commitdiff |
| 2007-11-30 |
Enrico Tassi | added a way to generate all the utf8 symbols |
tree | commitdiff |
| 2007-11-28 |
Claudio Sacerdoti... | Dead code removed. |
tree | commitdiff |
| 2007-11-28 |
Claudio Sacerdoti... | Bug fixed: an unification exception used to escape... |
tree | commitdiff |
| 2007-11-28 |
Enrico Tassi | more stuff |
tree | commitdiff |
| 2007-11-28 |
Enrico Tassi | ... |
tree | commitdiff |
| 2007-11-27 |
Claudio Sacerdoti... | Output is now in UTF8 character counts. |
tree | commitdiff |
| 2007-11-27 |
Claudio Sacerdoti... | Options declared but not parsed. |
tree | commitdiff |
| 2007-11-27 |
Claudio Sacerdoti... | Ported to camlp5 < 5.00 |
tree | commitdiff |
| 2007-11-27 |
Claudio Sacerdoti... | Back-ported to camlp5 < 5.00. |
tree | commitdiff |
| 2007-11-27 |
Enrico Tassi | ... |
tree | commitdiff |
| 2007-11-27 |
Stefano Zacchiroli | remove debug fake data |
tree | commitdiff |
| 2007-11-27 |
Stefano Zacchiroli | (hackish) scripts for testing spurious disambiguation... |
tree | commitdiff |
| 2007-11-27 |
Stefano Zacchiroli | add "-order" cmdline option to just print a possible... |
tree | commitdiff |
| 2007-11-27 |
Stefano Zacchiroli | change naming scheme for rottened script, so that they... |
tree | commitdiff |
| 2007-11-27 |
Enrico Tassi | ... |
tree | commitdiff |
| 2007-11-27 |
Enrico Tassi | major reorganization (read cleanup) |
tree | commitdiff |
| 2007-11-27 |
Enrico Tassi | bir georganization, most of the structures done |
tree | commitdiff |
| 2007-11-27 |
Stefano Zacchiroli | avoid rottening of constructor names in pattern matchings |
tree | commitdiff |
| 2007-11-27 |
Stefano Zacchiroli | - use "O" as the rottening token |
tree | commitdiff |
| 2007-11-27 |
Stefano Zacchiroli | make target for cleaning rottened files |
tree | commitdiff |
| 2007-11-26 |
Enrico Tassi | reorganization of many files according to the new basic... |
tree | commitdiff |
| 2007-11-26 |
Stefano Zacchiroli | first draft of a script to mechanically introduce ... |
tree | commitdiff |
| 2007-11-26 |
Stefano Zacchiroli | add dump of position information in the lexed file |
tree | commitdiff |
| 2007-11-26 |
Claudio Sacerdoti... | Axiom moved from ex_deriv to deriv where it belongs to. |
tree | commitdiff |
| 2007-11-26 |
Claudio Sacerdoti... | Notation improved. |
tree | commitdiff |
| 2007-11-26 |
Claudio Sacerdoti... | Some code clean-up. |
tree | commitdiff |
| 2007-11-26 |
Claudio Sacerdoti... | Disambiguation error compaction is now performed in... |
tree | commitdiff |
| 2007-11-26 |
Enrico Tassi | for csc |
tree | commitdiff |
| 2007-11-26 |
Enrico Tassi | pretty |
tree | commitdiff |
| 2007-11-26 |
Claudio Sacerdoti... | Patch to automatically generate filename.error.md5... |
tree | commitdiff |
| 2007-11-26 |
Andrea Asperti | Almost there. |
tree | commitdiff |
| 2007-11-25 |
Claudio Sacerdoti... | This version of disambiguate.ml implements yet another... |
tree | commitdiff |
| 2007-11-25 |
Claudio Sacerdoti... | Bug fixed: an unification exception used to escape... |
tree | commitdiff |
| 2007-11-23 |
Enrico Tassi | since the previous commit fixed some bugs when the... |
tree | commitdiff |
| 2007-11-23 |
Enrico Tassi | restored the right context used to generate names.... |
tree | commitdiff |
| next |
projects / helm.git / history