Changed deps, rename modules, remove oracles #987
Open
uwiger
wants to merge 1 commits from
uw-rename-fix-deps into master
pull from: uw-rename-fix-deps
merge into: QPQ-AG:master
QPQ-AG:master
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
1 Commits
| Author | SHA1 | Message | Date | |
|---|---|---|---|---|
Ulf Wiger
|
b116d77883 | Changed deps, rename modules, remove oracles |