Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | DuplicateParam -> DuplicateOracle + simpler Duplicatepasses | Sylvain Boulmé | 2020-10-28 | 1 | -3/+3 |
| | |||||
* | Reworked Duplicate to be parametrized | Cyril SIX | 2020-10-27 | 1 | -5/+21 |
| | |||||
* | Adding copyrights | Cyril SIX | 2020-05-04 | 1 | -0/+14 |
| | |||||
* | Adding info field for branching in RTL, LTL, XTL and all associated passes | Cyril SIX | 2020-03-11 | 1 | -2/+2 |
| | |||||
* | Revert "Modified the hook for the oracle" | Cyril SIX | 2020-01-23 | 1 | -8/+5 |
| | | | | | | This reverts commit 04a46f516487557df00f43453c8decbc8567c458. It was actually not needed | ||||
* | 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 |