Commits · 332f27fe402393fb66801e7553ca02f052556420 · Tanzeem Haque / gdsl-toolkit

10 Oct, 2012 4 commits
- X86 Specification · 332f27fe
  Julian Kranz authored Oct 10, 2012
```
- Bug fixes
```
  332f27fe
- X86 RREIL Translator · 2ce269a7
  Julian Kranz authored Oct 10, 2012
```
- Added semantics of: CWD/CDQ/CQO
- Cleanup
```
  2ce269a7
- X86 RREIL Translator · 11c91410
  Julian Kranz authored Oct 10, 2012
```
X86 Specification

- Operand- and address size attributes
- Cleaned up semantics of: JMP, Jcc
```
  11c91410
- X86 RREIL Translator · 7a8b6b35
  Julian Kranz authored Oct 10, 2012
```
- Cleaned up semantics of: CALL
```
  7a8b6b35
09 Oct, 2012 3 commits
- X86 RREIL Translator · a07fe704
  Julian Kranz authored Oct 09, 2012
```
X86 Specification

- Segmentation
- Bug fixes
- Continued to add semantics for: CMPS
```
  a07fe704
- X86 RREIL Translator · 6f878277
  Julian Kranz authored Oct 09, 2012
```
X86 Specification

- Bug fixes
```
  6f878277
- X86 RREIL Translator · d29b0c34
  Julian Kranz authored Oct 09, 2012
```
- Bug fixes
```
  d29b0c34
08 Oct, 2012 5 commits
- be generous about zipEq errors being follow up errors during type inference · aa8e327d
  Axel Simon authored Oct 08, 2012
  
  aa8e327d
- X86 RREIL Translator · 51e6e497
  Julian Kranz authored Oct 08, 2012
```
- Segmentation
```
  51e6e497
- X86 RREIL Translator · 4f77c674
  Julian Kranz authored Oct 08, 2012
```
- Cleanup

X86 Specification

- Started to add operand size attribute
```
  4f77c674
- X86 RREIL Translator · 6f5843e2
  Julian Kranz authored Oct 08, 2012
```
- Segmentation
- Cleanup
```
  6f5843e2
- X86 Specification · 425b0bf8
  Julian Kranz authored Oct 08, 2012
```
- Segmentation
```
  425b0bf8
06 Oct, 2012 2 commits
- make compile · a6fb4122
  Axel Simon authored Oct 06, 2012
  
  a6fb4122
- fix complex patterns and improve error message · 6f563dc5
  Axel Simon authored Oct 06, 2012
  
  6f563dc5
05 Oct, 2012 3 commits
- X86 Specification · 37a1e9d1
  Julian Kranz authored Oct 05, 2012
```
- Segmentation
```
  37a1e9d1
- Merge · d1b5879e
  Julian Kranz authored Oct 05, 2012
```
- Resolved conflicts
```
  d1b5879e
- Merge · ed6c620e
  Julian Kranz authored Oct 05, 2012
  
  ed6c620e
04 Oct, 2012 1 commit
- some restructuring · c1dce6dd
  Axel Simon authored Oct 04, 2012
  
  c1dce6dd
03 Oct, 2012 6 commits
- X86 RREIL Translator · f1996166
  Julian Kranz authored Oct 03, 2012
```
- Added to add semantics for: CMPS
```
  f1996166
- X86 RREIL Translator · 468829d2
  Julian Kranz authored Oct 03, 2012
```
- Continued to add semantics for: (V)MOVAPD
```
  468829d2
- X86 RREIL Translator · 27ae5bdb
  Julian Kranz authored Oct 03, 2012
```
- Continued to add semantics for: (V)MOVAPS
```
  27ae5bdb
- X86 RREIL Translator · 1126a641
  Julian Kranz authored Oct 03, 2012
```
- Started to add semantics for: (V)MOVAPS
```
  1126a641
- X86 RREIL Translator · c35f6ae5
  Julian Kranz authored Oct 03, 2012
```
- Continued to add semantics for: CMOVcc
```
  c35f6ae5
- X86 RREIL Translator · cfdcd243
  Julian Kranz authored Oct 03, 2012
```
- Continued to add semantics for: CMOVcc
```
  cfdcd243
02 Oct, 2012 5 commits
- X86 RREIL Translator · 43cc3e2e
  Julian Kranz authored Oct 02, 2012
```
- Continued to add semantics for: CMOVcc
```
  43cc3e2e
- X86 RREIL Translator · 531fc01a
  Julian Kranz authored Oct 02, 2012
```
- Continued to add semantics for: BT
- Added semantics for: OR
- Bug fixes
```
  531fc01a
- X86 RREIL Translator · c56c85bb
  Julian Kranz authored Oct 02, 2012
```
- Added semantics for: XCHG, MOVSX(D)
```
  c56c85bb
- X86 RREIL Translator · ee9dcd6d
  Julian Kranz authored Oct 02, 2012
```
- Added semantics for: BT
```
  ee9dcd6d
- X86 RREIL Translator · 74a5e747
  Julian Kranz authored Oct 02, 2012
```
- Continued to add semantics for: Jcc
- Added semantics for: SETcc
```
  74a5e747
01 Oct, 2012 2 commits
- X86 RREIL Translator · ea03c3e5
  Julian Kranz authored Oct 01, 2012
```
- Continued to add semantics for: Jcc
```
  ea03c3e5
- X86 RREIL Translator · 72807d95
  Julian Kranz authored Oct 01, 2012
```
- Continued to add semantics for: RET, RET_FAR
```
  72807d95
28 Sep, 2012 2 commits
- X86 RREIL Translator · defc62f6
  Julian Kranz authored Sep 28, 2012
```
- Continued to add semantics for: RET
```
  defc62f6
- X86 RREIL Translator · e959d2a3
  Julian Kranz authored Sep 28, 2012
```
- Continued to add semantics for: CALL
```
  e959d2a3
27 Sep, 2012 3 commits
- X86 RREIL Translator · 9f92680a
  Julian Kranz authored Sep 27, 2012
```
- Continued to add semantics for: CALL
```
  9f92680a
- X86 RREIL Translator · 4678814d
  Julian Kranz authored Sep 27, 2012
```
- Continued to add semantics for: SHL, SAL, SHR, SAR
```
  4678814d
- X86 RREIL Translator · bedfd2ee
  Julian Kranz authored Sep 27, 2012
```
- Continued to add semantics for: JMP, PUSH, CALL
```
  bedfd2ee
26 Sep, 2012 3 commits
- X86 RREIL Translator · 33b5f4f2
  Julian Kranz authored Sep 26, 2012
```
- Continued to add semantics for: JMP
```
  33b5f4f2
- X86 RREIL Translator · dcc260d6
  Julian Kranz authored Sep 26, 2012
```
- Continued to add semantics for: JMP
- Started to add semantics for: CALL
```
  dcc260d6
- X86 RREIL Translator · 6a3ace98
  Julian Kranz authored Sep 26, 2012
```
- Added semantics for: POP
```
  6a3ace98
25 Sep, 2012 1 commit
- X86 RREIL Translator · 8771fc9f
  Julian Kranz authored Sep 25, 2012
```
- Added semantics for: NOP
- Started to add semantics for: POP
```
  8771fc9f