Search results

Display errors from Why3

Status: Open.

#15 In xldenis/whycode;

· manmatteo opened on Oct 10, 2023

move off linol

Status: Open.

#14 In xldenis/whycode;

· xldenis opened on May 3, 2023

Display Error pop up if a session failed to load

Status: Open.

#10 In xldenis/whycode;

· xldenis opened on Mar 24, 2023

Auto-start existing sessions

Status: Open.

#8 In xldenis/whycode;

· xldenis opened on Mar 24, 2023

Close sessions when relevant files are closed

Status: Open.

#7 In xldenis/whycode;

· xldenis opened on Mar 24, 2023

Implement dirty flag check for sessions

Status: Open.

#6 In xldenis/whycode;

· xldenis opened on Mar 24, 2023

Add support for <code>cargo creusot</code>

Status: Open.

#5 In xldenis/whycode;

· xldenis opened on Mar 23, 2023

Adding a Transformation Runner

Status: Open.

#3 In xldenis/whycode;

· xldenis opened on Mar 23, 2023

Adding Task View

Status: Open.

#2 In xldenis/whycode;

· xldenis opened on Mar 23, 2023