Search results

Cuanto4 Verivita

Status: Open.

#75 In cuplv/cuanto;

· smover opened on Oct 20, 2017

Import Wala Machinery from aiwala

Status: Open.

#74 In cuplv/cuanto;

· bennostein opened on Oct 20, 2017

Add better comment in implicit.scala

Status: Open.

#73 In cuplv/cuanto;

· smover opened on Oct 20, 2017

Remove apron dependency and cache work somewhere.

Status: Open.

#72 In cuplv/cuanto;

· ftc opened on Oct 13, 2017

FixFunSpec seems to fail on some rare ScalaCheck cases

bug

Status: Open.

#71 In cuplv/cuanto;

· octalsrc opened on Oct 6, 2017

Importing other project conventions

Status: Open.

#70 In cuplv/cuanto;

· bechang opened on Oct 6, 2017

Proposal: Finish the concrete interpreter with common Java features.

Status: Open.

#68 In cuplv/cuanto;

· ftc opened on Sep 1, 2017

Running Intellij with Nix environment

Status: Open.

#62 In cuplv/cuanto;

· ftc opened on Aug 9, 2017

Integrate soot loading with soot ir

Status: Open.

#55 In cuplv/cuanto;

· ftc opened on Jul 21, 2017

Change soot test to use class loader to find unit tests

Status: Open.

#49 In cuplv/cuanto;

· ftc opened on Jun 16, 2017

Trigger the continuous integration when the soot nightly build changes

Status: Open.

#42 In cuplv/cuanto;

· smover opened on Jun 9, 2017

Short-term goal: Constant propagation

Status: Open.

#40 In cuplv/cuanto;

· tianhan0 opened on Jun 7, 2017