Pre-compiled bundle 4/30/2021

sylvainhalle released this 30 Apr 21:09

· 96 commits to master since this release

This bundle should be used with BeepBeep core version 0.10.5-alpha.

Bugfix to ProcessorTransition
Fix to tests of Http palette
Fix to tests for FirstOrderQuantifier
Bugfixes to provenance tests
Upgrade of Azrael dependency
Added constructor to UpdateTableStream

Assets 22