| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2015-11-17 | Symbexec: fix parallelism with memory accesses | Ajax | 1 | -7/+4 |
| 2015-11-17 | x86/sem: rewrite xchg with SemBuilder | Ajax | 1 | -5/+4 |
| 2015-11-17 | TestQEMU: workaround/hack for displaying extended hex | Ajax | 1 | -0/+6 |
| 2015-11-17 | x86/sem: add cmpxchg8b | Ajax | 1 | -0/+16 |
| 2015-11-17 | Sembuilder: update regression test | Ajax | 1 | -1/+10 |
| 2015-11-16 | SemBuilder: introduce a new notation {a, b} for ExprCompose | Ajax | 1 | -0/+27 |
| 2015-11-16 | SemBuilder: use a local context per function | Ajax | 1 | -2/+6 |
| 2015-11-16 | x86/arch: add cmpxchg8b and cmpxchg16b in disass and tests | Ajax | 2 | -0/+12 |
| 2015-11-16 | x86/sem: fix cmpxchg using a sembuilder | Ajax | 1 | -19/+17 |
| 2015-11-16 | SemBuilder: handle if .. else .. structures | Ajax | 1 | -37/+46 |
| 2015-11-16 | SemBuilder: update `ir.get_next_label` API | Ajax | 1 | -1/+2 |
| 2015-11-16 | SemBuilder: allow alias (re-assignment of a declared var) | Ajax | 1 | -0/+1 |
| 2015-11-16 | Test: enable QEMU tests for "bcd" | Ajax | 1 | -1/+2 |