Search results

2 tests fail: tests.py::test_rumur[True-False-smt-bv-add.m-debug, tests.py::test_rumur[False-True-smt-record-bool-field2.m-XML]

Status: Open.

#289 In Smattr/rumur;

· yurivict opened on Jan 6, 2025

graphviz output

enhancement

Status: Open.

#201 In Smattr/rumur;

· Smattr opened on Aug 2, 2020

complex ruleset parameters

enhancement

Status: Open.

#200 In Smattr/rumur;

· Smattr opened on Jul 18, 2020

'undefined' keyword

Status: Open.

#198 In Smattr/rumur;

· Smattr opened on Jul 10, 2020

multithreaded liveness check

enhancement

Status: Open.

#177 In Smattr/rumur;

· Smattr opened on Dec 14, 2019

use clock_gettime instead of gettimeofday

Status: Open.

#162 In Smattr/rumur;

· Smattr opened on Oct 1, 2019

rumur-run: avoid using file system if possible

enhancement

Status: Open.

#154 In Smattr/rumur;

· Smattr opened on Sep 14, 2019

traversal abort

enhancement

Status: Open.

#152 In Smattr/rumur;

· Smattr opened on Sep 11, 2019

state compression

enhancement

Status: Open.

#135 In Smattr/rumur;

· Smattr opened on Jun 6, 2019

handle wider scalar types

enhancement

Status: Open.

#132 In Smattr/rumur;

· Smattr opened on Jun 1, 2019

minimal trace mode

enhancement

Status: Open.

#131 In Smattr/rumur;

· Smattr opened on Jun 1, 2019

SIMD

optimisation

Status: Open.

#87 In Smattr/rumur;

· Smattr opened on Nov 29, 2018