Adding XAG resub and improving AIG resub (#658) #1241
linux.yml
on: push
GNU GCC 9
10m 21s
GNU GCC 10
11m 43s
GNU GCC 10 (c++20)
13m 36s
GNU GCC 12
13m 31s
Clang 11
9m 23s
Clang 13
9m 57s
Compile everything (GCC 9)
15m 36s