Code

Type inference#14

Code

Merged

tbarabosch merged 28 commits intomasterfkie-cad/cwe_checker:masterfrom type_inferencefkie-cad/cwe_checker:type_inferenceCopy head branch name to clipboardApr 5, 2019

+1,164-11

Commits

Commits on Mar 13, 2019

• Type inference and unit tests initial commit

  Enkelmann

  committed
  7bc533d

  Copy full SHA for 7bc533d

• Correct stack_offset initial value

  Enkelmann

  committed
  8e71c61

  Copy full SHA for 8e71c61

Commits on Mar 14, 2019

• Adding sexp-derivers

  Enkelmann

  committed
  85ffb3c

  Copy full SHA for 85ffb3c

• Rename module State to TypeInfo

  Enkelmann

  committed
  91f8658

  Copy full SHA for 91f8658

Commits on Mar 22, 2019

• Refactor unit tests, added unit tests for type inference, added rudimentary stubs

  Enkelmann

  committed
  8bce707

  Copy full SHA for 8bce707

Commits on Mar 26, 2019

• Speed up dynamic symbol lookup

  Enkelmann

  committed
  6ed2faf

  Copy full SHA for 6ed2faf

• added thumb mode to calling conventions

  Enkelmann

  committed
  e73b7a0

  Copy full SHA for e73b7a0

Commits on Mar 27, 2019

• Fixed bug for elements with negative start index

  Enkelmann

  committed
  24a3b19

  Copy full SHA for 24a3b19

• Mem_region.get also returns the size of an element

  Enkelmann

  committed
  fd74e8b

  Copy full SHA for fd74e8b

• Removed some TODOs

  Enkelmann

  committed
  7879dc9

  Copy full SHA for 7879dc9

Commits on Mar 28, 2019

• Print type info tags as debug messages

  Enkelmann

  committed
  5eacb6a

  Copy full SHA for 5eacb6a

Commits on Mar 29, 2019

• Refactor to support multiple plugins

  Enkelmann

  committed
  2e5b8ea

  Copy full SHA for 2e5b8ea

• fixed typo

  Enkelmann

  committed
  3b7a7f3

  Copy full SHA for 3b7a7f3

• added dummy pass to print results of type inference pass

  Enkelmann

  committed
  a8a6997

  Copy full SHA for a8a6997

• Fixed typo

  Enkelmann

  committed
  1ba50c3

  Copy full SHA for 1ba50c3

• Updated Changes.md

  Enkelmann

  committed
  48a890b

  Copy full SHA for 48a890b

• Fixed some JaneStreet Core issues related to Maps

  tbarabosch

  committed
  3e8186d

  Copy full SHA for 3e8186d

• Merge branch 'type_inference' of github.com:fkie-cad/cwe_checker into type_inference

  tbarabosch

  committed
  d174c87

  Copy full SHA for d174c87

• Fixed more Core issues, all Map related.

  tbarabosch

  committed
  7ebeeeb

  Copy full SHA for 7ebeeeb

Commits on Apr 1, 2019

• Changed Map.add_exn to Map.set

  Enkelmann

  committed
  02725bf

  Copy full SHA for 02725bf

• Added simple type inference recipe

  Enkelmann

  committed
  1ca6542

  Copy full SHA for 1ca6542

• Added some commments

  Enkelmann

  committed
  3f7d767

  Copy full SHA for 3f7d767

Commits on Apr 3, 2019

• Removed .Std from "open Core_kernel"

  Enkelmann

  committed
  209aa5f

  Copy full SHA for 209aa5f

• wrap functions that are only public for unit tests into a Test module

  Enkelmann

  committed
  211a46d

  Copy full SHA for 211a46d

• Better error handling

  Enkelmann

  committed
  d76c2df

  Copy full SHA for d76c2df

• Prefix every plugin with cwe_checker

  Enkelmann

  committed
  0b8ad24

  Copy full SHA for 0b8ad24

• added unit test plugin to make clean

  Enkelmann

  committed
  3273539

  Copy full SHA for 3273539

Commits on Apr 5, 2019

• Merge branch 'master' into type_inference

  Enkelmann

  committed
  f92572a

  Copy full SHA for f92572a