Code

Model driven api#885

Code

Merged

hannobraun merged 14 commits intohannobraun:mainhannobraun/fornjot:mainfrom Michael-F-Bryan:model-driven-apiMichael-F-Bryan/Fornjot:model-driven-apiCopy head branch name to clipboardAug 9, 2022

+1,991-207

Commits

Commits on Aug 9, 2022

• Copied the core concepts across from fj_plugins

  Michael-F-Bryan

  committed
  ef0db6b

• Put all guest-host code inside its own "fj::abi" module

  Michael-F-Bryan

  committed
  ed7a3cc

• Convert metadata and rename the wrappers module to ffi_safe

  Michael-F-Bryan

  committed
  95b3bfe

• Wire the new fj_plugin_init function up to fj-host

  Michael-F-Bryan

  committed
  5598a54

• Added an integration test that loads a model

  Michael-F-Bryan

  committed
  d447bc1

• Run all of our demo models during the smoke tests

  Michael-F-Bryan

  committed
  0877ceb

• Exporting existing models is already handled by the "export-validator"

  Michael-F-Bryan

  committed
  8f2f2b2

• Migrated all models over to the new API

  Michael-F-Bryan

  committed
  2927776

• remove the "plugin" terminology

  Michael-F-Bryan

  committed
  9e514d7

• Reworked the #[fj::model] attribute to match the new ABI

  Michael-F-Bryan

  committed
  c43bcfd

• Reverted model implementations to main

  Michael-F-Bryan

  committed
  dd356cc

• Predicates should be negated when checking if a constraint failed

  Michael-F-Bryan

  committed
  cf588e8

• Parens

  Michael-F-Bryan

  committed
  559059f

• Values are allowed to be equal to their max/min

  Michael-F-Bryan

  committed
  38c77d4