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
7,705 Commits 215 Branches 0 Tags
develop
Commit Graph

2 Commits

Author SHA1 Message Date
Giacomo Vercesi 6f6cffde3b LocalProvider: add object_id_string to objects 
Add the `object_id_string` to the `objects` table. This is for
debugging purposes as it's hard to figure out what is what with binary
objects ids.
 2026-05-22 09:04:35 +02:00
Giacomo Vercesi d7d87e237a LocalProvider: add migration logic 
Add additional logic to allow the local database to be migrated to newer
versions.
 2026-05-22 09:04:35 +02:00