Ecosyste.ms: Issues

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

GitHub / Kappa-Dev/KappaTools issues and pull requests

#707 - Add playwright tests

Pull Request - State: open - Opened by antoinepouille about 2 months ago

#706 - Bump ocaml/setup-ocaml from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago
Labels: dependencies

#705 - GitHub actions update

Pull Request - State: closed - Opened by antoinepouille about 2 months ago

#704 - Add ocamlformat to CI and rerun `dune fmt` on the codebase

Pull Request - State: closed - Opened by antoinepouille about 2 months ago

#703 - Reorganize webapp directory `gui`

Pull Request - State: closed - Opened by antoinepouille about 2 months ago

#702 - Uniformize lib deps by using opam 2.2.0 for win build

Pull Request - State: closed - Opened by antoinepouille 2 months ago

#701 - test CI

Pull Request - State: closed - Opened by antoinepouille 2 months ago

#699 - Revamp Webapp logs

Pull Request - State: closed - Opened by antoinepouille 4 months ago

#698 - Yojson conversion for counters_info

Pull Request - State: closed - Opened by antoinepouille 5 months ago

#697 - update README

Pull Request - State: closed - Opened by antoinepouille 7 months ago

#695 - Change the interface of the analysis of symmetric sites.

Issue - State: closed - Opened by feret 8 months ago - 1 comment
Labels: KaSa, Better programming practice, good first issue

#694 - Fix dead_rules warnings by using a dont_gc_me list

Pull Request - State: closed - Opened by antoinepouille 8 months ago

#693 - Simplify install of pinned libs in CI

Pull Request - State: closed - Opened by antoinepouille 8 months ago

#692 - In JSON output, inverted counters should be translated back rather than being ignored.

Issue - State: open - Opened by feret 8 months ago
Labels: minor bug, Counters

#691 - Inverted counters with proper default values

Pull Request - State: closed - Opened by feret 8 months ago

#688 - Update version of github actions

Pull Request - State: closed - Opened by antoinepouille 8 months ago

#687 - Default value for inverted counters is not set apropriately in initial states in KaDE.

Issue - State: closed - Opened by feret 8 months ago
Labels: critical bug

#686 - Revamp dependancies and repo organisation cleanup

Pull Request - State: closed - Opened by antoinepouille 8 months ago

#685 - Default value for Inverted counters is not set properly.

Issue - State: closed - Opened by feret 8 months ago
Labels: critical bug, Counters

#684 - Should fix tab_editor and tab_outputs (untested)

Pull Request - State: closed - Opened by antoinepouille 8 months ago

#683 - Mere presence of agent declaration with counters causes incorrect results

Issue - State: closed - Opened by wwaites 8 months ago - 6 comments

#682 - Remove inverted counters from user snapshots

Pull Request - State: closed - Opened by antoinepouille 9 months ago

#681 - Fix CI

Pull Request - State: closed - Opened by antoinepouille 9 months ago

#680 - Fix nix shell environment on Darwin

Pull Request - State: closed - Opened by ReubenJ 9 months ago - 1 comment

#679 - Small-than implementation in counters as translation into new "inverted counter"

Pull Request - State: closed - Opened by antoinepouille 11 months ago - 5 comments

#678 - Adding dune root parameters to the project

Pull Request - State: closed - Opened by antoinepouille 12 months ago

#675 - The Replay module ignores tokens

Issue - State: open - Opened by jonathan-laurent about 1 year ago
Labels: Wishlist

#674 - Trace, final print

Issue - State: open - Opened by hmedina about 1 year ago

#673 - Print greater-than-equal as >= for inputs.ka

Pull Request - State: open - Opened by ethulhu over 1 year ago

#672 - KaSim inputs.ka emits >= as =

Issue - State: closed - Opened by ethulhu over 1 year ago

#671 - Ignore Python build outputs and temporary integration test files

Pull Request - State: closed - Opened by ethulhu over 1 year ago

#670 - Fix klexer4 bug for zero-length strings ("")

Pull Request - State: closed - Opened by ethulhu over 1 year ago

#669 - KaSim cannot read empty strings ("")

Issue - State: closed - Opened by ethulhu over 1 year ago

#668 - Add > as syntactic sugar for >= in counters

Pull Request - State: open - Opened by ethulhu over 1 year ago

#667 - Trace, init, T0

Issue - State: open - Opened by hmedina over 1 year ago
Labels: Wishlist

#666 - Stack overflows

Issue - State: closed - Opened by hmedina over 1 year ago - 18 comments

#665 - `File "core/siteGraphs/edges.ml", line 418, characters 13-19: Assertion failed`

Issue - State: closed - Opened by hmedina over 1 year ago - 8 comments

#664 - What is [E] ?

Issue - State: closed - Opened by hmedina over 1 year ago - 8 comments

#663 - Provide a more user-friendly format for traces (follow up from #658)

Issue - State: open - Opened by feret over 1 year ago - 7 comments
Labels: Wishlist

#662 - abbreviated time print in snapshots

Issue - State: closed - Opened by hmedina over 1 year ago - 4 comments
Labels: Wishlist

#661 - False error from KaSa: mod, tokens, `<-`

Issue - State: open - Opened by hmedina over 1 year ago - 16 comments
Labels: minor bug

#660 - Inconsistent behavior in snapshot naming between KaSimInBrowser and KaSimInCommandLine for `[E]`

Issue - State: closed - Opened by hmedina over 1 year ago - 4 comments
Labels: minor bug

#659 - Agent "identifiers" are recycled and so do not identify agents

Issue - State: open - Opened by hmedina over 1 year ago - 3 comments
Labels: Wishlist

#658 - Inconsistent action order in generated trace files

Issue - State: closed - Opened by jonathan-laurent over 1 year ago - 5 comments
Labels: minor bug

#657 - Bug: inconsistent action order in generated trace files?

Pull Request - State: closed - Opened by jonathan-laurent over 1 year ago - 2 comments

#656 - Using the $SNAPSHOT perturbation corrupts generated trace files?

Issue - State: closed - Opened by jonathan-laurent over 1 year ago - 7 comments

#655 - Add an Edges.is_agent_id function

Pull Request - State: closed - Opened by jonathan-laurent over 1 year ago

#654 - Better documentation for `kappa-library`

Issue - State: open - Opened by jonathan-laurent over 1 year ago - 1 comment

#652 - Add wheels for kappy for Python 3.10 on PyPI

Issue - State: closed - Opened by bgyori over 1 year ago - 9 comments

#651 - Hmedina patch 2

Pull Request - State: open - Opened by hmedina almost 2 years ago

#650 - OCaml 5: explicit unix library loading

Issue - State: closed - Opened by hmedina almost 2 years ago

#649 - Update kappa-library.opam

Pull Request - State: closed - Opened by jonathan-laurent about 2 years ago

#648 - Fix #647: declare dependency to result package explicitely and fix windows build

Pull Request - State: closed - Opened by thierry-martinez about 2 years ago - 1 comment

#647 - Build error with --kappa-binaries: Library "result" not found

Issue - State: closed - Opened by wwaites about 2 years ago - 1 comment

#646 - Add shell.nix and .envrc for easy building under Nix

Pull Request - State: closed - Opened by wwaites about 2 years ago

#645 - Fix #644: Use `Buffer.t` instead of `Bi_outbuf.t`

Pull Request - State: closed - Opened by thierry-martinez about 2 years ago

#644 - Dune installs latest yojson; tools require yojson 1.7.0

Issue - State: closed - Opened by hmedina about 2 years ago - 4 comments
Labels: critical bug

#643 - One shot perturbations ignore requested time

Issue - State: open - Opened by hmedina over 2 years ago
Labels: KaSim, Soundness

#642 - Kappapp frozen? EDIT: windows electron broken

Issue - State: closed - Opened by hmedina over 2 years ago - 7 comments

#641 - Installation error

Issue - State: closed - Opened by hmedina over 2 years ago - 4 comments
Labels: critical bug

#640 - Error while compiling kappa-library: unerasable-optional-arguments

Issue - State: closed - Opened by hmedina about 3 years ago - 5 comments

#639 - Patch candidate for fixing issue about decrementation.

Pull Request - State: closed - Opened by feret about 3 years ago - 2 comments

#638 - Collision with link id after counter decrementation.

Issue - State: closed - Opened by feret about 3 years ago - 2 comments

#637 - Add markdown as content type for README

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

#636 - The opam archive for version 4.0.0 seems to have changed

Issue - State: open - Opened by mseri over 3 years ago - 1 comment

#634 - Kappy installation issue

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

#633 - Using the KaSim API as a dependency

Issue - State: closed - Opened by jonathan-laurent almost 4 years ago - 4 comments

#631 - potentially incorrect complex name in KaDE output (SBML format)?

Issue - State: closed - Opened by yarden almost 4 years ago - 2 comments

#630 - Alarm perturbations trigger abnormally with -mixture option

Issue - State: closed - Opened by hmedina almost 4 years ago - 1 comment
Labels: KaSim

#629 - Error using counters

Issue - State: closed - Opened by wwaites almost 4 years ago - 3 comments

#628 - typos

Issue - State: open - Opened by vd1 about 4 years ago

#627 - feature request: have -mixture accept JSON format

Issue - State: open - Opened by yarden about 4 years ago

#626 - Influence map resets every ~20s in "track cursor" mode

Issue - State: closed - Opened by hmedina over 4 years ago - 3 comments
Labels: KaSa, Graphical User Interface

#625 - inputs.ka invalid when contact map overconstraints observables defined

Issue - State: open - Opened by hmedina over 4 years ago - 3 comments
Labels: KaSim, Soundness

#624 - odd behavior in parsing complexes from a string with kappy

Issue - State: closed - Opened by yarden over 4 years ago - 6 comments

#623 - Bump electron from 4.2.12 to 9.1.0 in /gui

Pull Request - State: closed - Opened by dependabot[bot] over 4 years ago
Labels: dependencies

#622 - Error parsing MathML: not well-formed Line Number 1, Column 120

Issue - State: closed - Opened by hmedina over 4 years ago
Labels: critical bug, Documentation & Manual

#621 - dandling typo

Issue - State: closed - Opened by vd1 over 4 years ago
Labels: Documentation & Manual

#620 - wealky typo

Issue - State: closed - Opened by vd1 over 4 years ago
Labels: Documentation & Manual

#619 - typo in non weakly reversible warning

Issue - State: closed - Opened by vd1 over 4 years ago
Labels: Documentation & Manual

#618 - Kappy release for Python 3.8 missing executables

Issue - State: open - Opened by bgyori over 4 years ago - 2 comments

#617 - Error: don't use edit notation in observables

Issue - State: open - Opened by hmedina over 4 years ago
Labels: minor bug, Graphical User Interface

#616 - simple snapshot parsing in kappy

Pull Request - State: closed - Opened by yarden over 4 years ago

#615 - error running kappy unit tests

Issue - State: closed - Opened by yarden over 4 years ago - 6 comments

#614 - Supplying initial condition in a file

Issue - State: closed - Opened by ajeet619 over 4 years ago - 2 comments

#613 - typo

Issue - State: closed - Opened by vd1 over 4 years ago

#612 - %mod function is not working

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

#611 - Error (warning 67): unused functor parameter Basic.

Issue - State: closed - Opened by hmedina over 4 years ago
Labels: critical bug, KaSa

#610 - $APPLY is not documented in the manual

Issue - State: open - Opened by hmedina almost 5 years ago
Labels: Documentation & Manual

#609 - ` 1/1 Not_found` error with dual $APPLY statements in GUI

Issue - State: closed - Opened by hmedina almost 5 years ago - 3 comments
Labels: WebSim, Graphical User Interface

#608 - Inputs file, $STOP, snapshotfile, reproducibility issue

Issue - State: open - Opened by hmedina almost 5 years ago
Labels: KaSim