Commits · ins_count_declared_void · Tanzeem Haque / gdsl-toolkit

06 Oct, 2013 6 commits
- X86 Tester: Handling of floating point operations, primitives, exceptions · 623b9746
  Julian Kranz authored Oct 06, 2013
  
  623b9746
- X86 Specification: Fixed bug in the decoding of MOVSX/MOVZX · 46b59adb
  Julian Kranz authored Oct 06, 2013
  
  46b59adb
- X86: Fixed bug in semantic translation · f637738d
  Julian Kranz authored Oct 06, 2013
  
  f637738d
- Added tag ins_count_declared_void for changeset 6ae06818eb07 · 689a0585
  Julian Kranz authored Oct 06, 2013
  
  689a0585
- Makefile · 17ec460a
  Julian Kranz authored Oct 06, 2013
  
  17ec460a
- Refactoring: sem_op_cmp => sem_expr_cmp · ab554b73
  Julian Kranz authored Oct 06, 2013
  
  ab554b73
04 Oct, 2013 2 commits
- RReil Exceptions · 18d02225
  Julian Kranz authored Oct 04, 2013
```
Completed semantics of: DIV/IDIV
X86 Tester
Bug fixes
```
  18d02225
- RReil Exceptions · f14e4550
  Julian Kranz authored Oct 04, 2013
  
  f14e4550
03 Oct, 2013 6 commits
- Fixed bug in semantics of: TEST · 1cf8c0ae
  Julian Kranz authored Oct 03, 2013
  
  1cf8c0ae
- Fixed bug in semantics of: BT* · 53e9d9ca
  Julian Kranz authored Oct 03, 2013
  
  53e9d9ca
- Fixed bug in semantics of: BTC · 28b0aeb5
  Julian Kranz authored Oct 03, 2013
  
  28b0aeb5
- Makefile · f62661de
  Julian Kranz authored Oct 03, 2013
  
  f62661de
- Refactoring: Sem_.x => Sem_. · 5f3fc60f
  Julian Kranz authored Oct 03, 2013
  
  5f3fc60f
- Fixed bug in semantics of: VMASKMOV · 815be884
  Julian Kranz authored Oct 03, 2013
  
  815be884
02 Oct, 2013 11 commits
- --- · cd154c6f
  Julian Kranz authored Oct 02, 2013
  
  cd154c6f
- Fixed bug in semantics of: REP/REPE/REPNE · 9b11d194
  Julian Kranz authored Oct 02, 2013
  
  9b11d194
- Fixed bug in semantics of: PEXTRW · 28668dd2
  Julian Kranz authored Oct 02, 2013
  
  28668dd2
- Fixed bug in semantics of: PUSH · 2f74b271
  Julian Kranz authored Oct 02, 2013
```
X86 Specification: Fixed bug in decoding of PUSH
```
  2f74b271
- Fixed bug in semantics of: CBW/CWDE/CDQE · d4ab36a6
  Julian Kranz authored Oct 02, 2013
```
Fixed bug in semantics of: CWD/CDQ/CQO
```
  d4ab36a6
- X86 Specification: Bug fix, bug fix for XCHG/NOP · 17a29ed3
  Julian Kranz authored Oct 02, 2013
  
  17a29ed3
- Fixed bug in semantics of: XADD · 7233ed8b
  Julian Kranz authored Oct 02, 2013
  
  7233ed8b
- Fixed bug in semantics of: CMP · 28969986
  Julian Kranz authored Oct 02, 2013
  
  28969986
- Fixed bug in semantics of: MOVQ · c4c993f9
  Julian Kranz authored Oct 02, 2013
  
  c4c993f9
- Fixed bug in semantics of: SUB · 6e4e624f
  Julian Kranz authored Oct 02, 2013
  
  6e4e624f
- Fixed bug in semantics of: PINSRW · c413be54
  Julian Kranz authored Oct 02, 2013
  
  c413be54
01 Oct, 2013 5 commits
- Fixed bug in semantics of: IMUL · bec1ebc8
  Julian Kranz authored Oct 01, 2013
  
  bec1ebc8
- Fixed bug in semantics of: OR · 8026e68f
  Julian Kranz authored Oct 01, 2013
  
  8026e68f
- Fixed bug in semantics of: DIV · c039c828
  Julian Kranz authored Oct 01, 2013
  
  c039c828
- Fixed bug in semantics of: IMUL · b7176185
  Julian Kranz authored Oct 01, 2013
```
Fixed bug in tester
```
  b7176185
- Fixed bug in semantics of: NEG · fac91b70
  Julian Kranz authored Oct 01, 2013
```
Fixed bug in semantics of: MOVSXD
```
  fac91b70
30 Sep, 2013 10 commits
- Fixed bug in semantics of: SBB · 64edf892
  Julian Kranz authored Sep 30, 2013
  
  64edf892
- Fixed bug in semantics of: XADD · 1d5d1c0d
  Julian Kranz authored Sep 30, 2013
  
  1d5d1c0d
- Fixed bug in semantics of: (V)PSRAW/(V)PSRAD · f40c4514
  Julian Kranz authored Sep 30, 2013
  
  f40c4514
- Fixed bug in semantics of: CMPXCHG · 95b3a0d7
  Julian Kranz authored Sep 30, 2013
  
  95b3a0d7
- X86 Tester: AVX support in instruction generator · 13438d3a
  Julian Kranz authored Sep 30, 2013
  
  13438d3a
- Fixed bug in semantics of: (V)PSRLW/(V)PSRLD/(V)PSRLQ · 8bb580d8
  Julian Kranz authored Sep 30, 2013
  
  8bb580d8
- Fixed bug in semantics of: XADD · a0a481f6
  Julian Kranz authored Sep 30, 2013
  
  a0a481f6
- Fixed bug in semantics of: MUL · cba2b7c9
  Julian Kranz authored Sep 30, 2013
  
  cba2b7c9
- Fixed bug in semantics of: PACKSSWB/PACKSSDW · 8025acf5
  Julian Kranz authored Sep 30, 2013
  
  8025acf5
- Fixed bug in semantics of: LOOP/LOOPcc · e0f9c96f
  Julian Kranz authored Sep 30, 2013
  
  e0f9c96f