aqua/model
InversionSpaces 8ba7021cd4
refactor(semantics): Refactor semantics to produce concrete tags [fixes LNG-201] (#776)
* Introduce IfTag, TryTag; Remove XorTag

* Add IfTag, TryTag inlining

* Fix test compilation

* Fix test

* Hack to fix topology

* Support try otherwise syntax

* Add comments

* Refactor diff show

* Handle ParTag.Par in single check, add tests
2023-06-29 16:20:47 +00:00
..
inline/src refactor(semantics): Refactor semantics to produce concrete tags [fixes LNG-201] (#776) 2023-06-29 16:20:47 +00:00
raw/src/main/scala/aqua/raw refactor(semantics): Refactor semantics to produce concrete tags [fixes LNG-201] (#776) 2023-06-29 16:20:47 +00:00
res/src/main/scala/aqua/res fix: ParRes with no children converted to Null log (#699) 2023-04-19 12:14:46 +03:00
src/main/scala/aqua/model refactor(semantics): Refactor semantics to produce concrete tags [fixes LNG-201] (#776) 2023-06-29 16:20:47 +00:00
transform refactor(compiler): Refactor Topology (#754) 2023-06-19 17:10:25 +02:00
tree/src/main/scala/aqua/tree refactor(semantics): Refactor semantics to produce concrete tags [fixes LNG-201] (#776) 2023-06-29 16:20:47 +00:00