Lib.rs

› Development tools
#intermediate-representation #air #symbolic #assembly #values #tnj

air-sym

Symbolic representation for the TNJ Assembly Intermediate Representation (AIR)

Owned by martin-fink.

1 unstable release

0.1.0 Aug 26, 2024

#712 in Development tools

Download history 106/week @ 2024-08-20 59/week @ 2024-08-27 4/week @ 2024-09-03

169 downloads per month
Used in tnj-air

GPL-3.0-or-later

67KB
1.5K SLoC

Symbolic Values.

Dependencies

~285–740KB
~17K SLoC