871931b9cd
Test TupleTreeDiff on Model
...
`TupleTreeDiff` was not being tested.
This commit implements several `operator==` that are required to
successfully instantiate `TupleTreeDiff`.
2021-05-06 15:42:16 +02:00
e62f888381
Drop KeyTraits
...
This commit drops the KeyTraits in favor of a std::any-like solution.
Basically, we type erase any key the user wants to employ, just exposing
a virtual version of the destructor, a comparison operator and a clone
primitive.
2021-05-06 15:42:00 +02:00
582dee6fcc
TupleTree: support UpcastablePointer
2021-05-05 17:10:12 +02:00
50681284c0
Conceptify revng
...
Use concepts across revng wherever possible, to keep the code concise
and easier to understand.
2021-05-05 17:10:12 +02:00
f3d755e0ff
TupleTree*.h: add missing include
2021-02-08 12:25:34 +01:00
38031f2f8a
Import preliminary model
...
This commit imports:
* support for (de-)serializing tuple-like objects in YAML
* the Model data structure
* the {Load,Serialize}ModelPass
2021-01-27 19:46:53 +01:00
Alessandro Di Federico