Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 13, 2019

• give up task2

  wangrunji0408

  committed
  eaa6eef

  Copy full SHA for eaa6eef

• create z3::function for task2

  wangrunji0408

  committed
  2594999

  Copy full SHA for 2594999

Commits on Dec 26, 2018

• finish task1

  wangrunji0408

  committed
  240633f

  Copy full SHA for 240633f

Commits on Dec 25, 2018

• finish visit binops, z/sext, icmp

  wangrunji0408

  committed
  4dc86a4

  Copy full SHA for 4dc86a4

Commits on Dec 24, 2018

• update exp3

  wangrunji0408

  committed
  eb2348e

  Copy full SHA for eb2348e

Commits on Dec 10, 2018

• add exp1 hide tests

  wangrunji0408

  committed
  4a079e3

  Copy full SHA for 4a079e3

• add exp3 init

  wangrunji0408

  committed
  e9fceef

  Copy full SHA for e9fceef

Commits on Nov 18, 2018

• finish task2 basic optimize

  wangrunji0408

  committed
  839f579

  Copy full SHA for 839f579

Commits on Nov 17, 2018

• describe the design of last optimization

  wangrunji0408

  committed
  0d8665f

  Copy full SHA for 0d8665f

• eliminate NullCheck after IFCMP_A with null

  wangrunji0408

  committed
  5ac8bd0

  Copy full SHA for 5ac8bd0

• finish FindRedundantNullChecks

  wangrunji0408

  committed
  b26f83b

  Copy full SHA for b26f83b

• copy Faintness to submit

  wangrunji0408

  committed
  f4e242a

  Copy full SHA for f4e242a

• add 'rt' lib to avoid ClassNotFound exception

  wangrunji0408

  committed
  1bc586b

  Copy full SHA for 1bc586b

• update FlowServer

  wangrunji0408

  committed
  77c95c9

  Copy full SHA for 77c95c9

Commits on Oct 26, 2018

• Add exp2 init.

  wangrunji0408

  committed
  a825a7d

  Copy full SHA for a825a7d

Commits on Oct 20, 2018

• Fix Faintness. Add test case.

  wangrunji0408

  committed
  c399ac3

  Copy full SHA for c399ac3

• Finish Faintness.

  wangrunji0408

  committed
  3cdc053

  Copy full SHA for 3cdc053

• Finish ReachingDefs.

  Show description for 5239ca8
  wangrunji0408

  committed
  5239ca8

  Copy full SHA for 5239ca8

• Finish MySolver. Fix bug.

  wangrunji0408

  committed
  465f31b

  Copy full SHA for 465f31b

• Update stdout

  wangrunji0408

  committed
  bbdc623

  Copy full SHA for bbdc623

• Finish MySolve forward process.

  wangrunji0408

  committed
  1db39ec

  Copy full SHA for 1db39ec

• Add exp1 init.

  wangrunji0408

  committed
  d9ab1e8

  Copy full SHA for d9ab1e8