Skip to content

Issues: statebox/idris-stbx-core

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

25 Open 23 Closed
25 Open 23 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Typefified FSM Version of core relies on inductive definitions
#54 opened Mar 13, 2020 by FabrizioRomanoGenovese
@clayrat @FabrizioRomanoGenovese @andrevidela
Typedefify the FSM version of core
#53 opened Mar 11, 2020 by clayrat
@clayrat @FabrizioRomanoGenovese @andrevidela
1
Typedefify FSM data structures
#52 opened Mar 4, 2020 by epost
3 tasks
@epost @andrevidela
Experiment with Cartographer's hypergraph structure for FSMCs
#49 opened Jan 25, 2020 by clayrat
cleanup repository from unused files
#48 opened Dec 10, 2019 by marcosh
@marcosh
unable to use general definition of graph
#47 opened Nov 26, 2019 by marcosh
Compile to JavaScript module
#46 opened Nov 22, 2019 by epost
1 of 3 tasks
3
Start experimenting with current infrastructure
#45 opened Nov 14, 2019 by FabrizioRomanoGenovese
implement ecommerce example using computer'
#44 opened Oct 14, 2019 by marcosh
@marcosh
Unifying FFI execution and Computer (step 1)
#43 opened Oct 3, 2019 by clayrat
javascript codegen bugs
#42 opened Sep 20, 2019 by marcosh
@clayrat
Executing state machines (step 2)
#41 opened Sep 12, 2019 by clayrat
2
Fast compose with same types
#39 opened May 21, 2019 by marcosh
Fast compose when types are different
#38 opened May 21, 2019 by marcosh
Define fast compose
#37 opened May 21, 2019 by marcosh
Define list ordering with a target in Idris
#36 opened May 21, 2019 by marcosh
Incorporate statebox/idris-ct into Travis + Nix build
#35 opened Apr 4, 2019 by epost
1 of 3 tasks
Convert to Idris 2?
#34 opened Mar 28, 2019 by epost
integrate typedefs
#26 opened Mar 19, 2019 by marcosh
@andrevidela
provide examples of Petri nets
#24 opened Mar 12, 2019 by marcosh
5
Create Travis CI Nix build
#23 opened Mar 11, 2019 by epost
4 of 5 tasks
@tg-x
5
define category of Petri nets executions
#16 opened Feb 14, 2019 by marcosh
@marcosh
1
Connect with AQL
#5 opened Dec 7, 2018 by marcosh
Represent transition firing as composition.
#3 opened Nov 3, 2018 by FabrizioRomanoGenovese
3
write out the bigger structure as discussed between fab/jelle
#2 opened Nov 2, 2018 by wires
@FabrizioRomanoGenovese
1
ProTip! Mix and match filters to narrow down what you’re looking for.