cuplv cuanto issues - Githubissues

cuplv / cuanto

Apache License 2.0

1 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

WIP: Clean branch jsy-ast-packaging

#80 bechang opened 7 years ago
1
Clean up devops branch

#79 bechang closed 7 years ago
1
WIP: Using class loader to load soot interpreter unit tests

#78 ftc opened 7 years ago
0
Interval analysis for jsy using Apron

#77 tianhan0 opened 7 years ago
0
WIP: interpreter function call

#76 ftc opened 7 years ago
0
Cuanto4 Verivita

#75 smover opened 7 years ago
0
Import Wala Machinery from aiwala

#74 bennostein opened 7 years ago
0
Add better comment in implicit.scala

#73 smover opened 7 years ago
0
Remove apron dependency and cache work somewhere.

#72 ftc opened 7 years ago
1
FixFunSpec seems to fail on some rare ScalaCheck cases

#71 octalsrc opened 7 years ago
1
Importing other project conventions

#70 bechang opened 7 years ago
1
Editing CONTIBUTING after getting nix-shell

#69 bechang closed 7 years ago
2
Proposal: Finish the concrete interpreter with common Java features.

#68 ftc opened 7 years ago
5
WIP: Jsy numdom

#67 tianhan0 closed 7 years ago
0
Define a way to define fixture objects and traverse them

#66 bechang closed 7 years ago
0
Update CONTRIBUTING.md

#65 ftc closed 7 years ago
1
Getting set up with nix

#64 bechang closed 7 years ago
1
WIP: Symbolic abstraction 2

#63 octalsrc opened 7 years ago
0
Running Intellij with Nix environment

#62 ftc opened 7 years ago
7
Add a workaround for old bash problem for nix

#61 ftc closed 7 years ago
1
Interpreter integration

#60 ftc closed 7 years ago
5
Japron fresh

#59 tianhan0 closed 7 years ago
6
add environment setting up description for Apron in CONTRIBUTING.md

#58 tianhan0 closed 7 years ago
0
Document troubleshooting steps for running Nix on Windows

#57 octalsrc closed 7 years ago
1
Reproducible development environment with Nix

#56 octalsrc closed 7 years ago
4
Integrate soot loading with soot ir

#55 ftc opened 7 years ago
2
Abstract domains using Scala-style typeclasses

#54 octalsrc closed 7 years ago
8
WIP: apron scala interface

#53 tianhan0 closed 7 years ago
7
WIP: Abstract domains as Scala-style typeclasses

#52 octalsrc closed 7 years ago
0
Add Scala SMT-LIB dependency

#51 octalsrc closed 7 years ago
2
Ir values

#50 jpw234 closed 7 years ago
2
Change soot test to use class loader to find unit tests

#49 ftc opened 7 years ago
1
On Hold: Loading soot IR without running packs and phases

#48 ftc closed 7 years ago
1
Iss37 define scoot sublanguage

#47 smover opened 7 years ago
2
Dead: Symbolic abstraction

#46 octalsrc opened 7 years ago
2
Merge WALA client from Aiwala

#45 bechang closed 7 years ago
2
Add some Java test cases

#44 bechang closed 7 years ago
3
On Hold: add test cases for constant propagation

#43 tianhan0 closed 7 years ago
1
Trigger the continuous integration when the soot nightly build changes

#42 smover opened 7 years ago
0
Add Soot dependency from the "definitive" build server

#41 bechang closed 7 years ago
7
Short-term goal: Constant propagation

#40 tianhan0 opened 7 years ago
7
Studying implementations of SMT representations

#39 octalsrc opened 7 years ago
0
soot external build

#38 ftc closed 7 years ago
1
Define the subset of Java to be initially handled by scoot and add test cases

#37 smover opened 7 years ago
1
Refactor jsy modules: clear top-level core languages

#36 bechang opened 7 years ago
0
WIP: Add a module representing memory

#35 bechang opened 7 years ago
2
Jsy mutation and objects

#34 bechang closed 7 years ago
1
Adding functions to Jsy

#33 bechang closed 7 years ago
5
Tag slow tests

#32 smover closed 7 years ago
1
Continue Completing Jimple Arithmetic Interpreter

#31 tianhan0 closed 7 years ago
0