marcosh/crem issues and pull requests

#95 - nix build fails because TwoSwitchesGate is an lhs file

Issue - State: open - Opened by silky 2 months ago - 2 comments

#94 - Generate user stories from topology

Issue - State: open - Opened by marcosh 11 months ago

#93 - Cart

Pull Request - State: closed - Opened by marcosh about 1 year ago

#92 - add avanscoperta video

Pull Request - State: closed - Opened by marcosh about 1 year ago

#91 - test on ghc 9.2.2 and cabal 3.6.2.0

Pull Request - State: open - Opened by marcosh about 1 year ago

#90 - Installation from Hackage fails with GHC 9.2.2, cabal 3.6.2.0

Issue - State: closed - Opened by johannes-riecken about 1 year ago - 3 comments

#89 - Fix typo

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

#88 - fixes #86: new hpack via a later nixpkgs and overlay

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

#87 - `nix build` fails

Issue - State: closed - Opened by silky over 1 year ago - 3 comments

#86 - `hpack` in the nix-shell is the wrong version

Issue - State: closed - Opened by silky over 1 year ago - 4 comments

#85 - Build a renderer to sketch.systems

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

#84 - Tweag

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

#83 - Implement `AutomatonM` instance for `StateMachineT`

Issue - State: open - Opened by marcosh over 1 year ago

#82 - Improve naming strategy

Issue - State: open - Opened by marcosh over 1 year ago

#81 - Hobbit improvements

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

#80 - hobbit-game: user error (Prelude.readIO: no parse)

Issue - State: closed - Opened by juhp over 1 year ago - 2 comments

#79 - Errors flag

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

#78 - State machine constructors documentation

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

#77 - Renderable vertices not overlappable

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

#76 - Integrate nothunks

Issue - State: open - Opened by marcosh over 1 year ago

#75 - Remove Overlappable for RenderableVertices

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

#74 - Understand better the relation between `Feedback` and `ArrowLoop`

Issue - State: open - Opened by marcosh over 1 year ago

#73 - test on ghc 9.6.1 and cabal 3.10.0.1

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

#72 - test with Cabal 3.10

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

#71 - test with GHC 9.6.1

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

#70 - test also with --prefer-oldest

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

#69 - add cabal version constraints

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

#68 - add fourmolu check on CI

Pull Request - State: closed - Opened by marcosh over 1 year ago - 3 comments

#67 - Doctests on examples

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

#66 - Remove open haddock

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

#65 - substitute inotify with fswatch for darwin compatibility

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

#64 - Doctests on crem-examples not working on nix

Issue - State: open - Opened by marcosh over 1 year ago

#63 - product topology

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

#62 - Flake does not work on darwin

Issue - State: closed - Opened by marcosh over 1 year ago - 1 comment

#61 - Literate examples

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

#60 - open-haddock does not work

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

#59 - Docs

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

#58 - Create a longer example

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

#57 - Complex policy example

Issue - State: open - Opened by marcosh over 1 year ago

#56 - Decider

Pull Request - State: closed - Opened by marcosh over 1 year ago - 8 comments

#55 - Implement `Decider` pattern

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

#54 - Arrows

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

#53 - More docs

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

#52 - Implement `Arrow` instances for `StateMachine`

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

#51 - Check Haddock documentation

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

#50 - Rename compose to sequential

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

#49 - rename CRM to Crem

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

#48 - Better data structure to attach labels to machine

Issue - State: open - Opened by marcosh over 1 year ago

#47 - Flow graph

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

#46 - Render also vertice with no edges

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

#45 - Avoid using `Compose` for `rmap` and `lmap`

Issue - State: open - Opened by marcosh over 1 year ago

#44 - Hobbit game

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

#43 - Generalise to Petri Nets

Issue - State: closed - Opened by marcosh over 1 year ago - 1 comment

#42 - rename namespace to `crem`

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

#41 - Infer topology from the machine definition

Issue - State: open - Opened by marcosh over 1 year ago

#40 - Allow the end user to add new constructors

Issue - State: open - Opened by marcosh over 1 year ago

#39 - unify `Compose` and `Klesli`

Issue - State: open - Opened by marcosh over 1 year ago

#38 - Input and outputs dependent on vertex

Issue - State: open - Opened by marcosh over 1 year ago

#37 - Risk manager example

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

#36 - Cosieve and Corepresentable instances

Issue - State: open - Opened by marcosh over 1 year ago

#35 - Come up with better examples

Issue - State: open - Opened by marcosh over 1 year ago

#34 - Rename `Compose` to `Sequential`

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

#33 - Extract machine state

Issue - State: closed - Opened by marcosh over 1 year ago - 1 comment

#32 - Multiple ways to model a Topology

Issue - State: open - Opened by AlexeiDrake over 1 year ago

#31 - Costrong machines

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

#30 - Represent machines flow

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

#29 - Effectful machines

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

#28 - explain how to create a machine

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

#27 - initial state should be state, not vertex

Issue - State: closed - Opened by marcosh over 1 year ago - 1 comment

#26 - implement unrestrictedMachine

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

#25 - Provide extensive documentation on how to implement a state machine

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

#24 - Create a complex example

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

#23 - add Parallel and Alternative constructors

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

#22 - Run machine

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

#21 - Category

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

#20 - Use additional constructors for `StateMachine`

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

#19 - Implement `Category` for `StateMachine`

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

#18 - Rename repository to `crem`

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

#17 - Allow to actually run a state machine

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

#16 - remove initialState field

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

#15 - add utility to open haddock docs in the browser

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

#14 - State machines have an instance of choice

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

#13 - Allow identity transitions

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

#12 - Improve watch

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

#11 - add GHC 9.4 to CI matrix

Pull Request - State: closed - Opened by AlexeiDrake over 1 year ago - 5 comments

#10 - add CI workflow

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

#9 - introduce GHC version checks for unsupported features

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

#8 - create a command to rerun tests at every file change

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

#7 - Improve `watch` command

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

#6 - run doctests as part of cabal test

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

#5 - Add CI that runs tests on every commit

Issue - State: closed - Opened by AlexeiDrake over 1 year ago - 1 comment

#4 - add doctests

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

#3 - Generate haddock

Issue - State: closed - Opened by marcosh over 1 year ago - 3 comments

#2 - Make the watch utility able to rebuild without running tests

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

#1 - Add conditional expressions on GHC version in the package.yaml

Issue - State: closed - Opened by marcosh over 1 year ago - 1 comment

GitHub / marcosh/crem issues and pull requests