Code

Carson Smith - GSoC Submission PR#54

Code

Open

CarsSmith wants to merge 16 commits intoSymbolicPathFinder:masterSymbolicPathFinder/jpf-symbc:masterfrom CarsSmith:GSoCSubmissionCarsSmith/jpf-symbc:GSoCSubmissionCopy head branch name to clipboard

+1,978-928

Commits

Commits on Aug 28, 2020

• Added work done on the visitor pattern done so far

  CarsSmith

  committed
  87557e2

  Copy full SHA for 87557e2

• Added working(ugly)code for IntegerConstraints

  CarsSmith

  committed
  c6328c8

  Copy full SHA for c6328c8

• Added progress for this week. Breaks everything.

  CarsSmith

  committed
  3a81ac8

  Copy full SHA for 3a81ac8

• Added current progress for mixed and refactoring

  CarsSmith

  committed
  4be8f25

  Copy full SHA for 4be8f25

• Added stuff I forgot to push last time

  CarsSmith

  committed
  bfcca80

  Copy full SHA for bfcca80

• Working Mixed Constraints and Reals

  CarsSmith

  committed
  9dd4bc0

  Copy full SHA for 9dd4bc0

• logic refactor, CNF, and arrays added.

  CarsSmith

  committed
  e4270b1

  Copy full SHA for e4270b1

• Commit For Visitor Splitting System - Unused

  CarsSmith

  committed
  fe55aca

  Copy full SHA for fe55aca

• Many bugfixes and a few other changes.

  CarsSmith

  committed
  10e6f59

  Copy full SHA for 10e6f59

• Fixed one bug and Adjusted ArrayVisitors for Submission

  CarsSmith

  committed
  1461f16

  Copy full SHA for 1461f16

• Added one Missing accept() method and a bugfix.

  CarsSmith

  committed
  17dee81

  Copy full SHA for 17dee81

• Added Documentation and One Refactor

  CarsSmith

  committed
  164766a

  Copy full SHA for 164766a

• Minor Formatting Changes and Code Comments

  CarsSmith

  committed
  9aa5103

  Copy full SHA for 9aa5103

• Revert old changes that got pushed through.

  CarsSmith

  committed
  e37739e

  Copy full SHA for e37739e

• Final Cleaning

  CarsSmith

  committed
  d725768

  Copy full SHA for d725768

Commits on Aug 29, 2020

• Final Change For Real This Time

  CarsSmith

  committed
  51de6bd

  Copy full SHA for 51de6bd