Skip to content

v0.3.4

Choose a tag to compare

View all tags
@epatters epatters released this 20 Sep 00:01
· 575 commits to main since this release
v0.3.4
75432fe
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Bump CatColabInterop.jl to v0.1.1 by @quffaro in #711
  • Run migrations during backend startup by @jmoggr in #692
  • Alternative pathway to fetch live documents using only Automerge by @epatters in #715
  • Upgrade to egglog v0.5 by @epatters in #717
  • Topological sort for graphs by @quffaro in #698
  • Decision tree (binary) for new developer builds by @tim-at-topos in #721
  • Petri net reachability analysis by @kris-brown in #696
  • DoubleTT: type theory for models and their morphisms by @olynch in #716
  • Upgrade Rust toolchain to v1.90 by @epatters in #723
  • Stochastic mass-action dynamics for Petri nets by @quffaro in #619
  • FIX: sqlx fails to build due to libssl linking error by @jmoggr in #724
  • Ensure stable order of object/morphism generators and plot variables by @epatters in #725

Full Changelog: v0.3.3...v0.3.4

Contributors

epatters, jmoggr, and 4 other contributors
Assets 2
Loading