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
1,402 Commits 215 Branches 0 Tags
feature/generic-register-function-arguments
Commit Graph

2 Commits

Author SHA1 Message Date
Alessandro Di Federico 0d7decccb3 s/revng-dump-model/revng-model-to-json/ 2022-01-31 16:28:17 +01:00
Alessandro Di Federico 777adcbd45 model::Binary: add segments and imported libraries 
Now, `scripts/revng` uses the model and we no longer need to emit
.li.csv and .need.csv.
 2021-12-22 17:47:54 +01:00