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/crash-handler
revng-revng/python/revng
T
History
Giacomo Vercesi e43e720a35 revng daemon: allow setting exposed CORS headers 
Add the enviroment variable `REVNG_EXPOSE_HEADERS` for `revng daemon` to
allow customizing the headers exposed via CORS.
2023-09-06 16:12:43 +02:00
..
api
revng: introduce S3 support
2023-09-06 15:23:43 +02:00
cli
revng daemon: allow setting exposed CORS headers
2023-09-06 16:12:43 +02:00
daemon
revng daemon: allow setting exposed CORS headers
2023-09-06 16:12:43 +02:00
model
model::Type::ID: switch to progressive IDs
2023-08-23 16:14:04 +02:00
support
revng.cli: centralize collect_pipelines
2023-08-23 17:45:36 +02:00
__init__.py
Turn Python scripts into modules
2022-02-23 18:02:42 +01:00
tupletree.py
model::Type::ID: switch to progressive IDs
2023-08-23 16:14:04 +02:00