Commits · e6c2eaad418b7c3b053da6e9770a8586d1fc30fc · Tanzeem Haque / gdsl-toolkit

19 Sep, 2012 1 commit
- forgot to apply mixfix function symbols · e6c2eaad
  Axel Simon authored Sep 19, 2012
  
  e6c2eaad
18 Sep, 2012 3 commits
- turn off debugging output in type checker · 2d7b53fa
  Axel Simon authored Sep 18, 2012
  
  2d7b53fa
- merge · 5824b285
  Axel Simon authored Sep 18, 2012
  
  5824b285
- project out Boolean variables from recursive calls when pushing function... · 1b3aff4c
  Axel Simon authored Sep 18, 2012
```
project out Boolean variables from recursive calls when pushing function symbol, fixes bug in type checking bbtree
```
  1b3aff4c
17 Sep, 2012 8 commits
- X86 Specification · 829896bd
  Julian Kranz authored Sep 17, 2012
```
X86 RREIL Translator
RREIL Specification

- Bug fixes
- Cleanup
```
  829896bd
- X86 Specification · 6fd49504
  Julian Kranz authored Sep 17, 2012
```
- Bug fixes
- Cleanup
```
  6fd49504
- X86 Specification · fa9069f2
  Julian Kranz authored Sep 17, 2012
```
X86 RREIL Translator
X86 Pretty Printer

- Added instruction: INS/INSB/INSW/INSD
```
  fa9069f2
- X86 Specification · 4cb9d4b1
  Julian Kranz authored Sep 17, 2012
```
- Bug fixes
- Continued to add instruction: INC
```
  4cb9d4b1
- X86 RREIL Translator · 78052455
  Julian Kranz authored Sep 17, 2012
```
- sem-undef functions
```
  78052455
- allow mixfix function names using underscores · f77c3ba8
  Axel Simon authored Sep 17, 2012
  
  f77c3ba8
- X86 Specification · 9e6e2a3d
  Julian Kranz authored Sep 17, 2012
```
X86 RREIL Translator

- Bug fixes
- Cleanup
```
  9e6e2a3d
- X86 Pretty Printer · 24f372f9
  Julian Kranz authored Sep 17, 2012
```
X86 RREIL Translator
```
  24f372f9
14 Sep, 2012 1 commit
- X86 Specification · 90acd5e9
  Julian Kranz authored Sep 14, 2012
```
- Bug fixes
- Cleanup
```
  90acd5e9
07 Sep, 2012 1 commit
- X86 Specification · dc062b68
  Julian Kranz authored Sep 07, 2012
```
- Bug fixes
- Cleanup
```
  dc062b68
06 Sep, 2012 1 commit
- X86 Specification · 06f901a4
  Julian Kranz authored Sep 06, 2012
```
- Continued to add instruction(s): CALL
- Cleanup
- Bug fixes
```
  06f901a4
05 Sep, 2012 6 commits
- X86 Pretty Printer · 7b76b200
  Julian Kranz authored Sep 05, 2012
```
- Added remaining instructions
- Bug fixes
```
  7b76b200
- X86 Specification · e56ecd73
  Julian Kranz authored Sep 05, 2012
```
- Cleanup
```
  e56ecd73
- X86 Specification · 20869d62
  Julian Kranz authored Sep 05, 2012
```
- Cleanup
```
  20869d62
- X86 Specification · bceacd8d
  Julian Kranz authored Sep 05, 2012
```
- Cleanup
```
  bceacd8d
- X86 Specification · 5e63caf4
  Julian Kranz authored Sep 05, 2012
```
- Cleanup
```
  5e63caf4
- X86 Specification · 26d6b784
  Julian Kranz authored Sep 05, 2012
```
- Cleanup
```
  26d6b784
04 Sep, 2012 4 commits
- X86 Specification · 492e9c59
  Julian Kranz authored Sep 04, 2012
```
- Added instruction(s): XRSTOR - XSETBV
```
  492e9c59
- X86 Specification · 03d5fc0c
  Julian Kranz authored Sep 04, 2012
```
- Added instruction(s): XLAT/XLATB
```
  03d5fc0c
- X86 Specification · 30f779c2
  Julian Kranz authored Sep 04, 2012
```
- Bug fix
- Cleanup
```
  30f779c2
- X86 Specification · 80332fd9
  Julian Kranz authored Sep 04, 2012
```
- Added instruction(s): VINSERTF128 - WRMSR
```
  80332fd9
03 Sep, 2012 7 commits
- X86 Specification · d4e3e29c
  Julian Kranz authored Sep 03, 2012
```
- Added instruction(s): UNPCKHPD - VEXTRACTF128
```
  d4e3e29c
- X86 Specification · 21dd0add
  Julian Kranz authored Sep 03, 2012
```
- Added instruction(s): UCOMISS
```
  21dd0add
- X86 Specification · b0f12672
  Julian Kranz authored Sep 03, 2012
```
- Added instruction(s): SYSENTER - SYSRET
```
  b0f12672
- X86 Specification · 3363b54a
  Julian Kranz authored Sep 03, 2012
```
- Bug fixes
```
  3363b54a
- X86 Specification · 833437f2
  Julian Kranz authored Sep 03, 2012
```
- Added instruction(s): SUBPD - SWAPGS
```
  833437f2
- X86 Specification · 74ecabd8
  Julian Kranz authored Sep 03, 2012
```
- Added instruction(s): STR
```
  74ecabd8
- X86 Specification · 9e3651c5
  Julian Kranz authored Sep 03, 2012
```
- Added instruction(s): SQRTSD - STMXCSR
```
  9e3651c5
31 Aug, 2012 6 commits
- X86 Specification · fc4f51ae
  Julian Kranz authored Aug 31, 2012
```
- Added instruction(s): SQRTPS
```
  fc4f51ae
- X86 Specification · 1313f2a3
  Julian Kranz authored Aug 31, 2012
```
- Added instruction(s): SHUFPD - SQRTPD
```
  1313f2a3
- X86 Specification · 499f6116
  Julian Kranz authored Aug 31, 2012
```
- Added instruction(s): ROUNDPD - SAHF, SGDT
- Cleanup
```
  499f6116
- X86 Specification · e1230a0e
  Julian Kranz authored Aug 31, 2012
```
- Added instruction(s): RDPMC - RDRAND
```
  e1230a0e
- X86 Specification · 0ead13ee
  Julian Kranz authored Aug 31, 2012
```
- Added instruction(s): VPXOR - RDMSR
- Cleanup
```
  0ead13ee
- X86 Specification · db43f575
  Julian Kranz authored Aug 31, 2012
```
- Added instruction(s): PUSHA/PUSHAD - PUSHF/PUSHFD
```
  db43f575
30 Aug, 2012 2 commits
- X86 Specification · 8c1f2384
  Julian Kranz authored Aug 30, 2012
```
- Added instruction(s): PUNPCKHBW/PUNPCKHWD/PUNPCKHDQ/PUNPCKHQDQ
```
  8c1f2384
- X86 Specification · b8a3c5e9
  Julian Kranz authored Aug 30, 2012
```
- Added instruction(s): PSUBQ - PSUBUSB/PSUBUSW
```
  b8a3c5e9