Code

Added code from CHC2C implementation#234

Code

Merged

leventeBajczi merged 16 commits intoxcfa-refactorftsrg/theta:xcfa-refactorfrom chc2cftsrg/theta:chc2cCopy head branch name to clipboardNov 2, 2023

+1,153-5,544

Commits

Commits on Nov 1, 2023

• unsupported initializer

  csanadtelbisz

  committed
  9d51f37

  Copy full SHA for 9d51f37

• xcfa pass phases

  csanadtelbisz

  committed
  06b45c7

  Copy full SHA for 06b45c7

• copyright + formatting

  csanadtelbisz

  committed
  fd8ab34

  Copy full SHA for fd8ab34

• Merge branch 'xcfa-refactor' into xcfa-refactor-struct-init

  Show description for 08d4d20
  csanadtelbisz

  committed
  08d4d20

  Copy full SHA for 08d4d20

• copyright + formatting

  csanadtelbisz

  committed
  a37364b

  Copy full SHA for a37364b

• fixed tests

  csanadtelbisz

  committed
  5163050

  Copy full SHA for 5163050

Commits on Nov 2, 2023

• mutex handling fixes

  csanadtelbisz

  committed
  7fd3216

  Copy full SHA for 7fd3216

• Added code from CHC2C implementation

  leventeBajczi

  committed
  5e0e9de

  Copy full SHA for 5e0e9de

• Fixed merge problem

  leventeBajczi

  committed
  ede9ca4

  Copy full SHA for ede9ca4

• Fixed unresolved reference

  leventeBajczi

  committed
  559b70b

  Copy full SHA for 559b70b

• Reformatted code

  thetabotmaintainer[bot]

  committed
  890bfdc

  Copy full SHA for 890bfdc

• Removed unnecessary logging

  leventeBajczi

  committed
  ffee7a7

  Copy full SHA for ffee7a7

• Fixed problem with CHC parsing tests

  leventeBajczi

  committed
  6755325

  Copy full SHA for 6755325

• If unable to emit C file, dont fail

  leventeBajczi

  committed
  6d4203f

  Copy full SHA for 6d4203f

• fixed xcfatoctest

  leventeBajczi

  committed
  a601249

  Copy full SHA for a601249

• Added more xcfa2c tests

  leventeBajczi

  committed
  68c31ac

  Copy full SHA for 68c31ac