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,115 Commits 215 Branches 0 Tags
feature/no-undefined
Commit Graph

5 Commits

Author SHA1 Message Date
Pietro Fezzardi 6f7de910a6 Enable warning -Wunused-local-typedefs 2021-06-14 23:04:02 +02:00
Alain Carlucci 8e275ed957 ADT: Add SerializableGraph 2021-02-09 22:44:01 +01:00
Massimo Fioravanti 8ba9930638 Invert inheritance of GenericGraph nodes 
GenericGraphs no longer require CRTP.
 2021-01-27 19:46:53 +01:00
Pietro Fezzardi cd9bc34d9d Enforce new include conventions 2020-11-13 10:00:24 +01:00
Alessandro Di Federico d72f69c975 Import GenericGraph 
This commit imports `GenericGraph`, its tests and fixes some related
issues in `FilteredGraphTraits`.
 2020-10-21 10:34:01 +02:00