| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | Fix cpu.set_mem() -> vm.set_mem() | William Bruneau | 2020-04-10 | 1 | -1/+1 | |
| | |/ / | ||||||
| * | | | Merge pull request #1180 from serpilliere/updt_mips_instr | serpilliere | 2020-04-13 | 1 | -3/+4 | |
| |\ \ \ | ||||||
| | * | | | Fix mips arch tipo | Fabrice Desclaux | 2020-04-09 | 1 | -3/+4 | |
| * | | | | Merge pull request #1181 from serpilliere/fix_visit_api | serpilliere | 2020-04-13 | 1 | -17/+10 | |
| |\ \ \ \ | ||||||
| | * | | | | Fix expr api updt | Fabrice Desclaux | 2020-04-09 | 1 | -17/+10 | |
| | |/ / / | ||||||
| * | | | | Merge pull request #1177 from nofiv/patch-2 | serpilliere | 2020-04-13 | 1 | -0/+1 | |
| |\ \ \ \ | ||||||
| | * | | | | Minor improvement in rebuild_edges | Vladislav Hrčka | 2020-04-08 | 1 | -0/+1 | |
| | | |/ / | |/| | | ||||||
| * | | | | Merge pull request #1182 from icecr4ck/fix_type_error_dse | serpilliere | 2020-04-13 | 1 | -1/+1 | |
| |\ \ \ \ | |/ / / |/| | | | ||||||
| | * | | | Fix type error for Python3 in DSE | Hugo Porcher | 2020-04-13 | 1 | -1/+1 | |
| |/ / / | ||||||
| * | | | Merge pull request #1175 from serpilliere/fix_vm_read_mem_ret_buf | serpilliere | 2020-04-03 | 1 | -7/+36 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | Updt vm_read_ret_buf api | Fabrice Desclaux | 2020-04-03 | 1 | -7/+36 | |
| |/ / | ||||||
| * | | Merge pull request #1174 from serpilliere/fix_segm | serpilliere | 2020-04-03 | 1 | -3/+3 | |
| |\ \ | ||||||
| | * | | X86: fix segm index | Fabrice Desclaux | 2020-04-03 | 1 | -3/+3 | |
| |/ / | ||||||
| * | | Merge pull request #1173 from serpilliere/fix_int_export_vm_cpu | serpilliere | 2020-04-03 | 19 | -108/+162 | |
| |\ \ | ||||||
| | * | | Fix int(expr) | Fabrice Desclaux | 2020-04-03 | 15 | -108/+125 | |
| | * | | vm_read_mem | Fabrice Desclaux | 2020-04-03 | 1 | -0/+11 | |
| | * | | export cpu address | Fabrice Desclaux | 2020-04-03 | 3 | -0/+26 | |
| |/ / | ||||||
| * | | Merge pull request #1172 from serpilliere/use_int_expr | serpilliere | 2020-04-03 | 19 | -103/+152 | |
| |\ \ | ||||||
| | * | | Use int(expr) instead of expr.arg.arg | Fabrice Desclaux | 2020-04-03 | 19 | -103/+152 | |
| |/ / | ||||||
| * | | Merge pull request #1158 from serpilliere/expr_visitor | serpilliere | 2020-03-30 | 7 | -304/+420 | |
| |\ \ | ||||||
| | * | | Add Expression visitor | Fabrice Desclaux | 2020-03-29 | 7 | -304/+420 | |
| |/ / | ||||||
| * | | Merge pull request #1166 from serpilliere/fix_syscall_linux | serpilliere | 2020-03-28 | 1 | -5/+0 | |
| |\ \ | ||||||
| | * | | Fix syscall linux | Fabrice Desclaux | 2020-03-28 | 1 | -5/+0 | |
| |/ / | ||||||
| * | | Implements EXCEPT_SYSCALL (#1163) | Tek | 2020-03-28 | 4 | -8/+103 | |
| * | | Merge pull request #1161 from serpilliere/add_simplifications | serpilliere | 2020-03-20 | 3 | -0/+29 | |
| |\ \ | ||||||
| | * | | Add simplifications | Fabrice Desclaux | 2020-03-20 | 3 | -0/+29 | |
| |/ / | ||||||
| * | | Merge pull request #1160 from serpilliere/updt_z3 | serpilliere | 2020-03-18 | 3 | -12/+11 | |
| |\ \ | ||||||
| | * | | Updt z3 version; update z3 api | Fabrice Desclaux | 2020-03-18 | 3 | -12/+11 | |
| |/ / | ||||||
| * | | Merge pull request #1159 from serpilliere/graph_weakly_connected | serpilliere | 2020-03-16 | 2 | -0/+65 | |
| |\ \ | ||||||
| | * | | Graph: add weakly connected components | Fabrice Desclaux | 2020-03-16 | 2 | -0/+65 | |
| * | | | Merge pull request #1155 from nofiv/patch-1 | serpilliere | 2020-03-16 | 1 | -1/+1 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | Prevent Compose-stacking of solo Exprs | Vladislav Hrčka | 2020-03-12 | 1 | -1/+1 | |
| * | | | Merge pull request #1157 from serpilliere/is_assign | serpilliere | 2020-03-16 | 2 | -3/+12 | |
| |\ \ \ | |/ / |/| | | ||||||
| | * | | Fix is_assign name | Fabrice Desclaux | 2020-03-16 | 2 | -3/+12 | |
| |/ / | ||||||
| * | | Merge pull request #1154 from XVilka/patch-1 | serpilliere | 2020-03-06 | 1 | -0/+2 | |
| |\ \ | ||||||
| | * | | Link to the IR Notebook from README | Anton Kochkov | 2020-03-06 | 1 | -0/+2 | |
| |/ / | ||||||
| * | | Merge pull request #1148 from serpilliere/fix_automod_code | serpilliere | 2020-03-02 | 3 | -7/+39 | |
| |\ \ | |/ |/| | ||||||
| | * | Fix missing self | Fabrice Desclaux | 2020-02-28 | 1 | -1/+1 | |
| | * | Fix Automod code | Fabrice Desclaux | 2020-02-28 | 3 | -6/+38 | |
| |/ | ||||||
| * | Merge pull request #1142 from serpilliere/add_ir_documentation | serpilliere | 2020-02-23 | 1 | -0/+897 | |
| |\ | ||||||
| | * | Add some language rules | Fabrice Desclaux | 2020-02-20 | 1 | -201/+46 | |
| | * | English translation | Caroline Leman | 2020-02-20 | 1 | -307/+241 | |
| | * | Add documentation for expression | Camille Mougey | 2020-02-19 | 1 | -0/+1118 | |
| * | | Merge pull request #1144 from serpilliere/fix_msp430_warning | serpilliere | 2020-02-23 | 1 | -0/+5 | |
| |\ \ | |/ |/| | ||||||
| | * | Fix msp430 warning | Fabrice Desclaux | 2020-02-21 | 1 | -0/+5 | |
| |/ | ||||||
| * | Merge pull request #1140 from 6oclock/msp430_sr_subregisters_offsets | serpilliere | 2020-02-19 | 1 | -6/+6 | |
| |\ | ||||||
| | * | Modification of the SR subregisters offsets | Nicolas DILLIES | 2020-02-19 | 1 | -6/+6 | |
| * | | Merge pull request #1139 from serpilliere/add_simplification | serpilliere | 2020-02-19 | 3 | -0/+103 | |
| |\ \ | |/ |/| | ||||||
| | * | Add == simplification | serpilliere | 2020-02-19 | 3 | -0/+103 | |
| * | | Merge pull request #1138 from Frky/linux_x86_32 | serpilliere | 2020-02-19 | 3 | -0/+60 | |
| |\ \ | |/ |/| | ||||||