1. 15 Feb, 2021 3 commits
  2. 12 Feb, 2021 1 commit
  3. 11 Feb, 2021 4 commits
  4. 10 Feb, 2021 12 commits
  5. 05 Feb, 2021 1 commit
    • Dennis Hendriks's avatar
      Merge branch '3-add-javabdd' into 'develop' · 61e7dc64
      Dennis Hendriks authored
      Closes #3
      
      * 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.
      
      See merge request !7
      61e7dc64
  6. 03 Feb, 2021 1 commit
  7. 28 Jan, 2021 2 commits
  8. 27 Jan, 2021 3 commits
  9. 26 Jan, 2021 10 commits
  10. 25 Jan, 2021 2 commits
  11. 14 Jan, 2021 1 commit