Commit Graph

  • 27bd08e613 Merge branch 'feature/detect-abi-inline-helpers' develop next-develop Alessandro Di Federico 2026-06-19 15:36:17 +02:00
  • 0ae39d72a2 tests: filecheck IR after detect-abi inlining Andrea Gussoni 2026-06-03 15:06:14 +02:00
  • 57f7e577fe DetectABI: name outlined stubs after symbols Andrea Gussoni 2026-06-03 15:06:06 +02:00
  • f6d2a71466 DetectABI: add post-inline IR dump flag Andrea Gussoni 2026-05-28 15:51:20 +02:00
  • 6a56557177 DetectABI: inline helpers Andrea Gussoni 2026-05-13 14:16:38 +02:00
  • 06733a9f3a InlineHelpers: split into link / inline / delete Andrea Gussoni 2026-05-13 14:16:32 +02:00
  • b10024bfc8 InlineHelpers: limit loop-unroll to x86 Andrea Gussoni 2026-05-13 15:23:47 +02:00
  • 75059cfdff Port last tests to pypeline Giacomo Vercesi 2026-06-11 12:23:02 +02:00
  • 4776a24eb8 tests: use revng merge llvm Giacomo Vercesi 2026-06-15 10:30:28 +02:00
  • 49b2c523ab Add revng merge llvm command Giacomo Vercesi 2026-05-19 09:58:08 +02:00
  • 5287e69be0 revng.internal.cli.support: expose std{in,out,err} Giacomo Vercesi 2026-06-15 10:59:30 +02:00
  • 7be14c59b3 pypeline: add segregate-stack-accesses artifact Giacomo Vercesi 2026-06-15 10:39:54 +02:00
  • 0de0ceaa3e Merge branch 'feature/fix-exit-ssa' Pietro Fezzardi 2026-06-19 15:27:57 +02:00
  • aa1ea25ca7 ExitSSA: add unit tests Pietro Fezzardi 2026-06-17 18:06:30 +02:00
  • a7aa3a0e1a ExitSSA: fix detection of incompatible PHINodes Pietro Fezzardi 2026-06-17 14:14:17 +02:00
  • a7d4a73d2d ExitSSA: don't exclude PHINodes with non-phi Users Pietro Fezzardi 2026-06-16 17:11:07 +02:00
  • 422319f4d8 ExitSSA: fix insertion of undefs Pietro Fezzardi 2026-06-16 17:09:41 +02:00
  • c2ce667bd8 Merge branch 'feature/segretate-aggregates-2' Alessandro Di Federico 2026-06-19 09:18:32 +02:00
  • 12b9a44ace Ban dynamic-size allocas, use ArrayType instead Alessandro Di Federico 2026-06-18 15:11:19 +02:00
  • 903617e79e IRHelpers: turn some functions into IRBuilder::* Alessandro Di Federico 2026-06-17 10:30:08 +02:00
  • 63734b7ca0 Canonicalize: ban pointers Alessandro Di Federico 2026-06-16 14:34:18 +02:00
  • 3e31edf817 Introduce FixPointerSize Alessandro Di Federico 2026-06-16 14:33:59 +02:00
  • 1ff0eedc5f test-segregate-stack-accesses: test i386 as well Alessandro Di Federico 2026-06-16 11:53:42 +02:00
  • 64fa538051 Introduce DropRedundantPtrIntCasts Alessandro Di Federico 2026-06-16 11:15:41 +02:00
  • ffaf735219 sqlite: open read-only when appropriate Alessandro Di Federico 2026-06-16 10:25:47 +02:00
  • 325da01cad Ban dynamic-size allocas, use ArrayType instead feature/segretate-aggregates-2 Alessandro Di Federico 2026-06-18 15:11:19 +02:00
  • 8d67f33ce5 IRHelpers: turn some functions into IRBuilder::* Alessandro Di Federico 2026-06-17 10:30:08 +02:00
  • e1fc2d346e Canonicalize: ban pointers Alessandro Di Federico 2026-06-16 14:34:18 +02:00
  • c4760fa0c4 Introduce FixPointerSize Alessandro Di Federico 2026-06-16 14:33:59 +02:00
  • fec3c2a372 test-segregate-stack-accesses: test i386 as well Alessandro Di Federico 2026-06-16 11:53:42 +02:00
  • 0181fcac3c Introduce DropRedundantPtrIntCasts Alessandro Di Federico 2026-06-16 11:15:41 +02:00
  • 9d17ef5b5b sqlite: open read-only when appropriate Alessandro Di Federico 2026-06-16 10:25:47 +02:00
  • b5e3ccba9e Do not allocate const objects Alessandro Di Federico 2026-06-16 10:22:43 +02:00
  • a35da01bdd Minor changes Alessandro Di Federico 2026-06-16 10:27:34 +02:00
  • 1ce725fac6 Merge branch 'feature/hitman-pypeline' Alessandro Di Federico 2026-06-18 14:12:09 +02:00
  • 4f9e811110 pypeline: implement Pypeline Data Viewer Giacomo Vercesi 2026-05-25 11:47:59 +02:00
  • fe0d7ce0c4 Drop RestructureCFG feature/drop-old-backend Alessandro Di Federico 2025-12-04 09:25:01 +01:00
  • fed1cc6cd6 Drop Canonicalize Alessandro Di Federico 2025-12-04 09:25:00 +01:00
  • f6b7c0ca20 Drop old backend Ivan Krysak 2026-05-04 17:52:35 +00:00
  • 97ce1c3d5a Remove old backend from revng-pipelines.yml Alessandro Di Federico 2025-12-02 10:49:03 +01:00
  • 0e2445d333 HeadersGeneration: drop unused logic Ivan Krysak 2026-05-04 12:40:46 +00:00
  • 8b4462c902 TypeNames: drop stack inlinig logic Ivan Krysak 2026-05-04 12:39:25 +00:00
  • 5a61f28729 TypeNames: drop unused interfaces Ivan Krysak 2026-05-04 12:37:09 +00:00
  • e7251dbb49 Drop legacy header pipes Ivan Krysak 2026-01-02 15:49:09 +00:00
  • fc2695bc4f Drop checks on expected C output Alessandro Di Federico 2025-12-02 11:15:16 +01:00
  • 544b0f03a2 Drop test_combingpass Alessandro Di Federico 2025-12-03 12:21:11 +01:00
  • ebb5258eb4 Drop old backend tests Alessandro Di Federico 2025-12-02 11:08:40 +01:00
  • dfb9a36bb2 pypeline: implement compression Giacomo Vercesi 2026-05-14 17:02:48 +02:00
  • e1b86f757a pypeline: move container from using to subclasses Giacomo Vercesi 2026-05-13 16:22:18 +02:00
  • b1857d18ee Merge Clift{Function,SingleType}Container Giacomo Vercesi 2026-05-13 16:04:25 +02:00
  • f0144ac0c9 pypeline: make artifact_categories kebab-case Giacomo Vercesi 2026-05-13 12:37:58 +02:00
  • d3d73a48c9 PRSS: add envvars for secret parameters Giacomo Vercesi 2026-06-11 15:02:24 +02:00
  • d6e02c1f95 get_middlewares: allow x-project-id Giacomo Vercesi 2026-05-25 10:49:51 +02:00
  • 882afa192d revng.project: fix compatibility Giacomo Vercesi 2026-05-27 09:46:09 +02:00
  • 874e423a2a Merge branch 'feature/clift-based-headers-4' Pietro Fezzardi 2026-06-16 21:31:33 +02:00
  • ad8be6819c import-from-c: minor wording improvements feature/last-old-backend Ivan Krysak 2026-06-16 13:11:52 +00:00
  • 24de1435ff import-from-c: add more tests Ivan Krysak 2026-06-16 12:56:22 +00:00
  • bbb0a00f46 import-from-c: make output easier to debug Ivan Krysak 2026-06-16 12:54:55 +00:00
  • 2a97323232 import-from-c: fail on unexpected successes Ivan Krysak 2026-06-16 12:54:43 +00:00
  • 1609bbe745 Restore the separate enum declaration node Ivan Krysak 2026-06-16 13:40:10 +00:00
  • 42a045a2b5 CliftEmitC: fix the header filtering direction Ivan Krysak 2026-06-15 14:48:42 +00:00
  • e5113a8c1d ImportFromC: add a logger printing clang inputs Ivan Krysak 2026-06-15 14:48:26 +00:00
  • 42e9973ab1 ImportFromC: drop a pointless logger Ivan Krysak 2026-06-15 14:47:43 +00:00
  • 6a3ab92a9d Mark to-be-dropped pipeline names as legacy Pietro Fezzardi 2026-06-12 22:56:38 +02:00
  • 81aceca45d CliftContainer: use llvm::StringRef overload Ivan Krysak 2026-06-10 14:20:31 +00:00
  • e44c04925e developer-manual/qemu-helpers.md: update Alessandro Di Federico 2026-06-10 17:28:37 +02:00
  • ffd8710492 isolate: keep CSVs used by helpers Alessandro Di Federico 2026-06-10 12:39:50 +02:00
  • 1660b44cfe promote-csvs: improve logging Alessandro Di Federico 2026-06-10 12:39:46 +02:00
  • 4b125fc6c8 CliftEmitC: emit trailing struct padding Pietro Fezzardi 2026-06-10 13:33:14 +02:00
  • e4ba9ca989 Drop precedence-tests Alessandro Di Federico 2025-12-04 09:25:00 +01:00
  • 37c2cb12ed test-docs: use new pipeline Ivan Krysak 2026-06-10 12:05:39 +00:00
  • 17945bbe95 local_provider: improve an error message Ivan Krysak 2026-06-10 10:59:39 +00:00
  • 3aeb6c8b25 enum-field-access test: fix broken locations Ivan Krysak 2026-06-10 06:20:58 +00:00
  • 9418844aa3 Add a const serialization test Ivan Krysak 2026-06-10 05:20:34 +00:00
  • 15c5da73f2 Fix VoidType serialization Lauri Vasama 2026-06-10 11:12:15 +02:00
  • e02aa215fa makeNameAttr: soften the check Ivan Krysak 2026-06-10 05:52:31 +00:00
  • 0d2ae728f3 makeNameAttr: better error message Ivan Krysak 2026-06-10 05:52:23 +00:00
  • a7820ae28b Simplify end-to-end c decompilation tests Ivan Krysak 2026-06-09 16:20:21 +00:00
  • ec5af3d5cb CliftImportModel: import symbol descriptive info Pietro Fezzardi 2026-06-08 19:14:31 +02:00
  • 8fc5ff2c94 CliftImportModel: deduplicate recorded targets Pietro Fezzardi 2026-06-08 19:13:37 +02:00
  • 7aad574196 CliftImportModel: refactor visitGlobalVariableOp Pietro Fezzardi 2026-06-08 19:12:34 +02:00
  • 98b0dd9380 CliftImportModel: refactor visitFunctionOp Pietro Fezzardi 2026-06-08 19:00:49 +02:00
  • aa48a01400 Fix overwriting of names in Clift type import Lauri Vasama 2026-06-08 14:46:35 +02:00
  • 2a2854c020 CliftEmitC: always emit opaque types in headers Ivan Krysak 2026-06-04 10:51:14 +00:00
  • 6d86e8ca71 CliftAttributes: improve mutation error message Ivan Krysak 2026-06-04 09:52:03 +00:00
  • f13a63ba97 Comment tests: make robust to new attributes Ivan Krysak 2026-06-04 09:08:05 +00:00
  • cdf22d56a5 Comment tests: restore the segment test Ivan Krysak 2026-06-04 08:45:28 +00:00
  • ce9918a0c6 Clifter: do not load dialect in the pipe Ivan Krysak 2026-05-28 13:38:54 +00:00
  • f8e13b8c96 TypeDependencyGraph: skip opaque types Ivan Krysak 2026-05-28 13:37:06 +00:00
  • a83521d337 Ensure no duplicate opaque types in headers Ivan Krysak 2026-05-28 14:29:50 +00:00
  • 5cd3556765 emit-single-type-definition: add a TODO Ivan Krysak 2026-05-28 14:23:25 +00:00
  • 3a6ed1e7eb CliftContainer: accept owning module references Ivan Krysak 2026-05-28 14:22:37 +00:00
  • a8056e8cee UnconfiguredNB: ensure binary lives long enough Ivan Krysak 2026-05-28 14:21:48 +00:00
  • b383c9a111 Pipebox: improve an error message Ivan Krysak 2026-05-19 11:50:26 +00:00
  • 77affee259 importType: provide a error-less overload Ivan Krysak 2026-04-21 12:15:21 +00:00
  • 686dc0877a hasModuleAttr -> isCliftModule Ivan Krysak 2026-04-21 12:12:55 +00:00
  • 7d03759672 Drop test_pointer_array_emission Alessandro Di Federico 2025-12-03 12:19:54 +01:00
  • ffc367f584 Pipebox: reorder containers and pipes Ivan Krysak 2026-05-04 13:04:53 +00:00
  • b0bc3eb2d8 Pipebox: streamline registration Ivan Krysak 2026-05-04 12:57:03 +00:00
  • 93e9b41769 EnforceABI: drop an unused class declaration Ivan Krysak 2026-05-04 12:59:27 +00:00