Search results

Long sequences of sync events can overflow

bug

Status: Open.

#226 In bprail/contech;

· bprail opened on Dec 2, 2025

indicate success / failure

Status: Open.

#224 In bprail/contech;

· bprail opened on Nov 24, 2023

bbTime: bbDelta.cpp:89: virtual void BBDeltaBackend::updateBackend(contech::Task*): Assertion `currTime >= prevTime' failed.

Status: Open.

#223 In bprail/contech;

· lantern9 opened on Apr 27, 2022

Add support for isEmpty() to action collections

bug

enhancement

Status: Open.

#222 In bprail/contech;

· bprail opened on Apr 2, 2022

Update Contech to use new pass management system

enhancement

Status: Open.

#220 In bprail/contech;

· bprail opened on Apr 14, 2020

Failing on C++ Unreachable Sequences

bug

Status: Open.

#216 In bprail/contech;

· bprail opened on Aug 22, 2019

Long time to instrument

bug

Status: Open.

#215 In bprail/contech;

· bprail opened on Dec 4, 2018

Tail Duplicate Realistic

enhancement

Status: Open.

#214 In bprail/contech;

· bprail opened on Oct 22, 2018

Investigate LLVM Analysis Support

question

Status: Open.

#213 In bprail/contech;

· bprail opened on Oct 22, 2018

Integrate RAC Passes

enhancement

Status: Open.

#212 In bprail/contech;

· bprail opened on Oct 22, 2018

Test IO Approaches

question

Status: Open.

#211 In bprail/contech;

· bprail opened on Oct 22, 2018

Use-def for RAC

enhancement

Status: Open.

#210 In bprail/contech;

· bprail opened on Oct 22, 2018