revng-revng

mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00

Files

T

History

Giacomo Vercesi 2f0f320711 revng2 project init: fix for non-local providers

Fix the `revng2 project init` command to work with all
`StorageProvider`s, not just the local one. It still specializes for the
local one to allow creating the model file.

2026-05-22 09:04:35 +02:00

api

Apply revng check-conventions --force-format

2025-09-10 12:05:14 +02:00

cli

revng2 project init: fix for non-local providers

2026-05-22 09:04:35 +02:00

daemon

daemon: improve logging

2025-10-28 11:43:22 +01:00

support

configuration: drop redundant yaml.safe_load

2026-05-15 11:27:33 +02:00

__init__.py

python: autogenerate module version for wheels

2025-07-15 10:46:19 +02:00

pipebox.py

BinaryIdentifier: s/.Name/.CanonicalPath/g

2026-04-23 13:40:42 +02:00

pipeline.yml

Add Clift local variable scope tightening

2026-05-13 15:32:34 +02:00

py.typed

python: create python wheels

2023-12-12 14:52:22 +01:00

pyproject.toml

revng: allow execution while in a venv

2026-01-29 14:54:24 +01:00

README.md

Prepare CMakeLists for pypeline merge

2025-09-10 12:05:15 +02:00