diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-08-19 14:39:39 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-19 14:39:39 +0200 |
commit | b7a46b805bd7fbb3b21a48a035698ab11fadcb7c (patch) | |
tree | ab8787dd0699cfb5a0fa1084719a0375e5b0c85b /README.md | |
parent | refactor: move ITC algorithms (diff) | |
download | refinery-b7a46b805bd7fbb3b21a48a035698ab11fadcb7c.tar.gz refinery-b7a46b805bd7fbb3b21a48a035698ab11fadcb7c.tar.zst refinery-b7a46b805bd7fbb3b21a48a035698ab11fadcb7c.zip |
feat: interruptible VIATRA engine
Reduce server load by introducing a timeout for semantics analysis.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions