Search results

Defining a minimal run

Status: Open.

#13 In heron-solver/TESL-Theory;

· hai-nguyen-van opened on Jul 14, 2018

Give alternative characterization for [precedes] operator

enhancement

urgent

Status: Open.

#11 In heron-solver/TESL-Theory;

· hai-nguyen-van opened on Mar 2, 2018

Add future-oriented asynchrony

enhancement

Status: Open.

#7 In heron-solver/TESL-Theory;

· hai-nguyen-van opened on Oct 30, 2017

Use code generation for better performance

Status: Open.

#3 In heron-solver/TESL-Theory;

· hai-nguyen-van opened on May 29, 2017

Define a tactic to derive finite-length runs

Status: Open.

#2 In heron-solver/TESL-Theory;

· hai-nguyen-van opened on May 17, 2017