Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jun 13, 2019

• Update README.md

  sdasgup3

  authored
  cf99271

  Copy full SHA for cf99271

Commits on Jun 11, 2019

• update usage of infopl script

  sdasgup3

  committed
  1cc74ee

  Copy full SHA for 1cc74ee

Commits on May 18, 2019

• Mcsema Artifatcs

  sdasgup3

  committed
  cf409a1

  Copy full SHA for cf409a1

Commits on Mar 6, 2019

• Instruction semantics corrected using fuzz testing

  sdasgup3

  committed
  b743750

  Copy full SHA for b743750

Commits on Jan 6, 2019

• Merge pull request #82 from Andrew-Miranti/ocamlbackend

  Show description for f58da4c
  sdasgup3

  authored
  f58da4c

  Copy full SHA for f58da4c

• Improved simple test script

  Andrew-Miranti

  committed
  652b38d

  Copy full SHA for 652b38d

• Test running on ocaml backend

  Andrew-Miranti

  committed
  dbfac0d

  Copy full SHA for dbfac0d

Commits on Dec 29, 2018

• The autogenerated `vmovss %xmm, m32` instruction creates a spurious load

  Show description for c563af6
  sdasgup3

  committed
  c563af6

  Copy full SHA for c563af6

• buggy testcase: Using unsupported %x

  sdasgup3

  committed
  abbc86a

  Copy full SHA for abbc86a

• Initial commit for my own branch

  Andrew-Miranti

  committed
  84e1f44

  Copy full SHA for 84e1f44

Commits on Nov 12, 2018

• Merge branch 'master' of https://github.com/sdasgup3/binary-decompilation

  sdasgup3

  committed
  9ff4f6c

  Copy full SHA for 9ff4f6c

• script to find unsupported instructions

  sdasgup3

  committed
  85d4257

  Copy full SHA for 85d4257

Commits on Oct 16, 2018

• Update remove_directives.pl

  sdasgup3

  authored
  35ef7c9

  Copy full SHA for 35ef7c9

• Update README.md

  sdasgup3

  authored
  0e4b239

  Copy full SHA for 0e4b239

Commits on Oct 13, 2018

• mege

  sdasgup3

  committed
  e80f94a

  Copy full SHA for e80f94a

• testing: llvm updated memory model and https://github.com/sdasgup3/binary-decompilation/issues/80

  sdasgup3

  committed
  9f8e2ab

  Copy full SHA for 9f8e2ab

• testing: llvm updated memory model and https://github.com/sdasgup3/binary-decompilation/issues/80

  sdasgup3

  committed
  026f286

  Copy full SHA for 026f286

• correcting the format of assembly to be parsed by K

  sdasgup3

  committed
  2e4e899

  Copy full SHA for 2e4e899

• incorporating memory api changing in llvm-verified backend II

  sdasgup3

  committed
  c066951

  Copy full SHA for c066951

• incorporating memory api changing in llvm-verified backend

  sdasgup3

  committed
  3f1fa33

  Copy full SHA for 3f1fa33

Commits on Oct 11, 2018

• Update README.md

  sdasgup3

  authored
  a00c38c

  Copy full SHA for a00c38c

• Update README.md

  sdasgup3

  authored
  721755b

  Copy full SHA for 721755b

• Update README.md

  sdasgup3

  authored
  b7e9ef6

  Copy full SHA for b7e9ef6

• Update README.md

  sdasgup3

  authored
  a2a85cd

  Copy full SHA for a2a85cd

• Update README.md

  sdasgup3

  authored
  cf2a141

  Copy full SHA for cf2a141

Commits on Oct 8, 2018

• Merge branch 'master' of github.com:sdasgup3/binary-decompilation

  sdasgup3

  committed
  fe95749

  Copy full SHA for fe95749

• testing

  sdasgup3

  committed
  e663d1d

  Copy full SHA for e663d1d

Commits on Oct 2, 2018

• https://github.com/sdasgup3/binary-decompilation/issues/79

  

  Sandeep Dasgupta

  committed
  e2f03e1

  Copy full SHA for e2f03e1

Commits on Oct 1, 2018

• Update README.md

  sdasgup3

  authored
  be44fbd

  Copy full SHA for be44fbd

• Update README.md

  sdasgup3

  authored
  c6bafda

  Copy full SHA for c6bafda

• merge master with prog verification

  sdasgup3

  committed
  7f04edc

  Copy full SHA for 7f04edc

• Update README.md

  sdasgup3

  authored
  202a61a

  Copy full SHA for 202a61a

• merge master branch with program verification branch

  sdasgup3

  committed
  8f01ccf

  Copy full SHA for 8f01ccf

• testing builtins

  sdasgup3

  committed
  03b1f29

  Copy full SHA for 03b1f29

• update

  sdasgup3

  committed
  338a500

  Copy full SHA for 338a500

Pagination

Previous

Next