7d235f4fd0
Enforce licence header consistency
...
Also do some basic cleanup: capitalize first letters, add `.`
at the end of the sentences, and so on.
2023-07-03 15:23:10 +00:00
de976fab13
Externalize ModelWrapper::get*Model
2022-12-09 09:07:16 +01:00
5bdce4bf36
LoadModelPass: support command-line path
...
It is now possible to load a model from file instead of the one written
in the module itself:
revng opt --model-path=<path>
2022-03-28 12:17:05 +02:00
0a5d2c04a7
Rework LoadModelPass
2022-03-08 15:04:34 +01:00
b982b69c5d
revng-model-inject: support model-less modules
...
Inject is meant to inject a model into an `llvm::Module`, but it fails
when operating on a Module that had no model metadata.
This commit fixes the bug.
2022-03-02 15:40:27 +01:00
fdfeb2b6e9
LoadModelPass: support for external model
2022-01-05 14:45:01 +01:00
3d38451abd
Enable error checking on Model deserialization
...
This commit changes the `TupleTree::deserialize` method to return an
`llvm::ErrorOr<TupleTree>`, enabling users to choose their policies on
error reporting.
2021-09-02 14:42:51 +02:00
9650369fa7
Import TupleTree and TupleTreeReference
2021-05-05 17:10:12 +02:00
90c93bfc26
Do not include PassSupport.h directly
2021-04-22 18:06:27 +02:00
c2d6631216
LoadModelPass: support new pass manager
2021-03-16 11:55:58 +01:00
645484f699
LoadModelPass: add static function to read Model
2021-02-17 11:37:00 +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
Ivan Krysak