admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
6,044 Commits 215 Branches 0 Tags
feature/automatic-dynamic-function-names
Commit Graph

6 Commits

Author SHA1 Message Date
Ivan Krysak f070f1f1e1 Model: sunset double name system 2025-04-17 11:19:17 +03:00
Alessandro Di Federico 670b519973 model compare: fix typos 2024-08-16 16:33:10 +02:00
Alessandro Di Federico d28bc717c6 model compare: report best match upon failure 2024-08-16 13:36:19 +02:00
Ivan Krysak 23aed24be1 Model: make compare key-strict 
Before now it only looked at `ID`s which made it incompatible with
models that reuse the same ID for different kinds.
 2024-06-27 11:05:50 +02:00
Ivan Krysak ac587cbb4f Model: rename Type into TypeDefinition 2024-06-27 11:05:48 +02:00
Giacomo Vercesi 942cf50735 python: create python wheels 
Package revng's python code in two wheels: `revng` and `revng_internal`.
The revng wheel contains the
`revng.{pipeline_description,model,tupletree}` modules, while the
`revng_internal` one everything under `revng.internal`.
 2023-12-12 14:52:22 +01:00