ml4ai/funman

Issues

• Add time key to parameters

  #75 opened a year ago by danbryce
  2

• Consolidate search._run_handler and search._run_handler_step

  #14 opened a year ago by danbryce
  2

• Revisit notebooks and auxiliary packages.

  #37 opened a year ago by danbryce
  2

• Move parameter space point analysis to parameter space from parameter synthesis result.

  #19 opened a year ago by danbryce
  1

• New tests

  #38 opened a year ago by danbryce
  0

• Process Metadata from bilayer and use to encode variable bounds.

  #48 opened a year ago by danbryce
  0

• Add petri net ingest unit test to scratch

  #49 opened a year ago by danbryce
  0

• Factor out parameter space processing

  #52 opened 2 years ago by jgladwig
  1

• Update FUNMAN API

  #65 opened a year ago by danbryce
  1

• Add thin thread petrinet modelsupport

  #66 opened a year ago by danbryce
  1

• Cleanup tests for petri and regnet models

  #68 opened a year ago by jgladwig
  1

• Ensure API level intervals take precedence over model intervals

  #71 opened a year ago by danbryce
  1

• Create Symbol class to encapsulate strings and model identifiers

  #73 opened a year ago by danbryce
  1

• Create SEIRD AMR model

  #76 opened a year ago by danbryce
  0

• Update documented use cases

  #18 opened a year ago by danbryce
  0

• Add json input can jsonschema

  #22 opened a year ago by danbryce
  1

• API

  #39 opened 2 years ago by danbryce
  0

• Develop FastAPI

  #40 opened 2 years ago by danbryce
  1

• Update documentation against reorganized code for release 1.3

  #16 opened 2 years ago by danbryce
  2

• Move funman.examples to funman_demo

  #5 opened 2 years ago by danbryce
  1

• Move funman.model.bilayer.to_smtlib() translation to model2smtlib

  #6 opened 2 years ago by danbryce
  0

• Remove unused DrealBoxSearch

  #13 opened 2 years ago by danbryce
  0

• Consolidate Test cases

  #2 opened 2 years ago by danbryce
  4

• Docker builds

  #3 opened 2 years ago by danbryce
  1

• try/except import funman_dreal with error message

  #10 opened 2 years ago by danbryce
  0

• Move all utils to a utils subdir

  #7 opened 2 years ago by danbryce
  0

• Convert model2smtlib to an aux package

  #4 opened 2 years ago by danbryce
  1

• Create funman.search subdir

  #11 opened 2 years ago by danbryce
  0

• Add code coverage tool

  #20 opened 2 years ago by danbryce
  0

• Precommit hooks

  #21 opened 2 years ago by danbryce
  0

• Test Issue

  #1 opened 2 years ago by danbryce
  0

• Consolidate search._run_handler and search._run_handler_step

  #15 opened 2 years ago by danbryce
  1

• Move all utils to a utils subdir

  #8 opened 2 years ago by danbryce
  1

• Move all utils to a utils subdir

  #9 opened 2 years ago by danbryce
  1

• Create funman.search subdir

  #12 opened 2 years ago by danbryce
  1