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

4 Commits

Author SHA1 Message Date
Giacomo Vercesi 52a5c700e1 revng-check-conventions: add shellcheck 
Add bash script checks with shellcheck + `set` rule.
Also, all existing bash scripts have been fixed.
 2022-04-20 09:54:51 +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 974229b171 Optimize the ABI testing script 2022-03-28 15:38:01 +02:00
Ivan Krysak 1df6bbc6d6 Introduce ABI testing infrastructure 2022-02-14 13:35:37 +01:00