Default Branch

27bd08e613 · Merge branch 'feature/detect-abi-inline-helpers' · Updated 2026-06-19 13:36:17 +00:00

Branches

cc7085f485 · s|ld.so|/lib64/ld-linux-x86-64.so.2| · Updated 2024-04-03 12:27:01 +00:00    admin

4560
2

b8dd91f63d · Merge branch 'feature/revng-c-fixes-tier-2' · Updated 2024-03-19 15:15:06 +00:00    admin

4561
1

dace089658 · EFA: improve robustness against non-existent FSO · Updated 2024-03-18 16:23:57 +00:00    admin

4613
21

5894201920 · Yield: update model-tutorial.md · Updated 2024-03-18 16:23:07 +00:00    admin

4587
0
Included

d02e338d23 · ToCFT: fix last stack argument verification · Updated 2024-03-15 14:27:14 +00:00    admin

4624
8

d21aadfdd0 · docs: document binary installation · Updated 2024-02-29 16:03:04 +00:00    admin

4644
0
Included

a0d8c0dd43 · Model ::size(): do not suspend tracking · Updated 2024-02-21 16:56:18 +00:00    admin

4649
12

b21ff0bd2a · Merge branch 'feature/msvc-abi-testing' · Updated 2024-02-09 16:05:50 +00:00    admin

4649
0
Included

b0b1f10e72 · ABI: move ToCABIFunctionType analysis to revng · Updated 2024-02-09 15:24:44 +00:00    admin

4650
0
Included

2330d5f4d0 · ABI: prevent emission of unsupported primitives · Updated 2024-02-09 09:01:32 +00:00    admin

4728
29

b34031f828 · Import sections into segment's struct · Updated 2024-02-08 15:57:40 +00:00    admin

4727
0
Included

a5b6593bb9 · Import docs · Updated 2024-02-06 17:30:08 +00:00    admin

4728
21

bbfe585ffb · Allow multiple LLVM lit configuration files · Updated 2024-01-30 15:47:46 +00:00    admin

4762
1

e0eb1e1b6b · Fix: minor change in python syntax · Updated 2024-01-02 10:14:56 +00:00    admin

4787
3

b6d1f178fd · FunctionStringMap: UncompressedSize in index · Updated 2023-12-13 13:45:10 +00:00    admin

4792
0
Included

8504a96020 · RawFunctionType: use NamedTypedRegister for return · Updated 2023-12-11 11:03:45 +00:00    admin

4818
0
Included

0c1b5ac569 · Pass PlainMetaAddress by pointer · Updated 2023-12-06 17:21:45 +00:00    admin

4820
10

8ca2c3b048 · Fix semantics of model::Types purging passes · Updated 2023-12-05 14:46:44 +00:00    admin

4827
6

540b87e2ff · EnforceABI step: reduce work done by InlineHelpers · Updated 2023-11-21 14:15:29 +00:00    admin

4827
5

06924d49e8 · tmp · Updated 2023-11-03 17:11:22 +00:00    admin

4838
1