| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | More properties on mul/div/mod | xleroy | 2012-06-09 | 1 | -0/+39 |
* | checklink: improved user-friendliness | varobert | 2012-06-04 | 5 | -161/+184 |
* | checklink: improved error messages | varobert | 2012-06-01 | 2 | -16/+48 |
* | checklink: new disassembler, error severity, ... | varobert | 2012-06-01 | 5 | -1054/+1085 |
* | checklink: better error messages | varobert | 2012-05-31 | 1 | -9/+10 |
* | checklink: fixed FSQRTEx parsing | varobert | 2012-05-31 | 1 | -1/+1 |
* | Better error reports for checklink | varobert | 2012-05-30 | 2 | -77/+98 |
* | Removed Oandimm, etc, cases, because of 2-address constraints... | xleroy | 2012-05-29 | 2 | -24/+0 |
* | Memdata: cleanup continued | xleroy | 2012-05-26 | 2 | -178/+131 |
* | CSE: add recognition of some combined operators, conditions, and addressing m... | xleroy | 2012-05-26 | 28 | -471/+1172 |
* | cchecklink continues when sections overlap | varobert | 2012-05-24 | 3 | -62/+77 |
* | More efficient implementation of reg_valnum | xleroy | 2012-05-22 | 2 | -90/+168 |
* | Merge of the newmem branch: | xleroy | 2012-05-21 | 49 | -1945/+5923 |
* | Hack with nxor | xleroy | 2012-05-18 | 3 | -0/+10 |
* | Use freg <-> 2 ireg move instructions to fix up calling conventions | xleroy | 2012-05-18 | 1 | -4/+2 |
* | cchecklink now reads segments instead of sections | varobert | 2012-05-10 | 8 | -285/+354 |
* | Fixed float comparison in checklink | varobert | 2012-05-02 | 1 | -2/+5 |
* | Added small data area support to checklink | varobert | 2012-04-20 | 3 | -58/+201 |
* | New section mapping checks and symbol data lookup | varobert | 2012-04-13 | 4 | -57/+118 |
* | Added long versions of Pbf and Pbt | varobert | 2012-04-12 | 1 | -42/+80 |
* | Added Pallocframe second form | varobert | 2012-04-12 | 1 | -3/+13 |
* | Faster ndxes_of_sym_name | varobert | 2012-04-12 | 5 | -26/+51 |
* | Configuration, build and install for cchecklink. Clean-ups in myocamlbuild.ml. | xleroy | 2012-04-04 | 3 | -4/+27 |
* | Tracing each data chunk in debug mode | varobert | 2012-04-04 | 2 | -0/+16 |
* | Added safety to potentially overflowing arithmetics | varobert | 2012-04-04 | 10 | -151/+206 |
* | Manual argument passing to checklink's make | varobert | 2012-04-04 | 1 | -1/+1 |
* | Catch Integer_overflow during fuzz testing | varobert | 2012-04-04 | 1 | -0/+3 |
* | Better error messages for data symbols | varobert | 2012-04-04 | 2 | -10/+7 |
* | Better fuzzing options | varobert | 2012-04-04 | 4 | -55/+81 |
* | New Makefile for testing checklink | varobert | 2012-04-04 | 1 | -0/+52 |
* | Adjustments to cchecklink's options and verbosity | varobert | 2012-04-04 | 5 | -108/+217 |
* | Cleaning up checklink | varobert | 2012-04-04 | 3 | -44/+2 |
* | Finer-grained exception catching during fuzzing | varobert | 2012-04-04 | 1 | -59/+57 |
* | Support for fcmpzd instruction (float compare with +0.0) | xleroy | 2012-03-29 | 8 | -6/+74 |
* | A file with the version number | xleroy | 2012-03-28 | 1 | -0/+1 |
* | checklink: first import of Valentin Robert's validator for asm and link | xleroy | 2012-03-28 | 41 | -79/+5565 |
* | make clean must erase tools/ndfun | xleroy | 2012-03-13 | 1 | -0/+1 |
* | MAJ docv1.10 | xleroy | 2012-03-12 | 3 | -12/+7 |
* | Option -randvol to expose randomization of volatiles in Interp.ml | xleroy | 2012-03-12 | 1 | -0/+2 |
* | Minor updates | xleroy | 2012-03-11 | 4 | -198/+19 |
* | Proof didn't go through for ARM | xleroy | 2012-03-11 | 1 | -2/+2 |
* | Another update from Andrew Tolmach | xleroy | 2012-03-09 | 1 | -1/+1 |
* | PrintCminor: printing Sskip | xleroy | 2012-03-09 | 4 | -6/+6 |
* | Merge of Andrew Tolmach's HASP-related changes | xleroy | 2012-03-09 | 12 | -125/+913 |
* | Cprint: export Cprint.attributes | xleroy | 2012-03-07 | 3 | -10/+41 |
* | PowerPC: remove the fmadd and fmsub operators/Asm instructions | xleroy | 2012-03-07 | 15 | -67/+27 |
* | Add -toolprefix | xleroy | 2012-03-06 | 1 | -37/+41 |
* | Update | xleroy | 2012-03-06 | 1 | -3/+3 |
* | Remove 'near-code' access mode, makes no sense in CompCert | xleroy | 2012-03-06 | 1 | -2/+1 |
* | Added command-line options -Wp,<opt> -Wa,<opt> -Wl,<opt> | xleroy | 2012-02-29 | 3 | -3/+21 |