Commit Graph

6 Commits

Author SHA1 Message Date
Ettore Di Giacinto
7c0f615952 Add import/export 2024-04-14 00:05:19 +02:00
Ettore Di Giacinto
54de6221d1 add start/pause (to improve further) 2024-04-13 00:38:58 +02:00
Ettore Di Giacinto
74b158e9f1 Add status to show the reasoning log 2024-04-13 00:16:28 +02:00
Ettore Di Giacinto
82f1b37ae8 Small ux enhancements 2024-04-12 00:23:55 +02:00
Ettore Di Giacinto
adf649be99 Uniform webui 2024-04-11 23:45:57 +02:00
Ettore Di Giacinto
f85962769a Move views 2024-04-11 00:16:03 +02:00