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
Files
feature/debian-lddtree-support
revng-revng/tests
T
History
Giacomo Vercesi acd498bf25 Pipeline options: restrict to int and strings 
Restrict the type of pipeline options to integers and strings. Rework
the CLOpt mechanism to avoid parsing the string twice.
2023-11-03 12:13:57 +01:00
..
abi
ABI: rewrite the testing suite documentation
2023-11-02 17:10:04 +01:00
pipeline
Add components to revng cli driver
2023-08-23 17:45:36 +02:00
tuple-tree-generator
model/_util.py: move into tupletree.py
2023-09-14 15:44:32 +02:00
unit
Pipeline options: restrict to int and strings
2023-11-03 12:13:57 +01:00
CMakeLists.txt
Switch to new testsuite
2022-06-20 19:04:18 +02:00