Ecosyste.ms: Issues

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

GitHub / emc2/arith-encode issues and pull requests

#24 - Make compatible with latest ecosystem

Pull Request - State: closed - Opened by Bodigrim over 5 years ago - 1 comment

#22 - remove -Werror

Pull Request - State: closed - Opened by idupree about 9 years ago

#21 - Fix boundedSeq bugs

Pull Request - State: closed - Opened by idupree about 9 years ago - 2 comments

#20 - Fix -Werror warning on GHC 7.10 without breaking 7.8

Pull Request - State: closed - Opened by idupree about 9 years ago - 4 comments

#19 - Handle large-yet-bounded types better

Issue - State: open - Opened by idupree about 9 years ago - 2 comments

#18 - Binary serialize/deserialize functionality.

Issue - State: closed - Opened by emc2 about 10 years ago
Labels: enhancement

#17 - Need tests for relation

Issue - State: closed - Opened by emc2 over 10 years ago - 1 comment
Labels: test needed

#16 - Remove depth and associated functionality

Issue - State: closed - Opened by emc2 over 10 years ago
Labels: enhancement

#15 - Add power encoding

Issue - State: closed - Opened by emc2 over 10 years ago
Labels: enhancement

#14 - Relation encoding needs to use finite sets for with a finite range

Issue - State: closed - Opened by emc2 over 10 years ago - 1 comment
Labels: invalid

#13 - Function encoding needs to use finite sequences for finite domains

Issue - State: closed - Opened by emc2 over 10 years ago
Labels: bug

#12 - Need tests for function

Issue - State: closed - Opened by emc2 over 10 years ago - 1 comment
Labels: test needed

#11 - Bounded set encoding

Issue - State: open - Opened by emc2 over 10 years ago - 1 comment
Labels: enhancement

#10 - wrap should allow for partial reverse encoding function

Issue - State: closed - Opened by emc2 over 10 years ago - 1 comment
Labels: enhancement

#9 - Primitive recursive construction

Issue - State: open - Opened by emc2 over 10 years ago
Labels: enhancement

#8 - Encoding type class

Issue - State: open - Opened by emc2 over 10 years ago
Labels: enhancement

#7 - Partial order encoding

Issue - State: open - Opened by emc2 over 10 years ago
Labels: enhancement

#6 - Tree encoding

Issue - State: closed - Opened by emc2 over 10 years ago
Labels: enhancement

#5 - Relation encoding

Issue - State: closed - Opened by emc2 over 10 years ago
Labels: enhancement

#4 - Function encoding

Issue - State: closed - Opened by emc2 over 10 years ago
Labels: enhancement

#3 - Bounded sequence encoding

Issue - State: closed - Opened by emc2 over 10 years ago
Labels: enhancement

#2 - General graph encoding

Issue - State: open - Opened by emc2 over 10 years ago
Labels: enhancement

#1 - Documentation

Issue - State: closed - Opened by emc2 over 10 years ago - 1 comment
Labels: documentation