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,642 Commits 215 Branches 0 Tags
feature/python-api-graphql
Commit Graph

5 Commits

Author SHA1 Message Date
Ivan Krysak c7fe3b0a42 Improve ABI testing artifact naming 2022-03-28 15:43:34 +02:00
Ivan Krysak 23173aef29 Add a specialized model comparison tool 
It fixes mistreated RFT stack arguments before relying on model passes
for the comparison itself.
 2022-03-28 15:38:04 +02:00
Ivan Krysak fdfaf754c0 Improve ABI test directory name and tags 2022-03-28 15:37:59 +02:00
Alessandro Di Federico 2b55d1df22 Adopt cmake-format 2022-03-17 18:52:18 +01:00
Ivan Krysak 1df6bbc6d6 Introduce ABI testing infrastructure 2022-02-14 13:35:37 +01:00