Liquid types proof of concept #825

Closed

zxq9 wants to merge 6 commits from github/fork/radrow/hagia into master

pull from: github/fork/radrow/hagia

merge into: QPQ-AG:master

QPQ-AG:master

QPQ-AG:prh-docs-fix

QPQ-AG:uw-mldsa-crypto

QPQ-AG:uw-rename-fix-deps

QPQ-AG:bump_gmserialization

QPQ-AG:zomp

QPQ-AG:ceres

QPQ-AG:gh-pages

QPQ-AG:gh-485

QPQ-AG:dependabot/pip/dot-github/workflows/pygments-2.15.0

QPQ-AG:old_ceres

QPQ-AG:ghallak/split-typechecker

QPQ-AG:gh-400

QPQ-AG:new_ceres

QPQ-AG:loop-op

QPQ-AG:type-env

QPQ-AG:ghallak/229

QPQ-AG:option-force-msg

QPQ-AG:6.0.2

QPQ-AG:lima

QPQ-AG:call-fee

QPQ-AG:fix-ets

QPQ-AG:mergesort

QPQ-AG:lima-master-merge

QPQ-AG:optionally_generate_aci

QPQ-AG:changelog-update

QPQ-AG:make-return-reserved-word

QPQ-AG:radrow-patch-2

QPQ-AG:aens-subdomains

QPQ-AG:aens-at-full-node-ver

QPQ-AG:pt-166866806-claim-with-name-fee

QPQ-AG:extend-aci-interface

QPQ-AG:generalized_accounts_no_abi_move

QPQ-AG:roma

QPQ-AG:quickcheck-ci

Conversation 0 Commits 6 Files Changed 31

+4677 -51

6 Commits

Author	SHA1	Message	Date
radrow	737673ffe5	Upgraded weakening and constraint anns	2021-09-11 16:37:29 +02:00
radrow	0ca23009b4	.	2021-08-30 21:38:06 +02:00
radrow	9de13098aa	rebar lock fix	2021-08-03 11:41:05 +02:00
radrow	ced9b2b2de	fix tests	2021-08-03 11:39:16 +02:00
radrow	7ba49c549d	spend test	2021-08-02 13:07:10 +02:00
radrow	0e73d7011d	Liquid types	2021-08-02 13:06:33 +02:00