Commit Graph

1429 Commits

Author SHA1 Message Date
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