Code

Mjr/dev init igen#65

Code

Open

marlinroberts21 wants to merge 22 commits intoSymbolicPathFinder:masterSymbolicPathFinder/jpf-symbc:masterfrom marlinroberts21:mjr/dev_init_igenmarlinroberts21/jpf-symbc:mjr/dev_init_igenCopy head branch name to clipboard

+1,238-42

Commits

Commits on Jun 6, 2021

• updated .gitignore, uncached .jpf files

  

  Marlin Roberts

  committed
  bcd2f92

  Copy full SHA for bcd2f92

Commits on Jun 25, 2021

• initial z3str3 files from v2 files

  

  Marlin Roberts

  committed
  f22396c

  Copy full SHA for f22396c

• init v3 files working as proc

  

  Marlin Roberts

  committed
  abd8cf4

  Copy full SHA for abd8cf4

• z3String3Processor cleanup

  

  Marlin Roberts

  committed
  e32a438

  Copy full SHA for e32a438

• failing jni calls

  

  Marlin Roberts

  committed
  593c585

  Copy full SHA for 593c585

• JNI calls working, not parsing output yet

  

  Marlin Roberts

  committed
  4dc7b6c

  Copy full SHA for 4dc7b6c

Commits on Jun 26, 2021

• parsing output back to SPF OK, crude...

  

  Marlin Roberts

  committed
  d1a056d

  Copy full SHA for d1a056d

• close context

  

  Marlin Roberts

  committed
  937abf7

  Copy full SHA for 937abf7

Commits on Jun 29, 2021

• boolean z3str3 parms from jpf -> z3str3processor

  

  Marlin Roberts

  committed
  5735d8f

  Copy full SHA for 5735d8f

Commits on Jun 30, 2021

• stripping out (check-sat) (get-model) from query

  

  Marlin Roberts

  committed
  6ad49fb

  Copy full SHA for 6ad49fb

Commits on Jul 1, 2021

• exception handling, unsat get-model prevention

  

  Marlin Roberts

  committed
  693b35e

  Copy full SHA for 693b35e

Commits on Jul 2, 2021

• Z3String3processor cleanup

  

  Marlin Roberts

  committed
  c6e1be7

  Copy full SHA for c6e1be7

Commits on Jul 3, 2021

• removed proc interface from z3string3processor

  

  Marlin Roberts

  committed
  e0c9f6d

  Copy full SHA for e0c9f6d

Commits on Jul 13, 2021

• Merge pull request #1 from marlinroberts21/mjr/dev_init_proc

  Show description for ecf6fbe
  marlinroberts21

  authored
  ecf6fbe

  Copy full SHA for ecf6fbe

Commits on Jul 27, 2021

• working BSU solver integration

  

  Marlin Roberts

  committed
  a94e45f

  Copy full SHA for a94e45f

Commits on Aug 18, 2021

• z3str3 and general doc

  

  Marlin Roberts

  committed
  b46e9b8

  Copy full SHA for b46e9b8

Commits on Aug 19, 2021

• post gh failure repair

  

  Marlin Roberts

  committed
  a68279f

  Copy full SHA for a68279f

• more gh fail repairs

  

  Marlin Roberts

  committed
  e832ec4

  Copy full SHA for e832ec4

• more post gh fail repairs

  

  Marlin Roberts

  committed
  32d2510

  Copy full SHA for 32d2510

• rep .gitignore

  

  Marlin Roberts

  committed
  9613349

  Copy full SHA for 9613349

Commits on Aug 20, 2021

• hamcrest jar repl

  

  Marlin Roberts

  committed
  7081537

  Copy full SHA for 7081537

Commits on Aug 24, 2021

• Merge branch 'SymbolicPathFinder:master' into mjr/dev_init_igen

  marlinroberts21

  authored
  e2a607a

  Copy full SHA for e2a607a