Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ported to Coq 8.4pl1. Merge of branches/coq-8.4. | 2013-01-29 | |
* | checklink: configuration, indicate external symbols | 2012-07-12 | |
* | checklink: more stringent compilation | 2012-07-11 | |
* | checklink: adaptation to the new floats | 2012-07-03 | |
* | checklink: Faster printing | 2012-06-29 | |
* | checklink: improved user-friendliness | 2012-06-04 | |
* | checklink: improved error messages | 2012-06-01 | |
* | cchecklink continues when sections overlap | 2012-05-24 | |
* | cchecklink now reads segments instead of sections | 2012-05-10 | |
* | Added small data area support to checklink | 2012-04-20 | |
* | Faster ndxes_of_sym_name | 2012-04-12 | |
* | Added safety to potentially overflowing arithmetics | 2012-04-04 | |
* | Adjustments to cchecklink's options and verbosity | 2012-04-04 | |
* | checklink: first import of Valentin Robert's validator for asm and link | 2012-03-28 |