Alessandro Di Federico
|
70fc29b201
|
[FIXUP] Reorganize deserialize_multiple_versions tests
|
2022-02-23 16:50:58 +01:00 |
|
Alessandro Di Federico
|
6acbf1c71c
|
Fix revng/model/README.md
|
2022-02-23 16:50:06 +01:00 |
|
Alessandro Di Federico
|
dad6b781a6
|
[REWORD] Apply black
|
2022-02-23 16:45:21 +01:00 |
|
Alessandro Di Federico
|
743d3c4877
|
[REWORD] Do not run clang-format and friends twice
|
2022-02-23 16:45:02 +01:00 |
|
Alessandro Di Federico
|
c74f7fdbb1
|
Reorganize deserialize_multiple_versions tests
|
2022-02-23 15:28:41 +01:00 |
|
Alessandro Di Federico
|
87a2e12883
|
Reorganize TTR's CMake
|
2022-02-23 15:00:52 +01:00 |
|
Alessandro Di Federico
|
5f84456bc3
|
Fix revng script bug
|
2022-02-23 14:58:36 +01:00 |
|
Alessandro Di Federico
|
11a9314dd6
|
Drop dead code in jsonschema.py
|
2022-02-23 14:03:53 +01:00 |
|
Alessandro Di Federico
|
7b8e34bd6c
|
Do not COPY_ONLY Python executables
|
2022-02-23 14:03:30 +01:00 |
|
Alessandro Di Federico
|
2572f6b2bd
|
Add license header
|
2022-02-23 14:02:36 +01:00 |
|
Alessandro Di Federico
|
927f09a905
|
Revert "Use BYPRODUCTS after POST_BUILD copy"
This reverts commit 6907863c25.
|
2022-02-23 13:45:07 +01:00 |
|
Alessandro Di Federico
|
6907863c25
|
Use BYPRODUCTS after POST_BUILD copy
|
2022-02-23 13:45:04 +01:00 |
|
Alessandro Di Federico
|
dd2a9f2b64
|
grandiso is a dependency
|
2022-02-23 10:11:07 +01:00 |
|
Alessandro Di Federico
|
607a005742
|
mv include/revng/{Model,TupleTree}/EnumTraits.h
|
2022-02-23 09:55:45 +01:00 |
|
Alessandro Di Federico
|
89d8d277f7
|
[FIXUP] Drop tags
|
2022-02-23 09:50:30 +01:00 |
|
Alessandro Di Federico
|
f661322cde
|
[FIXUP] Fix CMake comments
|
2022-02-23 09:40:27 +01:00 |
|
Alessandro Di Federico
|
e67ef146df
|
Drop pip-pippone
|
2022-02-23 09:38:34 +01:00 |
|
Filippo Cremonese
|
b209e09374
|
python-model: Support importing multiple versions
|
2022-02-22 18:20:12 +01:00 |
|
Filippo Cremonese
|
07fe830202
|
python-model: Generation from model jsonschema
|
2022-02-22 18:20:12 +01:00 |
|
Filippo Cremonese
|
5262997b4a
|
Fix revng script imports
Add missing log_error include, remove other unused includes
|
2022-02-22 18:20:12 +01:00 |
|
Filippo Cremonese
|
9919bb9bde
|
Move python scripts to modules
|
2022-02-22 18:20:12 +01:00 |
|
Filippo Cremonese
|
0641b12bb0
|
Reformat python scripts
The python sources in /scripts were reformatted using `black`:
black -l100 sources
|
2022-02-22 18:20:12 +01:00 |
|
Filippo Cremonese
|
40133b74a0
|
tuple-tree-gen: address model references
|
2022-02-22 18:20:00 +01:00 |
|
Filippo Cremonese
|
cbda431b44
|
model: Support jsonschema emission
|
2022-02-22 18:19:39 +01:00 |
|
Filippo Cremonese
|
7767db2198
|
model-to-json: Do not print exception on SIGINT
|
2022-02-22 18:19:39 +01:00 |
|
Filippo Cremonese
|
f04c1fb95a
|
model: use EnumType and UnionType as tags
|
2022-02-22 18:19:39 +01:00 |
|
Alessandro Di Federico
|
3417703ae8
|
Merge branch 'feature/generic-register-function-arguments'
|
2022-02-14 19:11:46 +01:00 |
|
Alessandro Di Federico
|
b7f5884f8c
|
DynamicFunction::name: no OriginalName direct use
|
2022-02-14 17:54:32 +01:00 |
|
Ivan Krysak
|
1df6bbc6d6
|
Introduce ABI testing infrastructure
|
2022-02-14 13:35:37 +01:00 |
|
Ivan Krysak
|
a122ff0431
|
Introduce register state deduction unit tests
|
2022-02-14 13:35:37 +01:00 |
|
Ivan Krysak
|
242b885a78
|
Remove obsolete ABI utilities
|
2022-02-14 13:35:37 +01:00 |
|
Ivan Krysak
|
371f5c4555
|
Implement ABI-based register state deductions
This will help EarlyFunctionAnalysis in providing more accurate results,
in case assumptions about the ABI can be made.
|
2022-02-14 13:35:37 +01:00 |
|
Ivan Krysak
|
9771ae29d6
|
Move RegisterState to ABI
|
2022-02-14 13:35:37 +01:00 |
|
Ivan Krysak
|
cafe44097b
|
ABI: introduce default function type generation
|
2022-02-14 13:35:37 +01:00 |
|
Ivan Krysak
|
8d876b0def
|
ABI: introduce bulk function conversion
|
2022-02-14 13:35:37 +01:00 |
|
Ivan Krysak
|
e20e65ca9a
|
Require a description when registering a pass
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
7369e49eba
|
Implement "best effort" function type convertion
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
5c671e8446
|
Add abi::Trait specialization for s390x ABI
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
75c00f5112
|
Add abi::Trait specialization for mips ABI
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
c9daab2ce4
|
Add abi::Trait specializations for arm ABIs
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
4069d547b6
|
Add abi::Trait specializations for x86 ABIs
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
756d0f7376
|
Add abi::Trait specializations for x86_64 ABIs
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
d30c4c54fb
|
Introduce trait to describe ABIs
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
68129c9221
|
Add model::Binary::DefaultABI field
|
2022-02-14 13:35:36 +01:00 |
|
Ivan Krysak
|
d108f7f049
|
Extend model::ABI enumeration
|
2022-02-14 11:28:36 +01:00 |
|
Ivan Krysak
|
c14567e3d0
|
Make TupleTree::visitReferences public
|
2022-02-14 11:28:36 +01:00 |
|
Ivan Krysak
|
fd3e7243c1
|
Remove an unused parameter from TupleTree::clone
|
2022-02-14 11:28:36 +01:00 |
|
Ivan Krysak
|
ec625e8533
|
Define architecture-specific register access
|
2022-02-14 11:28:36 +01:00 |
|
Ivan Krysak
|
9b7eb76ac4
|
Introduce enumSwitch
|
2022-02-14 11:28:36 +01:00 |
|
Ivan Krysak
|
a67bc8d1a6
|
revng-model-diff: return error on mismatch
|
2022-02-14 10:57:30 +01:00 |
|