Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / GaloisInc/ASKE-E issues and pull requests

#100 - Put everything in a `docker-compose` setup

Pull Request - State: closed - Opened by samcowger over 3 years ago

#99 - Catch exceptions when reading/writing files that don't exist

Pull Request - State: closed - Opened by abakst over 3 years ago

#98 - `fit` changes

Pull Request - State: closed - Opened by abakst over 3 years ago

#97 - Exposure: Allow specifying color schemes/ranges

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#96 - Unhelpful `(!)` error on some `fit` invocations

Issue - State: closed - Opened by abakst over 3 years ago - 1 comment

#95 - Add changes/notebook for model skill demo

Pull Request - State: closed - Opened by abakst over 3 years ago

#94 - Exposure sessions should continue on error/exception

Pull Request - State: closed - Opened by abakst over 3 years ago - 1 comment

#93 - parse error renders the kernel non-responsive to subsequent commands

Issue - State: closed - Opened by m10f over 3 years ago - 3 comments

#92 - Lift (+) pairwise over VArrays

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#91 - Add ability to set plot style (so that circles, points can be used)

Issue - State: closed - Opened by m10f over 3 years ago - 1 comment
Labels: exposure

#90 - Simulation step size of 0 causes donu to crash

Issue - State: closed - Opened by m10f over 3 years ago - 1 comment
Labels: bug

#89 - Eliminate `DataSeries` in `Exposure`

Issue - State: closed - Opened by abakst over 3 years ago - 1 comment

#88 - Bad input causes jupyter kernel crash with "Error: Unexpected Message" with subsequent cells failing to execute

Issue - State: open - Opened by m10f over 3 years ago - 2 comments
Labels: bug, exposure, jupyter

#87 - Exposure modelSkillRank

Pull Request - State: closed - Opened by abakst over 3 years ago - 2 comments

#86 - Handle asserts of models

Pull Request - State: open - Opened by ajayeeralla over 3 years ago

#85 - `champ` won't move past a failed `loadESL`

Issue - State: closed - Opened by samcowger over 3 years ago - 2 comments
Labels: bug

#84 - Feature/data api

Pull Request - State: closed - Opened by m10f over 3 years ago - 1 comment

#83 - Reparameterize model functionality in exposure

Issue - State: closed - Opened by m10f over 3 years ago
Labels: exposure

#82 - Model composition primitives

Pull Request - State: closed - Opened by samcowger over 3 years ago

#81 - Expose fitting in Exposure

Pull Request - State: closed - Opened by abakst over 3 years ago

#80 - Complain before trying to fit invalid parameters.

Pull Request - State: closed - Opened by abakst over 3 years ago - 1 comment

#79 - Model Composition/Optimization/Fitting Demo Script

Issue - State: open - Opened by m10f over 3 years ago - 10 comments
Labels: exposure

#78 - Error when attempting to fit a parameter that doesn't exist

Issue - State: closed - Opened by abakst over 3 years ago - 1 comment

#77 - Implement `wis` function

Issue - State: closed - Opened by m10f over 3 years ago - 2 comments
Labels: exposure

#76 - Model Skill Reporting Workflow Script

Issue - State: open - Opened by m10f over 3 years ago - 13 comments
Labels: exposure

#75 - Exposure: can't lex strings containing spaces

Issue - State: closed - Opened by RyanGlScott over 3 years ago - 1 comment
Labels: bug, exposure

#74 - Implement Filesystem abstraction in Exposure Interpreter

Pull Request - State: closed - Opened by abakst over 3 years ago

#73 - Add command for displaying tabular data

Issue - State: closed - Opened by RyanGlScott over 3 years ago
Labels: jupyter

#72 - Pruning in model fitting

Issue - State: open - Opened by abakst over 3 years ago
Labels: enhancement, nice-to-have

#71 - Fix model fitting

Pull Request - State: closed - Opened by abakst over 3 years ago - 1 comment

#70 - Implement MSE or MAE function

Issue - State: closed - Opened by edhille over 3 years ago
Labels: exposure

#69 - Draft demo "script"

Issue - State: open - Opened by edhille over 3 years ago - 2 comments

#68 - Review LocaleDB as possible dataset for demo

Issue - State: open - Opened by edhille over 3 years ago
Labels: data

#67 - Build model category conservation analysis for STORM/PRISM

Issue - State: closed - Opened by m10f over 3 years ago - 1 comment

#66 - Expose Simulation (via ODE) in Exposure

Pull Request - State: closed - Opened by abakst over 3 years ago - 3 comments

#65 - Expose fitting functionality in exposure/champ/notebook

Issue - State: closed - Opened by abakst over 3 years ago - 1 comment
Labels: exposure, jupyter, nice-to-have

#64 - Add a way to interrupt/timeout simulations

Issue - State: open - Opened by yav over 3 years ago - 7 comments

#63 - Do model pruning on Core

Issue - State: closed - Opened by yav over 3 years ago - 5 comments

#62 - More visibility into model pruning

Issue - State: open - Opened by yav over 3 years ago

#61 - Add control over how we convert to DEQs

Issue - State: open - Opened by yav over 3 years ago
Labels: nice-to-have, performance

#60 - Panic evaluating reaction net

Issue - State: closed - Opened by abakst over 3 years ago

#59 - `Describe SEIR interface` test suite failure

Issue - State: closed - Opened by RyanGlScott over 3 years ago - 1 comment
Labels: testing

#58 - Exposure: Add asEqnArray

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 2 comments

#57 - Support Easel <-> DiffEq translation

Issue - State: open - Opened by edhille over 3 years ago - 2 comments
Labels: easel

#56 - Integrate Jupyter interface more closely with Python

Issue - State: open - Opened by RyanGlScott over 3 years ago - 1 comment
Labels: jupyter

#54 - can we determine for a model whether we can use the model-checker?

Issue - State: open - Opened by edhille over 3 years ago
Labels: nice-to-have, performance

#53 - Facilitate ability to re-use a notebook week-over-week

Issue - State: open - Opened by edhille over 3 years ago - 2 comments
Labels: jupyter

#51 - automatically decompose models to only use portions that impact what is being measured

Issue - State: open - Opened by edhille over 3 years ago
Labels: nice-to-have, performance

#50 - Be able to render model as directed graph in the notebook

Issue - State: open - Opened by edhille over 3 years ago - 3 comments
Labels: jupyter, nice-to-have

#49 - model composition as a DSL

Issue - State: open - Opened by edhille over 3 years ago
Labels: easel

#48 - rendering LaTeX equations

Issue - State: closed - Opened by edhille over 3 years ago
Labels: jupyter

#47 - ODE simulation in Jupyter

Issue - State: closed - Opened by edhille over 3 years ago
Labels: jupyter

#46 - Exposure: Make statistics-based functions operate on simulation results

Issue - State: closed - Opened by RyanGlScott over 3 years ago - 1 comment
Labels: exposure

#45 - Exposure

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#44 - Print prism ctmcs

Pull Request - State: open - Opened by ajayeeralla over 3 years ago

#43 - Unify `simulate-*` commands

Pull Request - State: closed - Opened by samcowger over 3 years ago

#42 - C++ fixes

Pull Request - State: closed - Opened by samcowger over 3 years ago

#41 - Exposure at point fix

Pull Request - State: closed - Opened by abakst over 3 years ago - 2 comments

#40 - Exposure: First take at simulation

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#39 - Expose type information via metadata in `Core` interface description

Pull Request - State: closed - Opened by samcowger over 3 years ago - 1 comment

#38 - Improve parameter demangling logic

Pull Request - State: closed - Opened by samcowger over 3 years ago

#37 - Treat Easels as Gromets

Pull Request - State: closed - Opened by yav over 3 years ago

#36 - Explicitly delete sessions when askee kernel exits

Issue - State: closed - Opened by abakst over 3 years ago - 1 comment
Labels: jupyter

#35 - Observe let-bound values during simulation

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 2 comments

#34 - Add `exposure` sessions to Donu

Pull Request - State: closed - Opened by abakst over 3 years ago

#33 - describe model for DiffEq

Issue - State: closed - Opened by yav over 3 years ago

#32 - Model checking EASEL models using PRISM/STORM

Pull Request - State: open - Opened by ajayeeralla over 3 years ago

#31 - `let` depending on `time` should be observable

Issue - State: closed - Opened by yav over 3 years ago

#30 - Change internal representation of `ESL` and `Core` parameters

Pull Request - State: closed - Opened by samcowger over 3 years ago

#29 - Test `Storage.hs`

Pull Request - State: closed - Opened by samcowger over 3 years ago

#27 - Fixes to model storage

Issue - State: closed - Opened by yav over 3 years ago - 1 comment

#26 - Expose `AlgebraicJulia` simulation for PNC Gromets

Pull Request - State: closed - Opened by samcowger over 3 years ago

#25 - Add model-level metadata

Issue - State: closed - Opened by yav over 3 years ago

#24 - Add RNet to Model

Issue - State: closed - Opened by yav over 3 years ago - 1 comment

#23 - Normalize metadata in ESL

Issue - State: open - Opened by yav over 3 years ago

#22 - Exposure task list

Issue - State: closed - Opened by m10f over 3 years ago - 2 comments

#21 - First-class C++-based discrete event simulation

Pull Request - State: closed - Opened by samcowger over 3 years ago

#20 - Determine metadata required in Gromets produced by Donu

Issue - State: open - Opened by edhille over 3 years ago
Labels: gromet

#18 - List ESL models with dummy metadata

Pull Request - State: closed - Opened by samcowger over 3 years ago

#17 - Fix CI

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#16 - improvements on rendering Latex code

Pull Request - State: open - Opened by ajayeeralla over 3 years ago

#14 - Jupyter: stratifySpatial doesn't work

Issue - State: closed - Opened by RyanGlScott over 3 years ago - 3 comments

#13 - Add basic haskell-ci GitHub Action

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago - 1 comment

#12 - Undocumented donu commands

Issue - State: open - Opened by RyanGlScott over 3 years ago

#11 - Add gromet upload support

Pull Request - State: closed - Opened by samcowger over 3 years ago

#10 - Model upload improvements

Pull Request - State: closed - Opened by samcowger over 3 years ago

#9 - aPRAM parsing

Pull Request - State: closed - Opened by samcowger over 3 years ago

#8 - Add exp and log

Pull Request - State: closed - Opened by samcowger over 3 years ago

#7 - Cleanup

Pull Request - State: closed - Opened by samcowger almost 4 years ago

#6 - Model renaming

Pull Request - State: closed - Opened by samcowger almost 4 years ago

#5 - Switch to Julia webserver to perform stratification

Pull Request - State: closed - Opened by samcowger almost 4 years ago

#4 - add links to artifacts for milestones 1 and 2

Pull Request - State: closed - Opened by edhille almost 4 years ago
Labels: documentation

#3 - Add readme for docs

Pull Request - State: closed - Opened by hazelweakly almost 4 years ago

#2 - Add initial, baseline milestones page

Pull Request - State: closed - Opened by edhille almost 4 years ago
Labels: documentation

#1 - Add docs

Pull Request - State: closed - Opened by hazelweakly almost 4 years ago