Commit Graph

  • c704aac1c5 CEmitter: add emitCategoryComment helper Ivan Krysak 2026-04-21 08:15:44 +00:00
  • 405eebcbd1 TypeDefinitionEmitter: emit comments Ivan Krysak 2025-12-22 11:24:34 +00:00
  • 3bd8879948 CEmitter: Introduce doxygen emission helpers Ivan Krysak 2026-04-21 08:31:51 +00:00
  • 8c3cbcca23 DoxygenEmitter: add internal indentation support Ivan Krysak 2026-04-15 07:22:21 +00:00
  • 8e456cbca9 CDoxygenEmitter: add one-shot comment helpers Ivan Krysak 2026-04-21 08:31:05 +00:00
  • 30e8f4e53e CDoxygenEmitter: introduce in-place factories Ivan Krysak 2026-04-15 10:28:40 +00:00
  • 141bddb241 CDoxygenEmitter: pull factories in as methods Ivan Krysak 2026-04-21 08:20:56 +00:00
  • 995a94877d CDoxygenEmitter: factor configuration out Ivan Krysak 2026-04-15 10:28:03 +00:00
  • 2f8557a418 Doxygen unit test: improve the error message Ivan Krysak 2026-02-19 15:59:27 +00:00
  • d3e22a2b05 CTokenEmitter: add #pragma once helper Ivan Krysak 2025-12-03 17:34:53 +02:00
  • 6d76908858 Introduce TypeDefinitionEmitter Ivan Krysak 2026-03-26 13:02:11 +00:00
  • d327cd3be5 emitCAttributes: introduce an array overload Ivan Krysak 2026-02-19 13:51:07 +00:00
  • 539a8370c6 CAttributeListBuilder: allow chaining the methods Ivan Krysak 2026-03-26 12:53:02 +00:00
  • 0189089930 Introduce TypeEmitterConfiguration Ivan Krysak 2025-12-22 11:30:00 +00:00
  • c3b870beee CEmitter: make function prototype commentable Ivan Krysak 2025-12-23 17:40:45 +00:00
  • 3e63412e8c CEmitter: make return value scope Ivan Krysak 2026-04-15 09:12:38 +00:00
  • f69a0345b7 CTokenEmitter: introduce Commentable region Ivan Krysak 2025-12-23 17:09:05 +00:00
  • ac3df7460d Introduce clift::ClassType::getCAttributes Ivan Krysak 2026-04-03 10:01:41 +02:00
  • 9167153303 Only allow unit attributes on function operations Ivan Krysak 2026-04-03 08:49:32 +02:00
  • 58cff91c3b CTokenEmitter: allow identifiers in comments Ivan Krysak 2026-04-03 10:15:25 +02:00
  • 2f692a7265 Fix unnecessary _CAN_CONTAIN_CODE bug Ivan Krysak 2026-04-08 09:06:29 +00:00
  • f1739e1a0f IndentingEmitter: drop emitNewline Ivan Krysak 2026-04-21 12:45:02 +00:00
  • f3df0e20b9 Minor improvements Ivan Krysak 2026-04-15 11:16:34 +00:00
  • 15196ecdc5 Merge branch feature/emit-field-accesses-indirect Pietro Fezzardi 2026-04-14 11:23:20 +02:00
  • 4e3af009fe Expressions: fold x[0] into *x Andrea Gussoni 2026-04-13 16:17:01 +02:00
  • 8359b4da26 EmitFieldAccesses: indirection propagation test Andrea Gussoni 2026-04-09 11:07:57 +02:00
  • 8a87c034a8 EmitFieldAccesses: re-run on indirection Andrea Gussoni 2026-04-09 11:07:50 +02:00
  • 0e63c46930 EmitFieldAccesses: propagate through indirection Andrea Gussoni 2026-04-09 11:07:41 +02:00
  • f6b1772bbd EmitFieldAccesses: add const-qualified test Andrea Gussoni 2026-04-09 11:07:57 +02:00
  • e0a9f4f484 EmitFieldAccesses: ignore qualifiers on Types Andrea Gussoni 2026-04-09 11:07:31 +02:00
  • 715a2e54b0 IndentingEmitter: initialize IndentationString Pietro Fezzardi 2026-04-13 11:39:55 +02:00
  • 35537a3bc4 tmp feature/nix-flake Your Name 2026-04-11 14:02:09 +02:00
  • fa5b9c99c2 Merge branch 'feature/prepare-sts-alias-analysis' Pietro Fezzardi 2026-04-10 16:06:02 +02:00
  • e399f381ea CommonTypeMethods: add getters for function types Pietro Fezzardi 2026-04-10 12:57:16 +02:00
  • 4735dfb460 Fix model-migration.yml: bash negation Pietro Fezzardi 2026-04-09 10:31:33 +02:00
  • 762e3e9def Better RecursivelyDeleteTriviallyDeadInstructions Pietro Fezzardi 2026-01-22 09:27:26 +01:00
  • 74e3a6873e BeautifyGHAST: use mayHaveSideEffects() method Pietro Fezzardi 2025-12-12 17:13:07 +01:00
  • 6e3afe097b PromoteCSVs: drop unused Initializers member Pietro Fezzardi 2025-12-04 12:07:44 +01:00
  • 23bd3f6c46 ExitSSA: don't declare to preserve the CFG Pietro Fezzardi 2025-12-12 16:34:08 +01:00
  • cc441ccd5c ExitSSA: fix insertion point past PHIs Pietro Fezzardi 2025-12-04 11:34:01 +01:00
  • df5139027c Add -fno-strict-aliasing to compile-flags.cfg Pietro Fezzardi 2025-12-02 09:56:14 +01:00
  • 7dce4fba42 Improve documentation of compile-flags.cfg Pietro Fezzardi 2025-12-02 09:55:53 +01:00
  • 59f91dcfc0 MakeModelGEP: drop unnecessary includes Pietro Fezzardi 2025-11-12 15:44:59 +01:00
  • d440e20a9a Merge branch 'feature/pypeline-integrate-scripting' Alessandro Di Federico 2026-04-10 11:45:25 +02:00
  • a8e13e4ee7 docs: fix Giacomo Vercesi 2026-03-10 17:15:47 +01:00
  • aa28975c3f LocalStorageProvider: prune on startup Giacomo Vercesi 2026-03-26 14:54:32 +01:00
  • e5ca09e0f3 pypeline-storage: drop revng_ prefix Giacomo Vercesi 2026-03-26 14:37:32 +01:00
  • 0a18cb94f5 Cleanup revng.support.artifacts Giacomo Vercesi 2026-03-10 16:33:48 +01:00
  • 96f2ad60b4 Fix scripting tests Giacomo Vercesi 2026-03-10 15:21:45 +01:00
  • 3a5dc835de revng.project: port to pypeline Giacomo Vercesi 2026-03-09 15:30:23 +01:00
  • 90e8cce41e model: rework python mixin infrastructure Giacomo Vercesi 2026-03-09 15:30:23 +01:00
  • a91d87315a pypeline daemon: add /status endpoint Giacomo Vercesi 2026-03-10 12:37:29 +01:00
  • f626dece53 Add revng2 project dump-pipeline Giacomo Vercesi 2026-03-06 17:09:30 +01:00
  • 18e3501731 pypeline: implement proper config parsing Giacomo Vercesi 2026-03-10 10:44:47 +01:00
  • ee7ce2d9a3 revng2 quick artifact: use subcommands Giacomo Vercesi 2026-03-31 13:31:42 +02:00
  • 9fd3077081 pype: adopt option group for wrappers Giacomo Vercesi 2026-03-30 15:40:07 +02:00
  • d41f7bcd6e LocalStorageProvider: handle OSErrors Giacomo Vercesi 2026-03-10 18:50:43 +01:00
  • 2afcb4ec67 pype: improve output on wider terminals Giacomo Vercesi 2026-03-30 18:23:10 +02:00
  • f0890e6617 revng.support.to_bytes: handle empty files Giacomo Vercesi 2026-03-31 15:13:14 +02:00
  • 65a1a23b18 Merge branch 'feature/clift-comment-emission' Pietro Fezzardi 2026-04-10 09:01:07 +02:00
  • d813581ae4 Add DoxygenEmitter documentation Lauri Vasama 2026-04-09 18:34:30 +03:00
  • c18164c25d Simplify IndentingEmitter; make configurable Lauri Vasama 2026-04-08 18:35:58 +03:00
  • 79a4fbc808 Fix DoxygenEmitter line prefix emission Lauri Vasama 2026-04-08 18:34:10 +03:00
  • cacaa9fff1 Fix CTokenEmitter::CommentEmitter newlines Lauri Vasama 2026-04-08 17:15:19 +03:00
  • 9c76e1219f Add ADT/LineRange.h Lauri Vasama 2026-04-08 18:32:13 +03:00
  • a0e3fd419e docs: fix feature/pypeline-integrate-scripting Giacomo Vercesi 2026-03-10 17:15:47 +01:00
  • bc765c1104 LocalStorageProvider: prune on startup Giacomo Vercesi 2026-03-26 14:54:32 +01:00
  • 76f9ed73bd pypeline-storage: drop revng_ prefix Giacomo Vercesi 2026-03-26 14:37:32 +01:00
  • 132d891e7c Cleanup revng.support.artifacts Giacomo Vercesi 2026-03-10 16:33:48 +01:00
  • 6773a4397f Fix scripting tests Giacomo Vercesi 2026-03-10 15:21:45 +01:00
  • 8ad19f2f3d revng.project: port to pypeline Giacomo Vercesi 2026-03-09 15:30:23 +01:00
  • b229fcc469 model: rework python mixin infrastructure Giacomo Vercesi 2026-03-09 15:30:23 +01:00
  • 2430132da3 pypeline daemon: add /status endpoint Giacomo Vercesi 2026-03-10 12:37:29 +01:00
  • 3d96cd3b85 Add revng2 project dump-pipeline Giacomo Vercesi 2026-03-06 17:09:30 +01:00
  • 2911fb3e2a pypeline: implement proper config parsing Giacomo Vercesi 2026-03-10 10:44:47 +01:00
  • 4515a6215d revng2 quick artifact: use subcommands Giacomo Vercesi 2026-03-31 13:31:42 +02:00
  • d49d25b184 pype: adopt option group for wrappers Giacomo Vercesi 2026-03-30 15:40:07 +02:00
  • aaa85d3f25 LocalStorageProvider: handle OSErrors Giacomo Vercesi 2026-03-10 18:50:43 +01:00
  • b67ce433cd pype: improve output on wider terminals Giacomo Vercesi 2026-03-30 18:23:10 +02:00
  • 242fd0baa9 revng.support.to_bytes: handle empty files Giacomo Vercesi 2026-03-31 15:13:14 +02:00
  • 1527bc5b67 Merge branch 'feature/clift-dialect-changes' Pietro Fezzardi 2026-04-08 17:32:11 +02:00
  • 553c740e2d Remove pointers to array in model type import Lauri Vasama 2026-04-02 18:33:06 +03:00
  • 8085a1e8e9 Improve integer literal emission Lauri Vasama 2026-03-27 16:56:44 +02:00
  • 4cadcafa2c Move operand constraints from C++ to tablegen Lauri Vasama 2026-03-13 11:21:05 +02:00
  • 0e7703e312 CBackend null pointer constant Lauri Vasama 2026-03-11 20:45:25 +02:00
  • d35e54627c Add Clift ValueType interface Lauri Vasama 2026-03-13 09:05:10 +02:00
  • 80731d1a10 Migrate users to new Clift type casts Lauri Vasama 2026-03-11 21:39:17 +02:00
  • fb3cdbdf38 Rename ValueType to AddressableType Lauri Vasama 2026-03-11 17:44:03 +02:00
  • 29c935ac90 Replace Clift type category helpers with casts Lauri Vasama 2026-03-11 15:25:52 +02:00
  • ecaec9b2f1 Add typedef-unwrapping Clift type casts Lauri Vasama 2026-03-09 08:50:51 +02:00
  • db2b57e867 Add Clift ObjectType type interface Lauri Vasama 2026-03-11 15:31:42 +02:00
  • 92ad229ff0 Move BytecodeClassAttr into a separate file Lauri Vasama 2026-03-11 17:32:06 +02:00
  • 9ba90e9b81 Replace ValueType with mlir::Type where applicable Lauri Vasama 2026-03-12 08:09:59 +02:00
  • f9a4cb6384 Split up clift::dealias Lauri Vasama 2026-03-11 11:28:50 +02:00
  • be8351a17d Split up Clift PrimitiveType Lauri Vasama 2026-03-05 16:23:12 +02:00
  • a2be1b476a Split up Clift CastOp Lauri Vasama 2026-03-23 13:55:36 +02:00
  • 89fd0ee909 Use getObjectSize in EmitFieldAccesses Lauri Vasama 2026-03-23 17:37:55 +02:00
  • 4cd4de4f83 Improve Clift type tablegen definitions Lauri Vasama 2026-03-12 08:42:14 +02:00
  • 82ae097c18 Improve Clift operation type constraints Lauri Vasama 2026-03-12 08:05:49 +02:00
  • 5198af8ba7 Improve Clift free function type property helpers Lauri Vasama 2026-03-11 14:38:40 +02:00