diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-08-20 19:41:32 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-20 20:29:02 +0200 |
| commit | a3f1e6872f4f768d14899a1e70bbdc14f32e478d (patch) | |
| tree | b2daf0c81724f31ee190f5d63eb42988086dabf2 /subprojects/store | |
| parent | fix: nullary model initialization (diff) | |
| download | refinery-a3f1e6872f4f768d14899a1e70bbdc14f32e478d.tar.gz refinery-a3f1e6872f4f768d14899a1e70bbdc14f32e478d.tar.zst refinery-a3f1e6872f4f768d14899a1e70bbdc14f32e478d.zip | |
feat: improve semantics error reporting
Also makes model seeds cancellable to reduce server load during semantic
analysis.
Diffstat (limited to 'subprojects/store')
0 files changed, 0 insertions, 0 deletions