Search results

Problem Matching Sets

Status: Open.

#35 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Jun 20, 2016

Missing type checks

Status: Open.

#34 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Jun 20, 2016

Missing Import

Bug

Important

Status: Open.

#33 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Mar 31, 2016

Term Rewriting

Status: Open.

#32 In Whiley/WhileyRewriteLanguage;

· sirinath opened on Mar 14, 2016

Implement Incremental Automaton

Status: Open.

#28 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Dec 10, 2015

Add Test Framework

Status: Open.

#27 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Dec 10, 2015

Optimise state transfer from probe() to apply()

Optimisation

Useful

Status: Open.

#23 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Oct 30, 2015

Improve translateStateUnpack()

Optimisation

Useful

Status: Open.

#22 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Oct 30, 2015

Migrate WyRL Emacs Mode

Refactoring

Useful

Status: Open.

#21 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Oct 30, 2015

Bug with Automaton.Rewrite(int,int)

Bug

Useful

Status: Open.

#11 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Jun 18, 2015

Bug with non-sequential list matching

Bug

Useful

Status: Open.

#10 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Jun 18, 2015

Missing logical AND/OR operators

Feature

Useful

Status: Open.

#9 In Whiley/WhileyRewriteLanguage;

· DavePearce opened on Jun 18, 2015