Search results

Scrollbar hidden behind bottom and top bar

Status: Open.

#21 In LPCIC/elpi-lang;

· lukovdm opened on Nov 3, 2023

wish: search by rule being tried

Status: Open.

#16 In LPCIC/elpi-lang;

· gares opened on May 23, 2023

wish: add timing info to the trace and display it

Status: Open.

#13 In LPCIC/elpi-lang;

· gares opened on Mar 4, 2023

wish: trace browser in a web page

Status: Open.

#12 In LPCIC/elpi-lang;

· gares opened on Mar 4, 2023

wish: less fields in ui

Status: Open.

#11 In LPCIC/elpi-lang;

· gares opened on Mar 4, 2023

wish: remove watcher mode

Status: Open.

#10 In LPCIC/elpi-lang;

· gares opened on Mar 4, 2023

wish: jump to ckauses in the builtin file

Status: Open.

#9 In LPCIC/elpi-lang;

· gares opened on Mar 4, 2023

goals not displayed

Status: Open.

#7 In LPCIC/elpi-lang;

· gares opened on Jan 19, 2023