This repository was archived by the owner on Oct 28, 2022. It is now read-only.

First Order Uncurrying Analysis#79

Open

tramhnt99 wants to merge 30 commits intomasterfrom

Commits on Jul 6, 2021

tagging var + expr v0 + debugging messages
Tram Hoang
committed
build fix
Tram Hoang
committed
merge master
Tram Hoang
committed

Commits on Jul 7, 2021

Remove var/expr tagging
Tram Hoang
committed

Commits on Jul 10, 2021

analysis that finds totally applied funcs in cmod
Tram Hoang
committed

Commits on Jul 12, 2021

invalidate functions that are used as arguments
Tram Hoang
committed
Merge branch 'master' into uc_first_order
Tram Hoang
committed

Commits on Jul 15, 2021

WIP tagged functions
Tram Hoang
committed

Commits on Jul 19, 2021

transformed expr+stmts+libs+cmod + analysis on Bind
Tram Hoang
committed
refactor
Tram Hoang
committed
refactor types
Tram Hoang
committed

Commits on Jul 22, 2021

pp_expr
Tram Hoang
committed
pp contract + debugging
Tram Hoang
committed
clean up, more tests
Tram Hoang
committed

Commits on Jul 23, 2021

clean up, more tests
Tram Hoang
committed
clean up
Tram Hoang
committed
merge master
Tram Hoang
committed
debugging messages
Tram Hoang
committed
easy debugging
Tram Hoang
committed
mend
Tram Hoang
committed
easy debugging
Tram Hoang
committed
Merge branch 'uc_first_order' of https://github.com/Zilliqa/scilla-compiler into uc_first_order
Tram Hoang
committed
working v0
Tram Hoang
committed

Commits on Jul 26, 2021

cleaned
Tram Hoang
committed
working v1
Tram Hoang
committed

Commits on Jul 30, 2021

update gas combination in uncurrying
Tram Hoang
committed

Commits on Aug 13, 2021

Clean Up Code
Tram Hoang
committed

Commits on Aug 16, 2021

come back
Tram Hoang
committed
Merge
Tram Hoang
committed
Update tests
Tram Hoang
committed