Commit Graph

  • 8f5659e0c7 Put Python packages into lib/python*/site-packages Alessandro Di Federico 2022-10-06 11:42:57 +02:00
  • 43cb77e6a3 TypeSystemPrinter: route edge to the top of nodes Pietro Fezzardi 2022-09-21 14:59:55 +02:00
  • 17149bacb7 Merge branch 'feature/revng-distributable-revamp' Alessandro Di Federico 2022-10-06 15:13:04 +02:00
  • ff48b9de75 Introduce revng daemon-self-test Giacomo Vercesi 2022-08-26 10:46:33 +02:00
  • e5963395dc Drop requests in favor of aiohttp Giacomo Vercesi 2022-08-25 14:12:42 +02:00
  • 5d02e7258f revng.daemon test: fail if daemon exit code != 0 Giacomo Vercesi 2022-09-23 18:50:37 +02:00
  • d7265ff160 PipelineC: allow signal masking Giacomo Vercesi 2022-07-08 18:03:46 +02:00
  • 7fda1ef459 PipelineC: drop AbortHook Giacomo Vercesi 2022-09-21 10:20:43 +02:00
  • 159fa8558d revng.api: Count owned pointers and shutdown Giacomo Vercesi 2022-09-21 09:44:24 +02:00
  • a935cc3073 revng daemon: switch from hypercorn to uvicorn Giacomo Vercesi 2022-09-08 18:01:10 +02:00
  • 4f5e9c5986 revng.daemon.util: Remove dead code Giacomo Vercesi 2022-09-23 18:41:54 +02:00
  • 981759705e Merge feature/rework-pipeline-containers Pietro Fezzardi 2022-10-03 14:41:12 +02:00
  • fd66c32727 Add Container type registry Massimo Fioravanti 2022-09-08 14:42:48 +02:00
  • f1852166ab Pipeline: reworked cpp container types Massimo Fioravanti 2022-09-07 18:41:04 +02:00
  • 574eb1c22a Merge branch 'feature/rework-pipeline-containers' Alessandro Di Federico 2022-10-03 10:34:52 +02:00
  • 48104c404b Merge feature/dla-compact-arrays Pietro Fezzardi 2022-09-30 18:39:11 +02:00
  • 8d7568710a DLA: add PushDownPointers dla::Step Pietro Fezzardi 2022-09-30 18:33:19 +02:00
  • fbc9844499 DLA: add ResolveLeafUnions dla::Step Pietro Fezzardi 2022-09-22 11:22:43 +02:00
  • 8e75677307 ArrangeAccessesHierarchically: push down pointers Pietro Fezzardi 2022-09-27 10:15:03 +02:00
  • b4e57e2799 DLA: ArrangeAccessesHierarchically uses mergeNodes Pietro Fezzardi 2022-09-22 09:52:41 +02:00
  • cdd6e57a27 DLA: DLATypeSystem::dropOutgoingEdges Pietro Fezzardi 2022-09-22 09:50:57 +02:00
  • 84d427d240 DLAMakeModelTypes: emit Generic instead of Number Pietro Fezzardi 2022-09-21 18:17:00 +02:00
  • 1ccf0bd5df DLA: simplify constructor of DeduplicateFields Pietro Fezzardi 2022-09-22 15:58:19 +02:00
  • ac29a77a70 DLAPass: improve pipeline Pietro Fezzardi 2022-09-21 18:17:25 +02:00
  • 0298db677d DLA: add CompactCompatibleArrays dla::Step Pietro Fezzardi 2022-09-15 11:45:07 +02:00
  • 07dc677196 dla::CollapseSingleChild: remove invalidation Pietro Fezzardi 2022-09-21 00:16:54 +02:00
  • ba54ff36a6 DLA: new isStridedInstance helper Pietro Fezzardi 2022-09-16 08:22:08 +02:00
  • 1bc708fadc Drop postProcessMerge from dla::DeduplicateFields Pietro Fezzardi 2022-09-21 09:28:32 +02:00
  • c5236310a9 Use uint64_t only in dla::OffsetExpression Pietro Fezzardi 2022-09-16 08:15:45 +02:00
  • 31da8c5891 Update to new revng ptml cli Pietro Fezzardi 2022-09-29 18:37:45 +02:00
  • 7e80a509ab Sync rcc v2 fixes Giacomo Vercesi 2022-09-13 14:52:29 +02:00
  • 049ba69d43 Pipeline: containers can now enumerate their kinds feature/rework-pipeline-containers Massimo Fioravanti 2022-09-19 10:59:14 +02:00
  • dc23473d85 Introduce Loader::getRegistered{Pipes,Analyses} Massimo Fioravanti 2022-09-09 16:43:00 +02:00
  • 445bc2aa8c Pipeline: introduce registry for container types Massimo Fioravanti 2022-09-08 14:42:23 +02:00
  • 9363bbd70a Pipeline: every container type has now a C++ type Massimo Fioravanti 2022-09-07 17:03:23 +02:00
  • df68b2c7c0 revng ptml: merge cat and strip Giacomo Vercesi 2022-09-20 16:21:06 +02:00
  • bf4122ed0a Introduce v2 of revng-check-conventions Giacomo Vercesi 2022-07-13 19:13:46 +02:00
  • 688df14d55 MakeModelGEPPass: use caching more often Pietro Fezzardi 2022-09-29 15:14:18 +02:00
  • 9dd0b139c0 PromoteCSVs: helpers no longer return structs Alessandro Di Federico 2022-09-29 10:53:44 +02:00
  • 5a7c120433 Translator: stop translation if leaving +x page Alessandro Di Federico 2022-09-29 09:02:49 +02:00
  • e430891ef6 CCodeGenerator: do not generate %name Alessandro Di Federico 2022-09-27 11:47:05 +02:00
  • da215246f5 Merge branch feature/mass-testing-fixes-1 Pietro Fezzardi 2022-09-27 08:56:34 +02:00
  • 8d4b3833ec InvokeIsolatedFunctions: adopt splitBasicBlockBefore Alessandro Di Federico 2022-09-26 18:04:44 +02:00
  • 3307fb4a46 api.Manager: use TemporaryDirectory if no workdir Alessandro Di Federico 2022-09-23 16:23:24 +02:00
  • 52755aa4b4 TTG: fix temporary file leak in TypeScript backend Alessandro Di Federico 2022-09-23 16:22:33 +02:00
  • df17c199c8 s/object..o/object.o/ Alessandro Di Federico 2022-09-23 14:50:53 +02:00
  • f6d5cd24dd Give pretty names to temporary files Alessandro Di Federico 2022-09-23 14:50:35 +02:00
  • 02c69b0421 TemporaryFile: use RemoveFileOnSignal Alessandro Di Federico 2022-09-23 14:49:42 +02:00
  • c14677b162 RemoveLiftingArtifacts: do not fail, if env is absent Alessandro Di Federico 2022-09-26 17:02:38 +02:00
  • f8867f9220 Give pretty names to temporary files Alessandro Di Federico 2022-09-26 16:52:41 +02:00
  • 2a7f685aa6 MakeModelGEP: use TupleTreeReference::getConst Alessandro Di Federico 2022-09-26 16:52:18 +02:00
  • 692dbeb42a Merge branch 'feature/yield-call-graph-pipeline' Alessandro Di Federico 2022-09-26 13:42:33 +02:00
  • 5190f8f6c8 Yield: move PTML out of assembly namespace Ivan Krysak 2022-09-19 18:09:40 +03:00
  • f0afb1066b Yield: rework testing and add call graph tests Ivan Krysak 2022-09-15 10:28:47 +02:00
  • 6724b6d9cd revng/Yield/Pipes: streamline file naming Ivan Krysak 2022-09-14 12:13:58 +03:00
  • bb37d48dad Yield: introduce YieldCallGraphSlicePipe Ivan Krysak 2022-08-22 09:37:02 +03:00
  • 3cd801dbac SVG: introduce slices-to-SVG converter Ivan Krysak 2022-08-22 09:36:46 +03:00
  • 15f0c816c6 SVG Exporter: adopt ptml::Tag Ivan Krysak 2022-08-22 09:36:02 +03:00
  • 63019a3850 Yield: add a Graph keyword to SVG emitters Ivan Krysak 2022-08-22 09:25:53 +03:00
  • 2e9269caf8 Yield: implement pipes::*::getContract in .h Ivan Krysak 2022-08-22 09:18:26 +03:00
  • 6638055ecf TupleTreeCompatible: drop NotTupleTreeCompatible Ivan Krysak 2022-08-22 09:16:35 +03:00
  • fd994728bd Yield: introduce call graph slicing Ivan Krysak 2022-08-09 10:52:53 +03:00
  • cf5c010a7c Layouter: introduce simple tree specialization Ivan Krysak 2022-08-09 17:48:54 +03:00
  • 7e051e3a23 Layouter: improve configuration documentation Ivan Krysak 2022-08-22 09:19:04 +03:00
  • 0ac31f8e92 Layouter: adopt the new entry detection algorithm Ivan Krysak 2022-08-25 17:29:11 +03:00
  • c7105cda4d GraphAlgorithms: generic entry point detection Pietro Fezzardi 2022-08-31 11:09:39 +02:00
  • b267868356 CFG: fix calculateViewBox for entryless graphs Ivan Krysak 2022-08-09 17:47:09 +03:00
  • 0c7785bc38 Layouter & SVG: improve handling of empty graphs Ivan Krysak 2022-08-09 13:22:17 +03:00
  • 05d1426dca CrossRelations: drop unnecessary serialization Ivan Krysak 2022-08-09 13:21:44 +03:00
  • 3ed1ce9902 Read-only containers: support multiple readers Massimo Fioravanti 2022-08-09 11:50:45 +02:00
  • ed8279fe08 Pipes: introduce a call graph emitting pipe Ivan Krysak 2022-06-21 11:45:59 +03:00
  • c90a49ec56 SVG Exporter: introduce call graph flavour Ivan Krysak 2022-06-27 14:56:24 +03:00
  • db406a8835 PTML: introduce function links Ivan Krysak 2022-07-29 14:26:26 +03:00
  • 4303ed5da6 Layouter: implement non-orthogonal edge support Ivan Krysak 2022-06-27 14:54:52 +03:00
  • 8b01cb0da1 Layouter: increase configuration options Ivan Krysak 2022-06-28 15:52:12 +03:00
  • 7037be8b90 SVG Exporter: improve arrow head customizability Ivan Krysak 2022-06-28 15:37:43 +03:00
  • 172e07f398 Layouter: improve multiple entry graph support Ivan Krysak 2022-06-27 14:54:21 +03:00
  • 53ae25bcde MetaAddress: improve constexpr-friendliness Ivan Krysak 2022-09-14 13:05:41 +03:00
  • 9e098d2c9b GenericGraph: fix trait ordering and add inverse Ivan Krysak 2022-08-24 12:49:50 +03:00
  • 909042a13d AVI: rename ::Edge to avoids name collision Ivan Krysak 2022-08-24 12:49:11 +03:00
  • 60f6abf0eb Ease conventions to allow lines to start with -> Ivan Krysak 2022-08-24 12:51:27 +03:00
  • a5f97fc215 Pipes: prevent non-root ranked file containers Ivan Krysak 2022-06-28 15:36:22 +03:00
  • 00dc8dd477 PTMLTag: fix addListAttribute's requires clause Ivan Krysak 2022-07-29 14:25:48 +03:00
  • 247710648f Minor changes Ivan Krysak 2022-09-14 12:06:03 +03:00
  • 07ff20585c pipeline-analysis: handle 0 functions Alessandro Di Federico 2022-09-22 14:32:34 +02:00
  • 8cf981fbf8 JTM: no assert on indirect jump to invalid address Alessandro Di Federico 2022-09-22 14:31:04 +02:00
  • 7935af70a4 revng_add_executable_internal: force -pie Alessandro Di Federico 2022-09-22 10:43:18 +02:00
  • 011c65d8ab merge-dynamic: drop a default argument Alessandro Di Federico 2022-09-22 10:42:57 +02:00
  • cf62e6dce7 Minor changes Alessandro Di Federico 2022-09-22 10:59:10 +02:00
  • 08afac660b Merge branch 'feature/import-idb' Alessandro Di Federico 2022-09-21 18:45:26 +02:00
  • 85d574b305 test-abi: various fixes Alessandro Di Federico 2022-09-21 14:42:46 +02:00
  • d1bc0405dc LinkForTranslation: add .note.GNU-stack Alessandro Di Federico 2022-09-21 11:39:08 +02:00
  • 2e5a6dc167 model: add tests for import-idb Djordje Todorovic 2022-08-30 17:31:56 +02:00
  • 753a50895c Introduce revng model import-idb Djordje Todorovic 2022-08-29 14:32:59 +02:00
  • 5559d8431b Introduce fix-model model pass Djordje Todorovic 2022-08-29 14:30:48 +02:00
  • 7c900d45ca revng.daemon: fix for ariadne>=0.16 Giacomo Vercesi 2022-09-12 14:04:15 +02:00
  • ca344fdd47 model: Add tests for import-db feature/import-idb Djordje Todorovic 2022-08-30 17:31:56 +02:00
  • a3b44ae65a model: Import idb Djordje Todorovic 2022-08-29 14:32:59 +02:00
  • 9193618fab model: Add fix-model Pass Djordje Todorovic 2022-08-29 14:30:48 +02:00
  • a8af1b9b42 revng.daemon: Fix for ariadne>=0.16 Giacomo Vercesi 2022-09-12 14:04:15 +02:00