Commit 70e0ef0

committed

SolverContext, Type logic, Formular Creator beginnings

1 parent 403afed commit 70e0ef0Copy full SHA for 70e0ef0

18 files changed

+633

-465

lines changed

.idea
- JavaSMT.iml
- ant.xml
- codeStyles
  - Project.xml
  - codeStyleConfig.xml
- modules.xml
src/org/sosy_lab/java_smt
- SolverContextFactory.java
- solvers/apron

18 files changed

+633

-465

lines changed

Diff for: `‎.idea/JavaSMT.iml`

+11-217

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Diff for: `‎.idea/ant.xml`

+1-12

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)