Search results

Use Interpreter.GetTacnyResultList() in Extension

enhancement

ide

Status: Open.

#46 In ggrov/tacny;

· LonMcGregor opened on Oct 12, 2016

Extension Crashing when running DARe

bug

ide

Status: Open.

#45 In ggrov/tacny;

· LonMcGregor opened on Sep 14, 2016

Dafny Contract Failures

bug

Status: Open.

#44 In ggrov/tacny;

· LonMcGregor opened on Aug 31, 2016

Refactorying TODO

Status: Open.

#43 In ggrov/tacny;

· lyhlbyl opened on Aug 24, 2016

Return types for tactics

Status: Open.

#27 In ggrov/tacny;

· Tapanito opened on May 12, 2016

A nicer syntax for perm

enhancement

Status: Open.

#18 In ggrov/tacny;

· ggrov opened on Dec 9, 2015

Add support for inline syntax for decreases/invariant calls

Status: Open.

#15 In ggrov/tacny;

· Tapanito opened on Oct 29, 2015

method calls from bound variable

enhancement

Status: Open.

#13 In ggrov/tacny;

· ggrov opened on Oct 2, 2015

Add support for proven tactic combinator

enhancement

Status: Open.

#11 In ggrov/tacny;

· ggrov opened on Aug 4, 2015