issues
search
abau
/
co4
COmplexity COncerned COnstraint COmpiler
GNU General Public License v3.0
2
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Wrong Assertion?
#118
csternagel
closed
6 years ago
2
fromKnown with 3rd, 4th, ... constructor of data type
#117
csternagel
closed
6 years ago
3
Illegal variable name: ‘enc++PolyInstance_3235’
#116
jwaldmann
closed
6 years ago
0
Illegal variable name: ‘enc[]Cons’
#115
jwaldmann
opened
6 years ago
1
compile with ghc-8.2
#114
jwaldmann
closed
6 years ago
1
Configurable support for partial functions
#113
abau
opened
9 years ago
0
Applicative-like operators for Allocators
#112
jwaldmann
closed
9 years ago
2
Multiple declarations of ...
#111
jwaldmann
closed
9 years ago
2
add picture-hanging example
#110
jwaldmann
closed
9 years ago
0
build error (src/CO4/Frontend/HaskellSrcExts.hs:44:87:)
#109
jwaldmann
closed
9 years ago
1
transformers needs -compat?
#108
jwaldmann
closed
9 years ago
0
configurable name of top-level constraint
#107
abau
opened
10 years ago
0
README.md: Fix unbound identifiers
#106
Blaisorblade
closed
10 years ago
2
overflow in naturals leads to unsatisfiable constraint
#105
abau
closed
10 years ago
0
support if-then-else
#104
abau
closed
10 years ago
1
note: moved co4/tc subdir to matchbox repo
#103
jwaldmann
closed
10 years ago
1
represent Set Int as [Bool]
#102
jwaldmann
opened
10 years ago
0
automatic asserts
#101
jwaldmann
closed
10 years ago
2
assertKnownWithMsg :: String -> a -> a
#100
jwaldmann
closed
10 years ago
1
instantiation (?) fails
#99
abau
opened
10 years ago
1
models must be total (patttern should end with [Any,..,Any])
#98
jwaldmann
closed
10 years ago
0
output of labelled systems is broken
#97
jwaldmann
opened
10 years ago
3
Prelude.head: empty list in CPF output
#96
jwaldmann
closed
10 years ago
1
wrong CPF output for models with patterns
#95
jwaldmann
closed
10 years ago
4
proof output for semantic labelling should use tc/MB/Proof
#94
jwaldmann
opened
10 years ago
0
union on typed allocators
#93
abau
closed
10 years ago
1
Complete class for allocatable types
#92
abau
closed
10 years ago
0
Problem with Usable Rules
#91
rene-thiemann
closed
10 years ago
2
fixed version of JFP_Ex31.cpf.2
#90
rene-thiemann
closed
10 years ago
0
assignments should look at (no. of) variables in rules
#89
jwaldmann
closed
10 years ago
1
wrong termination claim
#88
abau
closed
10 years ago
9
toCpfOrderingConstraintProof must handle non-singleton [UsableOrder MSL]
#87
jwaldmann
closed
10 years ago
1
missing file CO4.Test.TermComp2014.Proof.Dump
#86
jwaldmann
closed
10 years ago
1
orelse (andthen p q) r : should not backtrack
#85
jwaldmann
closed
10 years ago
2
Usable rules + new main prog.
#84
jwaldmann
closed
10 years ago
1
Shrink git repository
#83
abau
closed
10 years ago
1
semantic labelling: better main program
#82
jwaldmann
closed
10 years ago
2
semantic labelling: CPF output (to check JFP_Ex31)
#81
jwaldmann
closed
10 years ago
3
stepwise removal (= lexicographic combination) is wrong
#80
jwaldmann
closed
10 years ago
1
semantic labelling: symbol map: should use common bit width
#79
jwaldmann
opened
10 years ago
1
cache for abstract computation => memoize for concrete computation?
#78
jwaldmann
opened
10 years ago
0
semantic labelling: compute usable rules
#77
jwaldmann
closed
10 years ago
1
Optimize `EncodedAdt.constructorArgument`
#76
abau
opened
10 years ago
0
optimize merge
#75
abau
closed
10 years ago
1
linear interpretation: coefficients should be (nat 1) instead of Bool
#74
jwaldmann
closed
10 years ago
1
allow Nat operations with inputs of different bit width
#73
jwaldmann
closed
10 years ago
1
LPO + MPO => RPO
#72
jwaldmann
opened
10 years ago
0
linear interpretations: need to handle nodes of arity /= 1
#71
jwaldmann
closed
10 years ago
0
empty precedence (optional), projections in argument filters
#70
jwaldmann
closed
10 years ago
0
ArgFilter with projections
#69
jwaldmann
closed
10 years ago
1
Next