Merge branch 'eddie/xilinx_srl' into xaig_arrival

This commit is contained in:
Eddie Hung 2019-08-30 10:30:54 -07:00
commit d2d2816f8c
1 changed files with 0 additions and 4 deletions

View File

@ -24,11 +24,7 @@
USING_YOSYS_NAMESPACE USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN PRIVATE_NAMESPACE_BEGIN
// for peepopt_pm
bool did_something;
#include "passes/pmgen/xilinx_srl_pm.h" #include "passes/pmgen/xilinx_srl_pm.h"
#include "passes/pmgen/peepopt_pm.h"
void run_fixed(xilinx_srl_pm &pm) void run_fixed(xilinx_srl_pm &pm)
{ {