Code

Misc improvements#105

Code

Merged

PhilippvK merged 53 commits intomaintum-ei-eda/seal5:mainfrom misc-improvementstum-ei-eda/seal5:misc-improvementsCopy head branch name to clipboardAug 16, 2024

+955-314

Commits

Commits on Jun 29, 2024

• README: lint

  PhilippvK

  committed
  ca8cdac

  Copy full SHA for ca8cdac

• README: add system requirements

  PhilippvK

  committed
  02b7116

  Copy full SHA for 02b7116

Commits on Jul 1, 2024

• update README

  PhilippvK

  committed
  cfdbf40

  Copy full SHA for cfdbf40

• examples/cfg/llvm.yml: use LLVM_FORCE_ENABLE_STATS

  PhilippvK

  committed
  3776b2a

  Copy full SHA for 3776b2a

• allow shallow clone of llvm repo

  PhilippvK

  committed
  f995eed

  Copy full SHA for f995eed

• allow shallow (depth=1) cloning of llvm and patterngen

  PhilippvK

  committed
  9aaa4e6

  Copy full SHA for 9aaa4e6

Commits on Jul 2, 2024

• lint code

  PhilippvK

  committed
  e6d92f2

  Copy full SHA for e6d92f2

Commits on Jul 4, 2024

• demo: remove trailing slash to avoid illegal tar.gz name

  PhilippvK

  committed
  ad07b78

  Copy full SHA for ad07b78

Commits on Aug 12, 2024

• seal5/transform/infer_types/visitor.py: add missing procedure_call callback

  PhilippvK

  committed
  b358745

  Copy full SHA for b358745

Commits on Aug 16, 2024

• support custom meta_dir location

  PhilippvK

  committed
  258dcc9

  Copy full SHA for 258dcc9

• Merge remote-tracking branch 'origin/main' into misc-improvements

  PhilippvK

  committed
  d097aa5

  Copy full SHA for d097aa5

• lint code with black

  PhilippvK

  committed
  3f5e201

  Copy full SHA for 3f5e201

• typing fix

  PhilippvK

  committed
  35a918a

  Copy full SHA for 35a918a

• fix handling of mattr and xlen in llvmir/gmir/patterngen backend

  PhilippvK

  committed
  2af9bfe

  Copy full SHA for 2af9bfe

• allow empty functions section in cdsl frontend

  PhilippvK

  committed
  538ad31

  Copy full SHA for 538ad31

• seal5/backends/coredsl2/visitor.py: fixes

  PhilippvK

  committed
  4a23f85

  Copy full SHA for 4a23f85

• fix for collect_raises

  PhilippvK

  committed
  fa03206

  Copy full SHA for fa03206

• seal5/tools/llvm.py: add progress bar for clone step (WIP)

  PhilippvK

  committed
  dec1dd3

  Copy full SHA for dec1dd3

• seal5/dependencies.py: integrate CloneProgress here as well

  PhilippvK

  committed
  97376ca

  Copy full SHA for 97376ca

• flow.py: more logging

  PhilippvK

  committed
  c2ab3b2

  Copy full SHA for c2ab3b2

• CLI fixes

  PhilippvK

  committed
  2134914

  Copy full SHA for 2134914

• allow shallow clone of llvm repo

  PhilippvK

  committed
  8b34740

  Copy full SHA for 8b34740

• clone_depth fixes

  PhilippvK

  committed
  87ab3cf

  Copy full SHA for 87ab3cf

• cli fixes

  PhilippvK

  committed
  51faa3c

  Copy full SHA for 51faa3c

• implement DEPLOY stage (including cli)

  PhilippvK

  committed
  6b0a48c

  Copy full SHA for 6b0a48c

• implement INSTALL stage (including cli)

  PhilippvK

  committed
  20526dc

  Copy full SHA for 20526dc

• minor EXPORT stage changes

  PhilippvK

  committed
  aa996ba

  Copy full SHA for aa996ba

• CDSL2LLVM: use sparse checkout, TODO: expose to settings

  PhilippvK

  committed
  449b3a6

  Copy full SHA for 449b3a6

• Flow: write custom name in settings, TODO: check for conflict?

  PhilippvK

  committed
  71750b7

  Copy full SHA for 71750b7

• llvm.py: fixes and install capability

  PhilippvK

  committed
  c182d59

  Copy full SHA for c182d59

• implement INSTALL stage (including cli)

  PhilippvK

  committed
  cacb926

  Copy full SHA for cacb926

• lint code with black

  PhilippvK

  committed
  b91fe83

  Copy full SHA for b91fe83

• meta_dir fixes

  PhilippvK

  committed
  9ff2d20

  Copy full SHA for 9ff2d20

• ci: update demo.yml

  PhilippvK

  committed
  df27a16

  Copy full SHA for df27a16

• examples: make TEST/INSTALL/DEPLOY/EXPORT/CLEANUP configurable

  PhilippvK

  committed
  be526ab

  Copy full SHA for be526ab

• ci: support non-python examples

  PhilippvK

  committed
  a899638

  Copy full SHA for a899638

• ci: support non-python examples 2

  PhilippvK

  committed
  e6a850a

  Copy full SHA for e6a850a

• ci fix

  PhilippvK

  committed
  88d54bf

  Copy full SHA for 88d54bf

• ci fix

  PhilippvK

  committed
  46be533

  Copy full SHA for 46be533

• ci fixes

  PhilippvK

  committed
  f75b87c

  Copy full SHA for f75b87c

• ci: add weekly demo script

  PhilippvK

  committed
  8e8eb79

  Copy full SHA for 8e8eb79

• Expose pattern_gen.sparse_checkout to cfg

  PhilippvK

  committed
  d18fd3d

  Copy full SHA for d18fd3d

• expose --progress via cli for init and setup step

  PhilippvK

  committed
  8b14ee4

  Copy full SHA for 8b14ee4

• cli: cleanup

  PhilippvK

  committed
  6b5677b

  Copy full SHA for 6b5677b

• examples: expose PROGRESS

  PhilippvK

  committed
  63911d7

  Copy full SHA for 63911d7

• examples: expose CLONE_DEPTH

  PhilippvK

  committed
  9ae35ac

  Copy full SHA for 9ae35ac

• fix Seal5Flow __init__

  PhilippvK

  committed
  745fdb6

  Copy full SHA for 745fdb6

• ci: use PROGRESS

  PhilippvK

  committed
  7ce2c1b

  Copy full SHA for 7ce2c1b

• ci: use CLONE_DEPTH

  PhilippvK

  committed
  a081590

  Copy full SHA for a081590

• flow: meta_dir fix

  PhilippvK

  committed
  335ae8a

  Copy full SHA for 335ae8a

• ci/examples: drop FAST mode

  PhilippvK

  committed
  ff18e0f

  Copy full SHA for ff18e0f

• flow: meta_dir fixes

  PhilippvK

  committed
  c98d616

  Copy full SHA for c98d616

• investigate clone issue

  PhilippvK

  committed
  d88ac92

  Copy full SHA for d88ac92