Commit Graph

  • d521651b1e ImportModelNamesPipe: set helper names too Ivan Krysak 2025-12-03 17:35:19 +02:00
  • 1a91707a2b GenericGraph: introduce empty() method Ivan Krysak 2025-12-22 10:44:39 +00:00
  • 1c56e34350 NameBuilder: introduce isAutomaticName Ivan Krysak 2026-02-09 14:20:02 +00:00
  • 95650e593d primitive-types.h: include stdbool.h Ivan Krysak 2025-12-22 11:23:18 +00:00
  • 1c3d11096d primitive-types.h: define NULL if absent Ivan Krysak 2026-01-02 09:12:04 +00:00
  • ad822abc53 Fix static IR helper object names Ivan Krysak 2026-02-23 11:34:13 +00:00
  • 14c2b4e5da Fix unset allowed actions local identifiers Ivan Krysak 2026-02-23 11:34:36 +00:00
  • 8a6706e7ac Doxygen: leave a TODO Ivan Krysak 2025-12-22 11:08:48 +00:00
  • bdc1dfcc8d CTokenEmitter: set actions explicitly Ivan Krysak 2025-11-26 15:57:09 +02:00
  • 7501ef998b NameBuilder: unconditionally ban some prefixes Ivan Krysak 2025-11-26 15:54:47 +02:00
  • 1541d4b402 CEmitter: allow argumentless function declarations Ivan Krysak 2025-11-26 15:53:14 +02:00
  • 532f81edd3 Old Headers: fix a broken comment Ivan Krysak 2025-11-26 15:54:24 +02:00
  • 4514620e9f CEmitter: introduce chooseEntityKind helper Ivan Krysak 2025-11-26 15:51:32 +02:00
  • 83304a14df Annotations: introduce a way to assert the name Ivan Krysak 2025-11-26 15:46:43 +02:00
  • 91ed5e33a8 PTML: make enum scope named for consistency sake Ivan Krysak 2025-11-26 15:38:03 +02:00
  • 5bcccf57d3 CEmitter: rename C field into Tokens Ivan Krysak 2025-12-22 08:09:44 +00:00
  • f73bbf7a08 Annotation: expose raw access Ivan Krysak 2025-11-10 14:09:27 +02:00
  • 0b2853f624 Extract emitFunctionPrototype helper Ivan Krysak 2025-11-10 13:46:21 +02:00
  • 69d006382b Fix revng build with coroutines disabled Ivan Krysak 2025-12-03 17:34:30 +02:00
  • f0e00d66ab Do not use doxygen for TODOs Ivan Krysak 2025-11-10 13:18:07 +02:00
  • 22fe32afa2 Minor improvements Ivan Krysak 2025-11-10 13:45:22 +02:00
  • b5f98fcae9 check-conventions: ban anonymous header namespaces Ivan Krysak 2026-02-23 13:01:14 +00:00
  • a1f2853a04 check-conventions: reallow namespace x = a::b Ivan Krysak 2026-02-23 12:59:50 +00:00
  • 9bf14f0ae5 tmp Your Name 2026-02-22 09:46:39 +01:00
  • db6905c2a2 nix flake Your Name 2026-02-21 08:55:25 +01:00
  • 82845fc393 CMakeLists.txt: make PYTHON_INSTALL_PATH nix-friendly Alessandro Di Federico 2026-02-21 08:48:15 +01:00
  • cd09b0688b Merge branch 'feature/pypeline-tracing-2' Alessandro Di Federico 2026-02-17 11:06:16 +01:00
  • 5ed18e65b7 docs: drop use of orc shell Giacomo Vercesi 2026-02-16 14:01:04 +01:00
  • 728ee2bb96 Add end-to-end test for --debug Giacomo Vercesi 2026-02-10 12:03:20 +01:00
  • cdfe858840 clift NameImporter: handle empty FunctionOps Giacomo Vercesi 2026-02-16 12:02:55 +01:00
  • 43c0c8435b Fix Clift UnionAttr mutation Lauri Vasama 2026-02-10 14:18:28 +02:00
  • e14d1cee6f Add native runner tests Giacomo Vercesi 2026-02-09 17:03:02 +01:00
  • df4f8b76ac pypeline: re-organize tests Giacomo Vercesi 2026-02-09 15:44:21 +01:00
  • f1878f1194 pypeline: drop TraceRunner Giacomo Vercesi 2026-02-09 12:32:12 +01:00
  • a94c6a2636 pipebox: use native runners Giacomo Vercesi 2026-02-03 15:49:42 +01:00
  • 25ba3115c4 pypeline: implement native run-{pipe,analysis} Giacomo Vercesi 2026-02-03 15:49:20 +01:00
  • 6b40322a3c revng2: implement wrappers Giacomo Vercesi 2026-01-21 18:05:43 +01:00
  • 27f419c8cd Fix and ban namespace clobbering Giacomo Vercesi 2026-02-06 16:05:10 +01:00
  • f9ac4db8ba Remove use of PIE compiler options Giacomo Vercesi 2026-02-05 18:34:10 +01:00
  • dc74fc4c25 Merge branch 'feature/clift-variables-and-comments' Alessandro Di Federico 2026-02-13 16:46:24 +01:00
  • d37d32e4b2 Add Clift function type to-do Lauri Vasama 2026-02-13 07:00:50 +02:00
  • b8348f17b2 Overhaul Clifter structure Lauri Vasama 2026-02-10 11:45:01 +02:00
  • 07fbf344c2 Implement Clift PTML instruction tag emission Lauri Vasama 2025-12-16 07:03:41 +02:00
  • 57c49e4302 Implement Clift statement comment import Lauri Vasama 2026-02-11 13:57:15 +02:00
  • db8fd8de39 Avoid sanitizing identifiers in Clift name import Lauri Vasama 2026-02-11 13:57:04 +02:00
  • 46e8b64bb9 Implement Clift backend statement comment emission Lauri Vasama 2026-01-22 11:22:13 +02:00
  • 60e1684127 Generalize CommentPlacementHelper Lauri Vasama 2026-01-22 11:21:50 +02:00
  • dd75b0aebc Improve Clift local name import Lauri Vasama 2026-01-22 11:21:04 +02:00
  • 8b709ea532 Assign local variable and label handles in Clifter Lauri Vasama 2026-01-22 11:16:12 +02:00
  • b0139bd5e5 Add stack frame variable rank Lauri Vasama 2026-01-22 11:21:29 +02:00
  • 4c5544816a Enable explicit automatic naming for locals Lauri Vasama 2026-01-22 11:07:24 +02:00
  • 6947a31a0c Add stack frame variable automatic naming Lauri Vasama 2026-01-22 11:06:31 +02:00
  • cb95b94785 Rename StackFrameVariableName Lauri Vasama 2026-02-10 11:39:36 +02:00
  • aa2597d13b model::Function: add stack frame name and comment Lauri Vasama 2026-01-22 11:05:31 +02:00
  • 811478771e Make local op name attributes inherent Lauri Vasama 2026-01-21 11:50:44 +02:00
  • 47f030248c Add ExpressionRegionOpInterface Lauri Vasama 2026-01-21 11:50:15 +02:00
  • ba9c756d07 Improve StatementRegionOpInterface Lauri Vasama 2026-01-21 11:44:08 +02:00
  • 757f278134 Add ptml::DoxygenEmitter, CDoxygenEmitter Lauri Vasama 2025-12-29 09:11:30 +02:00
  • 17c173b3d9 Add CTokenEmitter::CommentEmitter interface Lauri Vasama 2025-12-23 13:08:15 +02:00
  • c93e9f17fc Add CTokenEmitter documentation Lauri Vasama 2026-02-11 10:29:02 +02:00
  • 61cbd93bab Overhaul PTMLEmitter Lauri Vasama 2026-02-10 13:29:03 +02:00
  • e127f433ad Factor indentation out of ptml::Emitter Lauri Vasama 2025-12-29 09:11:17 +02:00
  • 21fa80f831 Introduce ptml::Emitter concept Lauri Vasama 2026-02-10 12:27:23 +02:00
  • 021d99cc39 Rename ptml::Emitter to ptml::PTMLEmitter Lauri Vasama 2026-02-10 12:10:27 +02:00
  • 04b035749b Add ptml::tokens::Punctuation Lauri Vasama 2026-02-05 15:21:02 +02:00
  • f65ca96368 Add clift op interface descriptions Lauri Vasama 2026-02-10 11:34:10 +02:00
  • 8cbc0e6d24 Move CTokenEmitter into namespace ptml Lauri Vasama 2026-02-10 11:24:14 +02:00
  • 6b764ccbd1 Use octal escapes instead of hexadecimal Lauri Vasama 2026-02-10 11:03:45 +02:00
  • 3976ba5859 Merge branch 'feature/pypeline-improve-memory-usage' Alessandro Di Federico 2026-02-05 15:01:41 +01:00
  • 01e9de1c34 compare_isolate.sh: don't compare declarations Giacomo Vercesi 2026-01-28 16:24:52 +01:00
  • 637e0771f9 isolate: further optimize isolated output Giacomo Vercesi 2026-01-08 15:10:48 +01:00
  • d578bc6cd2 isolate: clone root module conservatively Giacomo Vercesi 2026-01-14 12:40:59 +01:00
  • 8654dafecd isolate: postpone dynamic function bodies Giacomo Vercesi 2026-01-28 17:37:39 +01:00
  • 798af62b87 Introduce helpers declarations Giacomo Vercesi 2026-01-13 12:40:47 +01:00
  • 5250ffbb6b Introduce SimplePassManager Giacomo Vercesi 2026-01-22 11:32:50 +01:00
  • 0ba82ce4f9 GCBI: explicitly store module reference Giacomo Vercesi 2026-01-08 15:13:40 +01:00
  • 723ae8d801 GCBI: rework members and constructor Giacomo Vercesi 2026-01-08 15:13:12 +01:00
  • 2d8e7f78bb Merge branch 'feature/pypeline-tracing' Alessandro Di Federico 2026-02-04 11:54:47 +01:00
  • d7e605fe63 pypeline: add debug mode Giacomo Vercesi 2026-01-08 16:29:12 +01:00
  • 8f2d0191d7 Pipe: add needed_files functions Giacomo Vercesi 2026-01-09 12:42:32 +01:00
  • 1b732501ae revng2 quick: swap artifact and binary args Giacomo Vercesi 2026-01-21 16:57:41 +01:00
  • 62c1b44a54 revng: allow execution while in a venv Giacomo Vercesi 2026-01-29 14:26:10 +01:00
  • 9d8845de95 revng2: do not print stacktrace on SIGINT Giacomo Vercesi 2026-01-29 14:44:43 +01:00
  • cda0a9e508 revng2: allow execution in build directory Giacomo Vercesi 2026-01-21 17:00:23 +01:00
  • 93a998ce93 TraceProgressListener: also record memory usage Giacomo Vercesi 2026-01-12 16:10:55 +01:00
  • 54b84de3ea CUniquePtr: add missing #include Giacomo Vercesi 2026-01-13 10:39:05 +01:00
  • fd14580619 pipebox: improve signal handling Giacomo Vercesi 2026-01-08 14:02:54 +01:00
  • 4093628b39 Merge branch 'feature/pre-segment-references' Alessandro Di Federico 2025-12-22 12:33:20 +01:00
  • 69e3d4bd9b revng_undefined_local_sp: mark as read-only Alessandro Di Federico 2025-12-22 11:13:41 +01:00
  • afa52dfbd5 BinaryImporterHelper: use executableRanges Alessandro Di Federico 2025-12-16 15:39:08 +01:00
  • 250e69fdc7 Introduce MetaAddressRange Alessandro Di Federico 2025-12-16 15:39:09 +01:00
  • 4d5183a0ac Make layoutToLLVMFunctionType self-contained Alessandro Di Federico 2025-12-17 09:51:08 +01:00
  • 0bf97a9e68 getPointerSizedInteger: use model::Architecture Alessandro Di Federico 2025-12-17 09:49:20 +01:00
  • 0aefce73e1 Drop dead: JumpTargetManager::isExecutableRange Alessandro Di Federico 2025-12-16 15:39:10 +01:00
  • 3118c4b6f7 CodeGenerator: drop NoMoreCodeBoundaries Alessandro Di Federico 2025-12-16 15:39:10 +01:00
  • d79c66cb1b Introduce getOrCreateGlobal Alessandro Di Federico 2025-12-16 15:39:09 +01:00
  • b94e21a06e Handle inexistent --debug-log gracefully Alessandro Di Federico 2025-12-16 15:39:10 +01:00
  • 6b472471bf InvokeIsolatedFunctions: handle missing functions Alessandro Di Federico 2025-12-16 15:39:10 +01:00
  • 557baea6db Clifter: fix handling of Scalar returnMethod Alessandro Di Federico 2025-12-16 15:39:10 +01:00
  • 7d6c007d71 Progress: check ioctl(TIOCGWINSZ) result Alessandro Di Federico 2025-12-16 15:39:11 +01:00