tree 22ccee9d7a5987f80fc0118698f6c133264a77b3
parent bd1577d8a63566e4e34b21d2cab3772552aa94f2
parent 40cc0e86a8adcf77b17ac145d98e3eac541af291
author NohealthyBBQ <zexil@andrew.cmu.edu> 1669746807 -0500
committer NohealthyBBQ <zexil@andrew.cmu.edu> 1669746807 -0500

Merge branch 'vco_update' of https://github.com/NohealthyBBQ/sloci_caravel into vco_update

merging