Code

Xcfa COI SPIN artifact code#248

Code

Merged

csanadtelbisz merged 22 commits intoftsrg:xcfa-coi-spinftsrg/theta:xcfa-coi-spinfrom csanadtelbisz:xcfa-coi-benchmarkcsanadtelbisz/theta:xcfa-coi-benchmarkCopy head branch name to clipboardJan 18, 2024

+632-34

Commits

Commits on Sep 6, 2023

• COI v0

  csanadtelbisz

  committed
  8f1e27e

  Copy full SHA for 8f1e27e

• COI interprocess observer edges filtered

  csanadtelbisz

  committed
  acba30d

  Copy full SHA for acba30d

• COI with transfer function

  csanadtelbisz

  committed
  d042a1b

  Copy full SHA for d042a1b

Commits on Sep 7, 2023

• COI lts + transfunc

  csanadtelbisz

  committed
  587d2a8

  Copy full SHA for 587d2a8

• COI seems to be working version

  csanadtelbisz

  committed
  d660489

  Copy full SHA for d660489

• COI handling multiple processes with the same procedure

  csanadtelbisz

  committed
  0c8bc7c

  Copy full SHA for 0c8bc7c

• COI cli option

  csanadtelbisz

  committed
  0385a76

  Copy full SHA for 0385a76

Commits on Sep 12, 2023

• COI enhancements

  csanadtelbisz

  committed
  eeffc29

  Copy full SHA for eeffc29

Commits on Sep 13, 2023

• coi<->refiner fix

  csanadtelbisz

  committed
  4bb2ba2

  Copy full SHA for 4bb2ba2

Commits on Sep 14, 2023

• coi + por integration

  csanadtelbisz

  committed
  edab3a4

  Copy full SHA for edab3a4

Commits on Sep 17, 2023

• single thread coi

  csanadtelbisz

  committed
  07ee6dd

  Copy full SHA for 07ee6dd

• separate assume statements in LBE

  csanadtelbisz

  committed
  fadeb4e

  Copy full SHA for fadeb4e

Commits on Sep 18, 2023

• maycover fix

  csanadtelbisz

  committed
  7352c2d

  Copy full SHA for 7352c2d

Commits on Sep 23, 2023

• edge wrapper optimization

  csanadtelbisz

  committed
  35ea8bb

  Copy full SHA for 35ea8bb

• no edge wrapper

  csanadtelbisz

  committed
  c833315

  Copy full SHA for c833315

Commits on Sep 28, 2023

• por-coi-por fix

  csanadtelbisz

  committed
  85316d4

  Copy full SHA for 85316d4

Commits on Oct 1, 2023

• pred trans func optimization

  csanadtelbisz

  committed
  3d55947

  Copy full SHA for 3d55947

• pred abstractor opt

  csanadtelbisz

  committed
  b17c57e

  Copy full SHA for b17c57e

Commits on Oct 2, 2023

• import opt

  csanadtelbisz

  committed
  6e223fe

  Copy full SHA for 6e223fe

Commits on Oct 3, 2023

• extended logging

  csanadtelbisz

  committed
  19ea262

  Copy full SHA for 19ea262

Commits on Oct 4, 2023

• por coi fix

  csanadtelbisz

  committed
  64e1160

  Copy full SHA for 64e1160

Commits on Jan 18, 2024

• LBE fix

  csanadtelbisz

  committed
  e712a35

  Copy full SHA for e712a35