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

3 Commits

Author SHA1 Message Date
Giacomo Vercesi d81dc49809 revng-check-conventions: license check 2022-04-20 09:55:18 +02:00
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
Filippo Cremonese 70a460c46a TupleTreeGenerator: use dataclasses 
Give up on pydantic.
 2022-03-22 17:52:02 +01:00