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
1c0765644858c5f0257ba623481ea1361a568330
revng-revng/python
T
History
Giacomo Vercesi 1c07656448 pipebox.py: add initialize function 
Add the `initialize` function to `pipebox.py`. This allows passing
command-line arguments to the pipebox.
2025-11-17 10:04:13 +01:00
..
revng
pipebox.py: add initialize function
2025-11-17 10:04:13 +01:00
scripts
python: create python wheels
2023-12-12 14:52:22 +01:00
CMakeLists.txt
Pypeline: replace logging with custom log
2025-11-11 17:15:28 +01:00
wheel-install.sh
python: create python wheels
2023-12-12 14:52:22 +01:00