Code

Masterworkable#16

Code

Open

Jianchu wants to merge 26 commits intoopprop:masteropprop/generic-type-inference-solver:masterfrom Jianchu:masterworkableJianchu/generic-type-inference-solver:masterworkableCopy head branch name to clipboard

+527-180

Commits

Commits on Jan 16, 2017

• workable

  Jianchu

  committed
  1bcc223

  Copy full SHA for 1bcc223

Commits on Jan 17, 2017

• update measurement

  Jianchu

  committed
  716e507

  Copy full SHA for 716e507

• update

  Jianchu

  committed
  dbf9ce7

  Copy full SHA for dbf9ce7

Commits on Jan 20, 2017

• sum the number

  Jianchu

  committed
  da2fc34

  Copy full SHA for da2fc34

Commits on Jan 21, 2017

• update

  Jianchu

  committed
  70d6d5c

  Copy full SHA for 70d6d5c

Commits on Jan 24, 2017

• update

  Jianchu

  committed
  2e2fd23

  Copy full SHA for 2e2fd23

• update readme

  Jianchu

  committed
  434c39b

  Copy full SHA for 434c39b

Commits on Jan 25, 2017

• update

  Jianchu

  committed
  4c3f616

  Copy full SHA for 4c3f616

• fix merge

  Jianchu

  committed
  feef9c3

  Copy full SHA for feef9c3

• update

  Jianchu

  committed
  c9b72c8

  Copy full SHA for c9b72c8

Commits on Jan 26, 2017

• update with master, lingeling not right

  Jianchu

  committed
  5d1e145

  Copy full SHA for 5d1e145

• thread safe

  Jianchu

  committed
  6d7462a

  Copy full SHA for 6d7462a

• update scripts

  Jianchu

  committed
  97bcaea

  Copy full SHA for 97bcaea

• count size

  Jianchu

  committed
  b4f120b

  Copy full SHA for b4f120b

• lingeling count variables

  Jianchu

  committed
  bd90f0c

  Copy full SHA for bd90f0c

• thread safe

  Jianchu

  committed
  054774d

  Copy full SHA for 054774d

Commits on Jan 27, 2017

• fix one LUB problem

  Jianchu

  committed
  e5c697b

  Copy full SHA for e5c697b

• update script

  Jianchu

  committed
  b5b4cf4

  Copy full SHA for b5b4cf4

• number of annotation

  Jianchu

  committed
  50a76a0

  Copy full SHA for 50a76a0

Commits on Feb 10, 2017

• update statistics

  Jianchu

  committed
  2d30a0a

  Copy full SHA for 2d30a0a

Commits on Feb 13, 2017

• fix missing location problem

  Jianchu

  committed
  63d4d60

  Copy full SHA for 63d4d60

• remove useless comment

  Jianchu

  committed
  e174e69

  Copy full SHA for e174e69

Commits on Feb 22, 2017

• generate multiple files

  Jianchu

  committed
  28fe4c6

  Copy full SHA for 28fe4c6

• update statistics

  Jianchu

  committed
  2652ae9

  Copy full SHA for 2652ae9

• update file name

  Jianchu

  committed
  7b385f1

  Copy full SHA for 7b385f1

Commits on Feb 27, 2017

• add overall time

  Jianchu

  committed
  48bf594

  Copy full SHA for 48bf594