Issues

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

  nuscr/oven#19 · Filter by author fferreira opened on Jul 24, 2023

• Improve get_lts in globalLocal.ml

  nuscr/oven#18 · Filter by author fferreira opened on Jul 14, 2023
  1

• Remove List module shadowing

  nuscr/oven#17 · Filter by author fferreira opened on Jul 14, 2023
  

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

  nuscr/oven#15 · Filter by author fferreira opened on Jul 7, 2023

• rename globalLocal to semantics

  nuscr/oven#14 · Filter by author fferreira opened on Nov 18, 2022

• Migrate the font of the UI to Atkinson Hyperlegible

  nuscr/oven#13 · Filter by author fferreira opened on Nov 14, 2022

• add a url parameter to load an example by default

  nuscr/oven#11 · Filter by author fferreira opened on Oct 28, 2022

• Consider migrating to Vis.js to render the automata.

  nuscr/oven#10 · Filter by author fferreira opened on Oct 25, 2022

• Improve error messages

  nuscr/oven#8 · Filter by author fferreira opened on Oct 19, 2022