Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 15, 2018

• [BugFix] fix scaffolding semantics

  

  Kihong Heo

  committed
  3ec055b

  Copy full SHA for 3ec055b

Commits on Jul 11, 2018

• [Inline] disable printing debug info

  

  Kihong Heo

  committed
  071ad88

  Copy full SHA for 071ad88

Commits on Jun 22, 2018

• [Build] bump ocaml version to 4.06.1

  

  Kihong Heo

  committed
  0915a86

  Copy full SHA for 0915a86

Commits on May 26, 2018

• [Taint] add taint analysis

  

  Kihong Heo

  committed
  9277402

  Copy full SHA for 9277402

Commits on May 23, 2018

• [Build] update CI

  

  Kihong Heo

  committed
  74e0459

  Copy full SHA for 74e0459

Commits on May 11, 2018

• [Build] fix Travis-CI for MACOS

  

  Kihong Heo

  committed
  2c14079

  Copy full SHA for 2c14079

Commits on Apr 29, 2018

• [Semantics] update scaffoldings

  

  Kihong Heo

  committed
  2939704

  Copy full SHA for 2939704

• [Report] add alarm filtering

  

  Kihong Heo

  committed
  b0d7ed1

  Copy full SHA for b0d7ed1

Commits on Feb 15, 2018

• [Optimize] avoid unnecessary pre-analyses when -il

  

  Kihong Heo

  committed
  e563187

  Copy full SHA for e563187

Commits on Jan 27, 2018

• [Bugfix] consider type info when comparing fields

  Show description for 3ee2e8f
  

  Kihong Heo

  committed
  3ee2e8f

  Copy full SHA for 3ee2e8f

Commits on Dec 29, 2017

• [ETC] Relax library version constraints

  

  Kihong Heo

  committed
  40c03e5

  Copy full SHA for 40c03e5

Commits on Dec 10, 2017

• [Bugfix] alarm generation

  

  Kihong Heo

  committed
  11a1950

  Copy full SHA for 11a1950

Commits on Nov 26, 2017

• [Refactoring] alarm exps

  

  Kihong Heo

  committed
  7b356d8

  Copy full SHA for 7b356d8

Commits on Nov 1, 2017

• [Semantics] add unsound alloc option

  

  Kihong Heo

  committed
  75690f5

  Copy full SHA for 75690f5

Commits on Sep 15, 2017

• Update README.md

  

  Kihong Heo

  authored
  77e990c

  Copy full SHA for 77e990c

Commits on Aug 21, 2017

• Remove trailing spaces

  

  jeehoonkang

  authored and

  Kihong Heo

  committed
  415083a

  Copy full SHA for 415083a

Commits on Aug 16, 2017

• [Misc] graceful termination with invalid inputs

  

  Kihong Heo

  committed
  510a1cb

  Copy full SHA for 510a1cb

Commits on Aug 15, 2017

• [Refactoring] remove opt_ from option names

  

  Kihong Heo

  committed
  36a44b4

  Copy full SHA for 36a44b4

Commits on Jul 30, 2017

• [PP] add pretty printer

  

  Kihong Heo

  committed
  971e583

  Copy full SHA for 971e583

• [Refactoring] cleanup map and powset domains

  

  Kihong Heo

  committed
  834cb6c

  Copy full SHA for 834cb6c

• [Environment] support Merlin

  

  Kihong Heo

  committed
  091539a

  Copy full SHA for 091539a

Commits on Jul 27, 2017

• [Refactoring] cleanup module type annotations

  

  Kihong

  committed
  5ef73c2

  Copy full SHA for 5ef73c2

Commits on Jul 25, 2017

• [Refactoring] detach access information

  

  Kihong

  committed
  3b4099b

  Copy full SHA for 3b4099b

Commits on Jul 18, 2017

• [Semantics] fix narrowing

  

  Kihong

  committed
  fbbe992

  Copy full SHA for fbbe992

Commits on Jul 17, 2017

• [Optimize] remove unnecessary compares

  

  Kihong

  committed
  f1f8bf6

  Copy full SHA for f1f8bf6

Commits on Jul 16, 2017

• [Build] Build Sparrow in a new Opam environment

  

  Kihong Heo

  committed
  d77d9ef

  Copy full SHA for d77d9ef

Commits on Jun 15, 2017

• Enforce PEP8 for Python scripts

  jeehoonkang

  committed
  f34c4eb

  Copy full SHA for f34c4eb

Commits on Jun 7, 2017

• [Test] Improve make test

  

  Kihong

  committed
  be50b50

  Copy full SHA for be50b50

Commits on May 15, 2017

• [Options] Change default options (optil, scaffold)

  

  Kihong

  committed
  0214557

  Copy full SHA for 0214557

Commits on Apr 25, 2017

• [Optimize] Optimize worklist

  

  Kihong

  committed
  e16491f

  Copy full SHA for e16491f

Commits on Apr 17, 2017

• [Test] Fix test results

  

  Kihong

  committed
  fa397f7

  Copy full SHA for fa397f7

Commits on Apr 13, 2017

• Update README.md

  

  Kihong Heo

  authored
  8ada34d

  Copy full SHA for 8ada34d

• [Build] Add automatic installation for the dependencies

  

  Kihong

  committed
  57cd96d

  Copy full SHA for 57cd96d

Commits on Apr 12, 2017

• [Optimize] Optimize worklist

  

  Kihong

  committed
  d518989

  Copy full SHA for d518989

• [Semantics] Add options for scaffolded functions and unsound recursion

  

  Kihong

  committed
  1285482

  Copy full SHA for 1285482

Pagination

Previous

Next