issues
search
ku-fpg
/
hermit
Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Plugin vs CommandLineState for the New Shell
#136
andygill
opened
9 years ago
2
Path Bindings in Pretty Printer Output
#135
andygill
opened
9 years ago
3
const introduction for universal quantification only on the RHS
#134
roboguy13
opened
9 years ago
19
Inefficient childL implementations in HERMIT.Kure Walker instances
#133
roboguy13
closed
9 years ago
3
Pattern match failure when using induction without a forall
#132
roboguy13
closed
9 years ago
3
Foralls not always displaying
#131
roboguy13
closed
9 years ago
3
`reflexivity` pattern match failure
#130
roboguy13
closed
9 years ago
1
Reimplement W/W using composite lemmas
#129
xich
opened
9 years ago
0
specialise and specialize
#128
roboguy13
opened
9 years ago
4
Why do we use RhsOfName, rather than just Name/HermitName?
#127
andygill
opened
9 years ago
2
Investigate using custom printer with the Black Shell
#126
andygill
opened
9 years ago
2
Interactive shell fails to parse names that include literal syntax
#125
ecaustin
closed
9 years ago
4
ExprH is used for error messages
#124
andygill
opened
9 years ago
0
Complete the TypedEffectH data structure and perform function.
#123
andygill
opened
9 years ago
0
Use base-compat to reduce CPP cruft
#122
RyanGlScott
closed
9 years ago
4
Integrating HERMIT with cabal
#121
andygill
opened
9 years ago
4
Catching GHC panics?
#120
conal
opened
10 years ago
2
Long delay after 'resume'?
#119
conal
closed
10 years ago
3
Definition elimination for CoreProg?
#118
conal
opened
10 years ago
2
GHC 7.6 fixes
#117
RyanGlScott
closed
10 years ago
0
ghc: user error (user error (Path is unchanged, nothing to do.))
#116
RyanGlScott
closed
9 years ago
16
GHC Panic: static flags have not been initialized
#115
RyanGlScott
closed
6 years ago
16
over-eager letNonRecSubstR?
#114
conal
opened
10 years ago
6
let-float from case alternative
#113
conal
closed
10 years ago
2
Generating Lemmas
#112
xich
opened
10 years ago
4
Performance info gathering?
#111
conal
opened
10 years ago
4
Eliminate impossible case alternatives?
#110
conal
closed
10 years ago
11
unshadow and stash
#109
xich
opened
10 years ago
1
coercionSyntaxEq: handle SubCo (for ghc > 706)
#108
conal
closed
10 years ago
1
set-pp-width and casts
#107
conal
opened
10 years ago
8
Constructing coercion for associated type instance
#106
conal
opened
10 years ago
4
Relax type of buildDictionaryT
#105
conal
closed
10 years ago
2
Reach upward from transformation?
#104
conal
opened
10 years ago
2
bashR introducing a type error
#103
conal
closed
10 years ago
11
Tests fail to run on Windows
#102
RyanGlScott
closed
7 years ago
3
Adding run-time flags etc
#101
conal
opened
10 years ago
12
#if __GLASGOW_HASKELL__ <= 706 causes lexical error in ParserType.y
#100
RyanGlScott
closed
10 years ago
2
Invoking GHC's simplifyExpr from HERMIT
#99
conal
opened
10 years ago
10
"Inline failed: values in inlined expression have been rebound"
#98
conal
closed
10 years ago
16
buildDictionary requires GHC > 7.6 but is used anyway in GHC ≤ 7.6
#97
RyanGlScott
closed
10 years ago
1
GHC rewrite rules and constructor wrappers?
#96
conal
opened
10 years ago
13
Core Parser
#95
xich
opened
10 years ago
0
Exiting HERMIT with Ctrl-C on Windows causes Cygwin input to fail
#94
RyanGlScott
closed
10 years ago
2
Finish coverage of Coercion type
#93
conal
opened
10 years ago
0
Core Lint warning with GHC but not HERMIT
#92
conal
opened
10 years ago
1
HERMIT now requires GHC ≥ 7.8?
#91
RyanGlScott
closed
10 years ago
2
Rewriting away casts
#90
conal
opened
10 years ago
2
bashR succeeding without change?
#89
conal
opened
10 years ago
4
Find/construct dictionary from class and type
#88
conal
closed
10 years ago
21
Case reduction failure with GADT
#87
conal
closed
10 years ago
4
Previous
Next