Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Verificator finished for handling reversed Icond | Cyril SIX | 2020-01-23 | 1 | -6/+9 |
* | Modified the hook for the oracle | Cyril SIX | 2020-01-23 | 1 | -5/+8 |
* | finish merge | David Monniaux | 2019-12-02 | 1 | -11/+13 |
* | simplification of Duplicate: remove xfunction | Sylvain Boulmé | 2019-11-14 | 1 | -70/+35 |
* | Merge remote-tracking branch 'origin/mppa-duplicate-rtl-alt' into mppa-work | Cyril SIX | 2019-10-24 | 1 | -7/+0 |
|\ | |||||
| * | An alternative proof where the match_state does not depend on the translation | Sylvain Boulmé | 2019-10-23 | 1 | -7/+0 |
* | | eq_condition already existed | David Monniaux | 2019-10-16 | 1 | -1/+1 |
|/ | |||||
* | Finished Duplicate proof. | Cyril SIX | 2019-10-07 | 1 | -1/+18 |
* | Icond | Cyril SIX | 2019-10-07 | 1 | -0/+17 |
* | Itailcall | Cyril SIX | 2019-10-07 | 1 | -0/+9 |
* | Ireturn | Cyril SIX | 2019-10-07 | 1 | -1/+5 |
* | Ibuiltin proof | Cyril SIX | 2019-10-04 | 1 | -0/+24 |
* | Icall | Cyril SIX | 2019-10-03 | 1 | -0/+19 |
* | Iload and Istore | Cyril SIX | 2019-10-03 | 1 | -0/+24 |
* | Proof for Iop | Cyril SIX | 2019-10-03 | 1 | -1/+13 |
* | Duplicate - Proof of verificator for Inop | Cyril SIX | 2019-10-03 | 1 | -1/+2 |
* | Starting implementing the verificator | Cyril SIX | 2019-10-02 | 1 | -0/+33 |
* | Proof of first axiom | Cyril SIX | 2019-09-11 | 1 | -3/+15 |
* | Fixing Linking problem | Cyril SIX | 2019-09-11 | 1 | -15/+15 |
* | Utilisation d'un intermédiaire xfunction contenant le revmap | Cyril SIX | 2019-09-11 | 1 | -13/+33 |
* | Duplicate: big progress on step_simulation, only Ijumptbl left | Cyril SIX | 2019-09-05 | 1 | -10/+9 |
* | Duplicate: exec_function_internal | Cyril SIX | 2019-09-04 | 1 | -0/+9 |
* | transf_initial_states | Cyril SIX | 2019-09-04 | 1 | -7/+16 |
* | Stubs for Duplicate pass | Cyril SIX | 2019-09-03 | 1 | -0/+31 |