Search results

Match steps count

Status: Open.

#30 In ravimad/Orb2015;

· ravimad opened on Oct 20, 2016

Disable any simplifications before resource instrumentation

Status: Open.

#28 In ravimad/Orb2015;

· ravimad opened on Aug 23, 2016

There is an issue in using @invisibleBody with multiplication specs

Status: Open.

#23 In ravimad/Orb2015;

· ravimad opened on Jun 6, 2016

Can monotonicity property be automated?

Status: Open.

#12 In ravimad/Orb2015;

· sumith1896 opened on May 19, 2016

Ands and Ors in the input program should be short circuited in Orb

Status: Open.

#2 In ravimad/Orb2015;

· ravimad opened on Apr 18, 2016

Make Orb sound for vals

Status: Open.

#1 In ravimad/Orb2015;

· ravimad opened on Dec 4, 2015