Alessandro Di Federico
|
5820908675
|
Remove and ban \file
|
2025-12-16 17:41:55 +01:00 |
|
Alessandro Di Federico
|
1e2a55e372
|
Minor changes
|
2024-11-28 13:58:28 +01:00 |
|
Alessandro Di Federico
|
865ffb9892
|
Minor changes
|
2024-09-27 20:45:22 +02:00 |
|
Giacomo Vercesi
|
0cb3e497a4
|
Fix typos
|
2023-11-02 16:48:33 +01:00 |
|
Ivan Krysak
|
7d235f4fd0
|
Enforce licence header consistency
Also do some basic cleanup: capitalize first letters, add `.`
at the end of the sentences, and so on.
|
2023-07-03 15:23:10 +00:00 |
|
Alessandro Di Federico
|
d8230c3e9a
|
revng-pipeline: improve error reporting
|
2022-08-31 18:07:47 +02:00 |
|
Massimo Fioravanti
|
7e75a1a4b8
|
Pipeline: introduce preconditions for pipes
|
2022-08-29 14:44:02 +02:00 |
|
Massimo Fioravanti
|
70ec456078
|
Introduce revng-pipeline
|
2022-01-17 18:17:54 +01:00 |
|