Giters
ml4ai
/
funman
SKEMA Functional Model Analysis (FUNMAN)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
2
Issues:
35
Forks:
2
ml4ai/funman Issues
Add time key to parameters
Closed
a year ago
Comments count
2
Consolidate search._run_handler and search._run_handler_step
Closed
a year ago
Comments count
2
Revisit notebooks and auxiliary packages.
Closed
a year ago
Comments count
2
Move parameter space point analysis to parameter space from parameter synthesis result.
Closed
a year ago
Comments count
1
New tests
Closed
a year ago
Process Metadata from bilayer and use to encode variable bounds.
Closed
a year ago
Add petri net ingest unit test to scratch
Closed
a year ago
Factor out parameter space processing
Updated
a year ago
Comments count
1
Update FUNMAN API
Closed
a year ago
Comments count
1
Add thin thread petrinet modelsupport
Closed
a year ago
Comments count
1
Cleanup tests for petri and regnet models
Updated
a year ago
Comments count
1
Ensure API level intervals take precedence over model intervals
Closed
a year ago
Comments count
1
Create Symbol class to encapsulate strings and model identifiers
Closed
a year ago
Comments count
1
Create SEIRD AMR model
Closed
a year ago
Update documented use cases
Closed
a year ago
Add json input can jsonschema
Closed
a year ago
Comments count
1
API
Closed
2 years ago
Develop FastAPI
Closed
2 years ago
Comments count
1
Update documentation against reorganized code for release 1.3
Closed
2 years ago
Comments count
2
Move funman.examples to funman_demo
Closed
2 years ago
Comments count
1
Move funman.model.bilayer.to_smtlib() translation to model2smtlib
Closed
2 years ago
Remove unused DrealBoxSearch
Closed
2 years ago
Consolidate Test cases
Closed
2 years ago
Comments count
4
Docker builds
Closed
2 years ago
Comments count
1
try/except import funman_dreal with error message
Closed
2 years ago
Move all utils to a utils subdir
Closed
2 years ago
Convert model2smtlib to an aux package
Closed
2 years ago
Comments count
1
Create funman.search subdir
Closed
2 years ago
Add code coverage tool
Closed
2 years ago
Precommit hooks
Closed
2 years ago
Test Issue
Closed
2 years ago
Consolidate search._run_handler and search._run_handler_step
Closed
2 years ago
Comments count
1
Move all utils to a utils subdir
Closed
2 years ago
Comments count
1
Move all utils to a utils subdir
Closed
2 years ago
Comments count
1
Create funman.search subdir
Closed
2 years ago
Comments count
1