Skip to content
GitLab

Resolve "Use third party dependencies from Orbit"

Merged Dennis Hendriks requested to merge 3-add-javabdd into develop

Closes #3 (closed)

  • Update Eclipse Orbit version to R20201130205003 (2020-12).
    • Previously we used 2020-12 RC1.
  • Added JavaBDD 1.0.1 third party dependency.
    • Approved as per CQ 22696.
  • Re-enable CIF data-based synthesis and tests.
  • Restored changes to Oomph setup now that JavaBDD can be found.
Edited by Dennis Hendriks

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent