Ecosyste.ms: Issues

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

GitHub / ku-fpg/hermit-shell issues and pull requests

#42 - Build issues on GHC 8

Issue - State: open - Opened by roboguy13 over 8 years ago

#42 - Build issues on GHC 8

Issue - State: open - Opened by roboguy13 over 8 years ago

#41 - Remote GHCi

Issue - State: open - Opened by xich about 9 years ago - 3 comments

#41 - Remote GHCi

Issue - State: open - Opened by xich about 9 years ago - 3 comments

#40 - Needs to be updated to account for remote-json's use of natural-transformation

Issue - State: open - Opened by ecaustin about 9 years ago - 11 comments

#40 - Needs to be updated to account for remote-json's use of natural-transformation

Issue - State: open - Opened by ecaustin about 9 years ago - 11 comments

#39 - Compilation Regression with GHC 7.10.3

Issue - State: closed - Opened by ecaustin about 9 years ago - 26 comments

#39 - Compilation Regression with GHC 7.10.3

Issue - State: closed - Opened by ecaustin about 9 years ago - 26 comments

#38 - Travis Rebuild on HERMIT changes

Issue - State: open - Opened by andygill over 9 years ago - 4 comments
Labels: enhancement, build system

#38 - Travis Rebuild on HERMIT changes

Issue - State: open - Opened by andygill over 9 years ago - 4 comments
Labels: enhancement, build system

#37 - Revisit sendCrumb and make it composable

Issue - State: open - Opened by andygill over 9 years ago - 4 comments

#36 - resume

Issue - State: closed - Opened by andygill over 9 years ago - 2 comments

#35 - Should reflexivity look through foralls?

Issue - State: closed - Opened by andygill over 9 years ago - 5 comments

#34 - hermit-shell doesn't build with the latest version of HERMIT

Issue - State: closed - Opened by roboguy13 over 9 years ago - 2 comments

#33 - Global shell settings

Pull Request - State: closed - Opened by roboguy13 over 9 years ago - 2 comments

#32 - Highlight difference between steps

Issue - State: open - Opened by roboguy13 over 9 years ago - 2 comments
Labels: enhancement

#31 - Cheat Sheet

Issue - State: open - Opened by andygill over 9 years ago - 1 comment

#30 - Logging command

Issue - State: open - Opened by roboguy13 over 9 years ago - 1 comment
Labels: enhancement

#29 - Quiet mode

Issue - State: open - Opened by roboguy13 over 9 years ago - 15 comments
Labels: enhancement

#28 - Consolidate duplicate commands, establish HERMIT.API.Prelude

Pull Request - State: closed - Opened by RyanGlScott over 9 years ago - 4 comments

#26 - Types of shell commands

Issue - State: open - Opened by andygill over 9 years ago

#25 - loadLemmaLibrary and loadLemmaLibraryWith not working

Issue - State: closed - Opened by roboguy13 over 9 years ago - 7 comments
Labels: bug

#24 - Clarify Structural Distinctions Between Effect Classes

Issue - State: closed - Opened by ecaustin over 9 years ago - 1 comment

#23 - Better error messages

Issue - State: open - Opened by roboguy13 over 9 years ago - 15 comments
Labels: enhancement

#22 - Run QueryFun

Issue - State: closed - Opened by xich over 9 years ago - 1 comment

#21 - Investigate Improving `External` class

Issue - State: closed - Opened by ecaustin over 9 years ago - 7 comments

#20 - `stopScript` not working

Issue - State: closed - Opened by roboguy13 over 9 years ago - 2 comments

#19 - Add diff checking to tests

Issue - State: closed - Opened by roboguy13 over 9 years ago - 1 comment

#18 - `navigate` and `command-line`

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

#16 - Implicit PrettyPrinter and CommandLineState arguments

Issue - State: closed - Opened by roboguy13 over 9 years ago - 7 comments

#15 - Proof mode not fully working

Issue - State: closed - Opened by roboguy13 over 9 years ago - 2 comments

#14 - Issues with wwSplit and wwSplitUnsafe

Issue - State: closed - Opened by roboguy13 over 9 years ago - 5 comments

#13 - Basic testing framework

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

#12 - Compound Rewrites

Issue - State: closed - Opened by roboguy13 over 9 years ago - 32 comments

#11 - Do we need `OverloadedStrings`?

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

#10 - Documentation in the new `External` class

Issue - State: closed - Opened by ecaustin over 9 years ago - 2 comments

#9 - resume fails badly

Issue - State: closed - Opened by andygill over 9 years ago - 7 comments

#8 - Better Ctrl+C handling

Issue - State: closed - Opened by RyanGlScott over 9 years ago - 1 comment

#7 - Port tests

Issue - State: open - Opened by andygill over 9 years ago - 5 comments

#6 - Add deriving instance for KURE and HERMIT

Issue - State: closed - Opened by andygill over 9 years ago - 1 comment

#5 - Add all ~350 commands to hermit-shell

Issue - State: open - Opened by andygill over 9 years ago - 1 comment

#4 - Interactive post-hooks

Issue - State: open - Opened by andygill over 9 years ago

#3 - goto in our DSL

Issue - State: open - Opened by andygill over 9 years ago

#2 - Handling Queries

Issue - State: open - Opened by andygill over 9 years ago - 4 comments

#1 - is rhsOf an effect or a query?

Issue - State: open - Opened by andygill over 9 years ago - 2 comments