Commits · 8a658e91c5c6ab5b9c9b9bfa8a6a17bb7bd77eb5 · Tanzeem Haque / gdsl-toolkit

21 Oct, 2013 12 commits
- Merge branch 'master' of hg::ssh://hg@bitbucket.org/jucs/mltk · 8a658e91
  Julian Kranz authored Oct 21, 2013
  
  8a658e91
- Memstream · f0a72fde
  Julian Kranz authored Oct 21, 2013
  
  f0a72fde
- orig: Memstream, .gitignore · f165dc25
  Julian Kranz authored Oct 21, 2013
  
  f165dc25
- Memstream, .gitignore · c934b232
  Julian Kranz authored Oct 21, 2013
  
  c934b232
- Automake · e64d41cb
  Julian Kranz authored Oct 21, 2013
  
  e64d41cb
- Automake · 3977cbd4
  Julian Kranz authored Oct 21, 2013
  
  3977cbd4
- Automake · 7e828c9a
  Julian Kranz authored Oct 21, 2013
  
  7e828c9a
- --- · 5099dd8d
  Julian Kranz authored Oct 21, 2013
  
  5099dd8d
- --- · c488bb68
  Julian Kranz authored Oct 21, 2013
  
  c488bb68
- --- · d80cf57d
  Julian Kranz authored Oct 21, 2013
  
  d80cf57d
- Removed decoders / dist · b9db8d3e
  Julian Kranz authored Oct 21, 2013
  
  b9db8d3e
- Removed CFGresolve / regression · 7fd82e2a
  Julian Kranz authored Oct 21, 2013
  
  7fd82e2a
18 Oct, 2013 17 commits
- orig: Merge branch 'master' of hg::ssh://hg@bitbucket.org/jucs/mltk · a85e7880
  Julian Kranz authored Oct 18, 2013
```
Conflicts:
	specifications/rreil/rreil-opt.ml
	tools/Makefile
```
  a85e7880
- Merge branch 'master' of hg::ssh://hg@bitbucket.org/jucs/mltk · 6777fbb0
  Julian Kranz authored Oct 18, 2013
```
Conflicts:
	specifications/rreil/rreil-opt.ml
	tools/Makefile
```
  6777fbb0
- Merge · b4a10e4b
  Julian Kranz authored Oct 18, 2013
  
  b4a10e4b
- Generic optimizing decoder/translator · 81f83a74
  Julian Kranz authored Oct 18, 2013
  
  81f83a74
- Generic optimizing decoder/translator · 3f141c6e
  Julian Kranz authored Oct 18, 2013
  
  3f141c6e
- orig: Liveness for all architectures · 349a360a
  Julian Kranz authored Oct 18, 2013
  
  349a360a
- Liveness for all architectures · bdb00f56
  Julian Kranz authored Oct 18, 2013
  
  bdb00f56
- orig: Liveness for all architectures · e8f9157c
  Julian Kranz authored Oct 18, 2013
  
  e8f9157c
- Liveness for all architectures · 4a381ebc
  Julian Kranz authored Oct 18, 2013
  
  4a381ebc
- --- · 2fb85aa0
  Julian Kranz authored Oct 18, 2013
  
  2fb85aa0
- orig: --- · 0878f5a8
  Julian Kranz authored Oct 18, 2013
  
  0878f5a8
- --- · 78b4966e
  Julian Kranz authored Oct 18, 2013
  
  78b4966e
- fiddle with configure stuff · 670cfe4a
  Axel Simon authored Oct 18, 2013
  
  670cfe4a
- X86 RReil translator, optimized translation · ce422ed2
  Julian Kranz authored Oct 18, 2013
  
  ce422ed2
- Merge branch 'master' of hg::ssh://hg@bitbucket.org/jucs/mltk · a2175260
  Julian Kranz authored Oct 18, 2013
  
  a2175260
- remove iditotic removal of fields · 534ed1ba
  Axel Simon authored Oct 18, 2013
  
  534ed1ba
- merge · 9048f205
  Axel Simon authored Oct 18, 2013
  
  9048f205
17 Oct, 2013 11 commits
- Tarball · 6be0a04e
  Julian Kranz authored Oct 17, 2013
  
  6be0a04e
- orig: Bug fixes, Makefile, Tarball · 2197182f
  Julian Kranz authored Oct 17, 2013
  
  2197182f
- Bug fixes, Makefile, Tarball · ffccaca6
  Julian Kranz authored Oct 17, 2013
  
  ffccaca6
- X86: Fixed bug in semantics of PUSHFQ, Flags register initialization · 67cb5f42
  Julian Kranz authored Oct 17, 2013
  
  67cb5f42
- X86: Fixed bug in semantics of INT · 1f7ac6f1
  Julian Kranz authored Oct 17, 2013
  
  1f7ac6f1
- X86: Fixed bug in semantics of ENTER · 0f355995
  Julian Kranz authored Oct 17, 2013
  
  0f355995
- X86: Fixed bug in semantics of OUT · 37ce50a7
  Julian Kranz authored Oct 17, 2013
  
  37ce50a7
- orig: X86 instruction data structure · e3a812ac
  Julian Kranz authored Oct 17, 2013
  
  e3a812ac
- X86 instruction data structure · 8607f319
  Julian Kranz authored Oct 17, 2013
  
  8607f319
- better error message for record fields · 155d48d6
  Axel Simon authored Oct 17, 2013
  
  155d48d6
- orig: --- · 41e33770
  Julian Kranz authored Oct 17, 2013
  
  41e33770