Merge branch 'redist_slack' into 'redist_slack'

# Conflicts: # common/timing.cc
2018-07-21 19:03:23 +00:00 · 2018-07-21 19:03:23 +00:00 · 1f6897733b
commit 1f6897733b
parent b2452f4646 3eecccc6f7
1 changed files with 2 additions and 0 deletions
--- a/common/timing.cc
+++ b/common/timing.cc
@ -216,10 +216,12 @@ void update_budget(Context *ctx)
            auto it = updates.find(pi);
            if (it == updates.end()) continue;
            user.budget = delays.at(pi) + it->second;
+
            // HACK HACK HACK
            if (net.second->driver.port == ctx->id("COUT"))
                user.budget = 0;
            // HACK HACK HACK
+
            // Post-update check
 //            if (user.budget < 0)
 //                log_warning("port %s.%s, connected to net '%s', has negative "