All issues

Search results

(For the next version) Consider using mermaidJS to draw the diagrams

Status: Open.

#19 In nuscr/oven;

· fferreira opened on Jul 24, 2023

Improve get_lts in globalLocal.ml

Status: Open.

#18 In nuscr/oven;

· fferreira opened on Jul 14, 2023

Remove List module shadowing

Status: Open.

#17 In nuscr/oven;

· fferreira opened on Jul 14, 2023

Fix recursion so this file can be run from the command line

Status: Open.

#15 In nuscr/oven;

· fferreira opened on Jul 7, 2023

rename globalLocal to semantics

Status: Open.

#14 In nuscr/oven;

· fferreira opened on Nov 18, 2022

Migrate the font of the UI to Atkinson Hyperlegible

Status: Open.

#13 In nuscr/oven;

· fferreira opened on Nov 14, 2022

add a url parameter to load an example by default

Status: Open.

#11 In nuscr/oven;

· fferreira opened on Oct 28, 2022

Consider migrating to Vis.js to render the automata.

Status: Open.

#10 In nuscr/oven;

· fferreira opened on Oct 25, 2022

Improve error messages

Status: Open.

#8 In nuscr/oven;

· fferreira opened on Oct 19, 2022