| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2020-04-20 | Add pe pages to allocated_pages | Fabrice Desclaux | 3 | -3/+15 |
| 2020-04-15 | Fix ida graph_ir | Fabrice Desclaux | 1 | -6/+5 |
| 2020-04-13 | Fix type error for Python3 in DSE | Hugo Porcher | 1 | -1/+1 |
| 2020-04-10 | Fix cpu.set_mem() -> vm.set_mem() | William Bruneau | 1 | -1/+1 |
| 2020-04-09 | Fix expr api updt | Fabrice Desclaux | 1 | -17/+10 |
| 2020-04-09 | Fix mips arch tipo | Fabrice Desclaux | 1 | -3/+4 |
| 2020-04-08 | Minor improvement in rebuild_edges | Vladislav Hrčka | 1 | -0/+1 |
| 2020-04-03 | Updt vm_read_ret_buf api | Fabrice Desclaux | 1 | -7/+36 |
| 2020-04-03 | X86: fix segm index | Fabrice Desclaux | 1 | -3/+3 |
| 2020-04-03 | Fix int(expr) | Fabrice Desclaux | 15 | -108/+125 |
| 2020-04-03 | vm_read_mem | Fabrice Desclaux | 1 | -0/+11 |
| 2020-04-03 | export cpu address | Fabrice Desclaux | 3 | -0/+26 |
| 2020-04-03 | Use int(expr) instead of expr.arg.arg | Fabrice Desclaux | 19 | -103/+152 |
| 2020-03-29 | Add Expression visitor | Fabrice Desclaux | 7 | -304/+420 |
| 2020-03-28 | Fix syscall linux | Fabrice Desclaux | 1 | -5/+0 |
| 2020-03-28 | Implements EXCEPT_SYSCALL (#1163) | Tek | 4 | -8/+103 |
| 2020-03-20 | Add simplifications | Fabrice Desclaux | 3 | -0/+29 |
| 2020-03-18 | Updt z3 version; update z3 api | Fabrice Desclaux | 3 | -12/+11 |
| 2020-03-16 | Graph: add weakly connected components | Fabrice Desclaux | 2 | -0/+65 |
| 2020-03-16 | Fix is_assign name | Fabrice Desclaux | 2 | -3/+12 |
| 2020-03-12 | Prevent Compose-stacking of solo Exprs | Vladislav Hrčka | 1 | -1/+1 |
| 2020-03-06 | Link to the IR Notebook from README | Anton Kochkov | 1 | -0/+2 |
| 2020-02-28 | Fix missing self | Fabrice Desclaux | 1 | -1/+1 |
| 2020-02-28 | Fix Automod code | Fabrice Desclaux | 3 | -6/+38 |
| 2020-02-21 | Fix msp430 warning | Fabrice Desclaux | 1 | -0/+5 |
| 2020-02-20 | Add some language rules | Fabrice Desclaux | 1 | -201/+46 |