Giacomo Vercesi
|
025f6d5580
|
Assembly & CFG: fix MIME type
Change the MIME type of the assembly artifact and the svg graphs to the
new naming convention.
|
2022-10-11 17:11:04 +02:00 |
|
Massimo Fioravanti
|
445bc2aa8c
|
Pipeline: introduce registry for container types
|
2022-09-29 15:52:26 +02:00 |
|
Massimo Fioravanti
|
9363bbd70a
|
Pipeline: every container type has now a C++ type
|
2022-09-29 15:51:17 +02:00 |
|
Ivan Krysak
|
6724b6d9cd
|
revng/Yield/Pipes: streamline file naming
|
2022-09-26 12:10:47 +02:00 |
|
Ivan Krysak
|
bb37d48dad
|
Yield: introduce YieldCallGraphSlicePipe
|
2022-09-26 12:09:28 +02:00 |
|
Ivan Krysak
|
63019a3850
|
Yield: add a Graph keyword to SVG emitters
|
2022-09-26 12:08:22 +02:00 |
|
Ivan Krysak
|
2e9269caf8
|
Yield: implement pipes::*::getContract in .h
|
2022-09-26 12:07:54 +02:00 |
|
Ivan Krysak
|
ed8279fe08
|
Pipes: introduce a call graph emitting pipe
|
2022-09-26 10:33:43 +02:00 |
|
Massimo Fioravanti
|
9ce7b1e527
|
Drop Pipe suffix from pipe names
|
2022-08-29 14:45:45 +02:00 |
|
Massimo Fioravanti
|
633f49c1ef
|
Introduce dedicated namespace for kinds and ranks
|
2022-08-29 14:44:53 +02:00 |
|
Ivan Krysak
|
dff7c5f37d
|
Move yield pipes into revngYield
|
2022-08-05 21:46:28 +03:00 |
|