Alessandro Coglio

## 💥 Proposal - Leo RFC ### Summary Besides the integer types with fixed sizes, we may consider supporting a type that can contain any integer, as done in other...

## 💥 Proposal - Leo RFC ### Summary Instead of just allowing integer values corresponding to "powers of 2" (unsigned and signed), allow types for arbitrary integer ranges. ### Motivation...

## 💥 Proposal - Leo RFC ### Summary Extend the Leo compiler with symbolic reasoning capabilities (theorem proving, model checking, SMT/SAT solving, sound static analysis, etc.) to avoid and detect...

- Add tests for `and`. - Improve and extend tests for `abs`, `abs.w`, `add`, `add.w`.

These are being removed. We can wait to merge this when we finalize removal in he Leo compiler.

In order to keep lexing context-independent (and thus simpler, doable as a first pass prior to parsing, as opposing to having the parser call the lexer to get the next...

These are being removed from Leo. We can wait to merge this until the removal is finalize in the Leo compiler.

It looks like the colon just after ‘ARC-0030’ was confusing the rendered, as colons have significance in separating table cell titles from their contents. Signed-off-by: Alessandro Coglio