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
6,113 Commits 215 Branches 0 Tags
feature/python-client
Commit Graph

14 Commits

Author SHA1 Message Date
Alessandro Di Federico 3db971b8b4 Pipeline: invalidate if *any* input is invalidated 
We used to invalidate only if *all* inputs were invalidated.
 2025-05-07 08:36:44 +02:00
Alessandro Di Federico 33cae7de12 Pipeline: reduce usage of Context 2024-09-27 12:07:18 +02:00
Alessandro Di Federico c1cbb4e9a0 Initialize pointers to nullptr 2024-09-27 12:07:17 +02:00
Alessandro Di Federico c8d4381297 s/Context &Ctx/Context &Context/g 2024-09-27 12:07:17 +02:00
Alessandro Di Federico 12a0a89e15 Ensure every pipe commits what it should 
This commit is the final step in ensuring all the pipes commit what they
should. It also asserts this actually happens, enabling us to easily
catch future problems.
 2024-09-27 12:07:16 +02:00
Ivan Krysak 64eb2adb7c Minor improvements 2024-03-18 19:32:34 +01:00
Ivan Krysak 01b4ec36c9 Formatting: set AllowShortEnumsOnASingleLine 
The new value is `false`.
 2023-07-02 13:15:08 +02:00
Massimo Fioravanti d55aa9b9e6 Pipeline: remove * from targets 
Now * is just a pipeline frontend shorthand.
 2022-10-20 14:20:12 +02:00
Massimo Fioravanti 261a114d6d Pipeline: corner-case fix in backward deduction 2022-08-10 09:49:24 +02:00
Ivan Krysak 2a6a7943f4 Fix a couple of minor typos 2022-05-06 18:51:47 +02:00
Massimo Fioravanti 98ecd38162 Drop PureLLVMPipe 
Now LLVM passes can be used directly in an LLVMPipe without specifying a
contract for it.
 2022-02-07 22:24:39 +01:00
Alessandro Di Federico fec5f3537b s/Granularity/Rank/ 2022-02-07 22:24:39 +01:00
Massimo Fioravanti 396095706f Minor changes to revngPipeline 2022-02-07 20:11:15 +01:00
Massimo Fioravanti 70ec456078 Introduce revng-pipeline 2022-01-17 18:17:54 +01:00