Code

analyze: CLI options#1057

Code

Merged

spernsteiner merged 11 commits intomasterimmunant/c2rust:masterfrom analyze-cli-optionsimmunant/c2rust:analyze-cli-optionsCopy head branch name to clipboardMar 16, 2024

+522-100

Commits

Commits on Mar 15, 2024

• analyze: add cli args for various settings to cargo wrapper

  spernsteiner

  committed
  b521621

• analyze: implement --rewrite-in-place option

  spernsteiner

  committed
  d3a2bec

• analyze: implement --rewrite-paths option

  spernsteiner

  committed
  9cbc256

• analyze: rewrite::mir_op: add CastBuilder::try_build_cast_desc_desc

  spernsteiner

  committed
  9b3fdc9

• analyze: rewrite::shim: generate let bindings to split up casts

  spernsteiner

  committed
  b937b7d

• analyze: implement --use-manual-shims option

  spernsteiner

  committed
  dd2919a

• analyze: fix handling of --rewrite-paths and add tests

  spernsteiner

  committed
  0da80e4

• analyze: fix panic on clone impl in fixed_defs handling

  spernsteiner

  committed
  56e0346

• analyze: fix panic on missing HIR body in gen_shim_call_rewrites

  spernsteiner

  committed
  5251951

• analyze: update readme

  spernsteiner

  committed
  f7a8f63

• analyze: accept multiple --rewrite-paths args

  spernsteiner

  committed
  faa795d