Ecdar / Ecdar/Ecdar-GUI-Web

[Feature] globalstate engines should use localstorage / indexedDB

Open
#173 0 comments 0 reactions 0 assignees View on GitHub
enhancement
Dominant language
TypeScript
Stars
2
Forks
0
PR merge metrics
No merged PRs in 30d

Description

### Description

The engines should be saved to the local system, such that it does not need to be recreated every time the application is accessed.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.