|
|
d62fa6fe60
|
feat(air): introduce explicit types for generation numbers (#530)
---------
Co-authored-by: vms <michail.vms@gmail.com>
Co-authored-by: Anatolios Laskaris <github_me@nahsi.dev>
|
2023-04-10 12:07:50 +01:00 |
|
|
|
0226c062f8
|
feat!(execution-engine): Store call executed values as CIDs in the data (#401)
The trace stores CID strings for call result values. These strings are to be resolved to real values with `InterpreterData::cid_store` map.
|
2022-12-26 15:45:14 +07:00 |
|
|
|
004ce10abd
|
Make unstable clippy happy with clippy --fix (#402)
Most of changes either move variables into `format!` templates
or remove excessive clones.
|
2022-12-12 22:37:05 +07:00 |
|
|
|
a60b61e1a1
|
fix(execution-engine): save order between current generations (#366)
Co-authored-by: Valery Antopol <valery.antopol@gmail.com>
|
2022-10-12 04:29:31 +03:00 |
|
|
|
bf8aee7f15
|
fix(execution-engine): fix invalid iteration over stream (#362)
This PR is mostly a revertion of #357, that is needed to make stream work correctly in fold itrerations.
Closes #363.
|
2022-10-11 01:41:22 +03:00 |
|
|
|
910f1665eb
|
fix(trace-handler): fix fold and canon compatibility (#357)
Fixes bug of traces divergence when `canon` is used inside `fold`.
Closes #356.
|
2022-10-09 12:56:12 +03:00 |
|
|
|
4a2e8be178
|
refactor(parser): use AirPos type for AIR script position (#341)
Use a dedicated wrapper type for better type safety and self-documented code.
|
2022-09-29 00:16:37 +03:00 |
|
|
|
1cb6901caa
|
Populate restricted streams generations from data (#301)
|
2022-09-05 17:57:26 +03:00 |
|
|
|
c00b453a48
|
Remove RefCell from streams (#227)
|
2022-03-03 19:09:48 +03:00 |
|
|
|
9fb085b6d6
|
Check call arguments at the beggining (#215)
|
2022-02-16 23:34:15 +03:00 |
|
|
|
f69b5aa728
|
Refactor execution errors (#198)
|
2021-12-21 11:37:35 +03:00 |
|
|
|
5cd45385b4
|
Introduce restriction operator for streams (#172)
|
2021-11-24 17:57:14 +03:00 |
|
