fluencelabs/aquavm
AquaVM interprets AIR – a π-calculus-derived set of instructions that the Aqua language compiles to
RustAGPL-3.0
Issues
- 0
Dependency Dashboard
#310 opened by renovate - 0
- 0
- 1
bug: ... state ... incompatible with expected `ap`
#632 opened by monoid - 1
Checked arithmetics for TracePos
#275 opened by monoid - 0
Distributed gas
#254 opened by mikevoronov - 2
Bug: incompatible states in trace handler
#204 opened by mikevoronov - 0
Reduce stream usage scope
#297 opened by mikevoronov - 0
- 0
- 0
Refactor ap state and merger
#355 opened by mikevoronov - 0
Variable names interning
#246 opened by mikevoronov - 0
Bug: canon misnterprets some states in the trace handler as incompatible
#348 opened by ValeryAntopol - 0
- 0
- 0
Change behaviour of fold over stream
#333 opened by mikevoronov - 1
Generate states for ap instruction
#326 opened by mikevoronov - 1
Introduce instruction `never`
#334 opened by mikevoronov - 0
Bug: ap with canon uses incorrect position
#331 opened by mikevoronov - 0
Use sanitizers in CI
#247 opened by mikevoronov - 0
Introduce new type for trace positions
#272 opened by monoid - 0
Introduce length functor
#315 opened by mikevoronov - 0
Bug: fold fails on an empty canonicalized stream
#306 opened by mikevoronov - 0
Bug: join behavior on fold on canonized stream
#304 opened by monoid - 1
- 0
- 0
- 0
Refactor `call` triplets
#267 opened by mikevoronov - 0
Bug: ap doesn't update new_to_old_pos structure
#221 opened by mikevoronov - 0
`air_parser::ast::instruction_argument::Value` is incorrectly Display'ed in certain case
#263 opened by monoid - 9
Pre-release naming convention
#261 opened by Stargateur - 0
Introduce new for non iterable scalars
#245 opened by mikevoronov - 0
Introduce keyword %ttl%
#252 opened by mikevoronov - 0
Introduce keyword %timestamp%
#249 opened by mikevoronov - 1
- 0
- 0
Show instruction when logging join
#237 opened by folex - 0
Remove wasm-bindgen target
#234 opened by mikevoronov - 0
Add ability for fold to iterate over `[]`
#229 opened by mikevoronov - 0
Recursive streams
#223 opened by mikevoronov - 0
Bug: improper work with json path in tetraplets
#219 opened by mikevoronov - 0
Bug: inproper data handling in ap
#216 opened by mikevoronov - 0
- 0
- 0
Bug: match doesn't work with empty arrays
#206 opened by mikevoronov - 0
Support scalars in fail instruction
#203 opened by mikevoronov - 2
Refactor execution errors
#197 opened by mikevoronov - 0
Introduce fail instruction
#195 opened by mikevoronov - 0
Support scalars in lambda
#191 opened by mikevoronov - 0