Commits · cae1bd8475bd6028fb87775b96c5138945e958ab · Tanzeem Haque / gdsl-toolkit

29 Aug, 2012 1 commit
- X86 Specification · cae1bd84
  Julian Kranz authored Aug 29, 2012
```
- Added instruction(s): LLDT - LTR
- Cleanup
```
  cae1bd84
28 Aug, 2012 8 commits
- X86 Specification · b2f0e1f1
  Julian Kranz authored Aug 28, 2012
```
- Added instruction(s): LGDT/LIDT
```
  b2f0e1f1
- X86 Specification · b1edd824
  Julian Kranz authored Aug 28, 2012
```
- Added instruction(s): LDMXCSR - LDS/LES/LFS/LGS/LSS
```
  b1edd824
- X86 Specification · e69f1da7
  Julian Kranz authored Aug 28, 2012
```
- Added instruction(s): LAHF - LAR
```
  e69f1da7
- X86 Specification · c417a7f8
  Julian Kranz authored Aug 28, 2012
```
- Added instruction(s): INVPCID - IRET/IRETD
```
  c417a7f8
- Merge · 7fa444c3
  Julian Kranz authored Aug 28, 2012
  
  7fa444c3
- merge · 0d5fea49
  Axel Simon authored Aug 28, 2012
  
  0d5fea49
- fix DIVR instruction that was overlapping · 47da24fb
  Axel Simon authored Aug 28, 2012
  
  47da24fb
- merge · 9a7b5de2
  Axel Simon authored Aug 28, 2012
  
  9a7b5de2
19 Aug, 2012 1 commit
- replace pushed nested group without resorting to function name in which it was nested · 7e943cca
  Axel Simon authored Aug 19, 2012
  
  7e943cca
18 Aug, 2012 1 commit
- fix nested fixpoint computations · 46b6f4a4
  Axel Simon authored Aug 18, 2012
  
  46b6f4a4
17 Aug, 2012 1 commit
- fixes in pushNested and popNested · 0ecf0d21
  Axel Simon authored Aug 17, 2012
  
  0ecf0d21
16 Aug, 2012 5 commits
- X86 Example Specification · ecb418a4
  Julian Kranz authored Aug 16, 2012
```
- Added instruction(s): Bug fixes
```
  ecb418a4
- Up. · ce10a0ab
  mb0 authored Aug 16, 2012
  
  ce10a0ab
- Merge. · 2376e0b6
  mb0 authored Aug 16, 2012
  
  2376e0b6
- Up. · e68a1990
  mb0 authored Aug 16, 2012
  
  e68a1990
- Up. · d7202caf
  mb0 authored Aug 16, 2012
  
  d7202caf
15 Aug, 2012 1 commit
- produce more bugs · 9edac840
  Axel Simon authored Aug 15, 2012
  
  9edac840
14 Aug, 2012 6 commits
- X86 Example Specification · 9488e92b
  Julian Kranz authored Aug 14, 2012
```
- Added instruction(s): INSERTPS - INVLPG
```
  9488e92b
- X86 Example Specification · 8d5d4d93
  Julian Kranz authored Aug 14, 2012
```
- Cleanup
```
  8d5d4d93
- X86 Example Specification · 600a4971
  Julian Kranz authored Aug 14, 2012
```
- Added instruction(s):
```
  600a4971
- Merge · aaa4f891
  Julian Kranz authored Aug 14, 2012
  
  aaa4f891
- X86 Example Specification · 7adaa916
  Julian Kranz authored Aug 14, 2012
```
- Added instruction(s): HSUBPD
```
  7adaa916
- record nested definitions, fixpoint is todo · 354ca680
  Axel Simon authored Aug 14, 2012
  
  354ca680
13 Aug, 2012 6 commits
- X86 Example Specification · aafe3bdd
  Julian Kranz authored Aug 13, 2012
```
- Added instruction(s): FSTENV/FNSTENV - HADDPS
```
  aafe3bdd
- X86 Example Specification · 311e1f2a
  Julian Kranz authored Aug 13, 2012
```
- Added instruction(s)
```
  311e1f2a
- start to add nested definitions to let bindings · 7a64d0e7
  Axel Simon authored Aug 13, 2012
  
  7a64d0e7
- change lists of functions to functions in usage sites · 0419cdd1
  Axel Simon authored Aug 13, 2012
  
  0419cdd1
- fix PSLLDQ and PSRLDQ again · 5dd32dbd
  Axel Simon authored Aug 13, 2012
  
  5dd32dbd
- add primitive to slice off a single bit from a bit vector · 495a30f8
  Axel Simon authored Aug 13, 2012
  
  495a30f8
10 Aug, 2012 2 commits
- X86 Example Specification · a1c3b84f
  Julian Kranz authored Aug 10, 2012
```
- Added instruction(s): FMUL/FMULP/FIMUL - FSQRT
```
  a1c3b84f
- X86 Example Specification · b35e0f75
  Julian Kranz authored Aug 10, 2012
```
- Added instruction(s): FDIVR/FDIVRP/FIDIVR - FISTTP
```
  b35e0f75
09 Aug, 2012 5 commits
- X86 Example Specification · 52c422fa
  Julian Kranz authored Aug 09, 2012
```
- Added instruction(s): FDIV/FDIVP/FIDIV
- Bug fixes
```
  52c422fa
- Merge · 506ac968
  Julian Kranz authored Aug 09, 2012
  
  506ac968
- change back to legibile types · 08eddc2c
  Axel Simon authored Aug 09, 2012
  
  08eddc2c
- make every decoder require a fictitious input stream field which ensures that... · 82a59b5c
  Axel Simon authored Aug 09, 2012
```
make every decoder require a fictitious input stream field which ensures that updating the global state with an empty record before calling a decoder leads to a type error
```
  82a59b5c
- fix bug of not inserting types of sub-decoders properly, patch x86 to work... · 6f47cda7
  Axel Simon authored Aug 09, 2012
```
fix bug of not inserting types of sub-decoders properly, patch x86 to work without constant mod/rm fields
```
  6f47cda7
08 Aug, 2012 3 commits
- X86 Example Specification · d8f02ad7
  Julian Kranz authored Aug 08, 2012
```
- Added instruction(s): FCOM/FCOMP/FCOMPP
- Bug fixes
```
  d8f02ad7
- X86 Example Specification · bc39c6c8
  Julian Kranz authored Aug 08, 2012
```
- Continued to add instruction(s): FCLEX/FNCLEX
```
  bc39c6c8
- X86 Example Specification · 43714bdf
  Julian Kranz authored Aug 08, 2012
```
- Continued to add instruction(s): F2XM1 - FBSTP
```
  43714bdf