diff options
author | 2023-08-19 14:39:39 +0200 | |
---|---|---|
committer | 2023-08-19 14:39:39 +0200 | |
commit | b7a46b805bd7fbb3b21a48a035698ab11fadcb7c (patch) | |
tree | ab8787dd0699cfb5a0fa1084719a0375e5b0c85b /build.gradle.kts | |
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 'build.gradle.kts')
0 files changed, 0 insertions, 0 deletions