Japron fresh

[tianhan0]

Apron environment is set up in this pull request.

An Apron test case is included.

[octalsrc]

Running the numdomain.* tests a second time in the same sbt session fails with this error:

test

Box
null
full: <universal>
empty: <empty>
#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007fc427c05734, pid=2597, tid=0x00007fc3bf8b6700
#
# JRE version: OpenJDK Runtime Environment (8.0_131) (build 1.8.0_131-11)
# Java VM: OpenJDK 64-Bit Server VM (25.131-b11 mixed mode linux-amd64 compressed oops)
# Problematic frame:
# V  [libjvm.so+0x40f734]  CompilationPolicy::can_be_compiled(methodHandle, int)+0x154
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# An error report file with more information is saved as:
# /home/octal/cuanto/hs_err_pid2597.log
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.java.com/bugreport/crash.jsp
#
/nix/store/vk0njs96zdsbp40fi40m8fq1569jwyxf-sbt-0.13.15/share/sbt/bin/sbt-launch-lib.bash: line 46:  2597 Aborted                 "$@"

[tianhan0]

1. The worksheet stays in edu.colorado.plv.cuanto.numdomain
2. Write a XXXSpec.scala in order to test a few Apron APIs (to ensure it runs on someone's machine without crashing)

[tianhan0]

SBT will look for user contributing libraries in some directories?

[tianhan0]

Define an abstract domain in jsy, and use japron to operate on that abstract domain.

Start by looking at test cases on illustrating how to use the jsy language

[bechang]

So this is ready to review? It doesn't have WIP on it.

[bechang]

@octalsrc is the reviewer?