Ecosyste.ms: Issues

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

GitHub / stchang/typed-rosette issues and pull requests

#36 - update typed rosette to work with latest turnstile

Issue - State: open - Opened by bennn over 6 years ago - 9 comments

#35 - Compatibility with new current-type=? API

Pull Request - State: closed - Opened by michaelballantyne almost 7 years ago - 1 comment

#33 - Documentation

Issue - State: open - Opened by pmatos almost 7 years ago - 3 comments

#32 - sync with rosette HEAD

Issue - State: open - Opened by stchang about 7 years ago

#31 - changes required to support turnstile intdef branch

Pull Request - State: closed - Opened by michaelballantyne about 7 years ago

#30 - more Incremental lang merging

Pull Request - State: closed - Opened by stchang over 7 years ago

#29 - `(U (Term ty))` should typcheck with `(Term ty)`?

Issue - State: open - Opened by stchang over 7 years ago - 1 comment

#27 - use syntax-local-value and type-decl struct instead of local-expand

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago

#26 - bad syntax when defining value with `define` and existing name

Issue - State: closed - Opened by stchang over 7 years ago - 3 comments

#25 - travis.yml: refer to typed-rosette branch of Ocelot

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago

#24 - add cases for concrete-path function types

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago - 1 comment

#23 - Concrete poly

Pull Request - State: closed - Opened by stchang over 7 years ago

#22 - Incremental lang merging

Pull Request - State: closed - Opened by stchang over 7 years ago

#21 - `CFalse` wrapped with `Term`

Issue - State: closed - Opened by stchang over 7 years ago - 4 comments

#20 - Re-define begin to transfer props from last body expr

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago

#19 - `begin` doesnt transfer props?

Issue - State: closed - Opened by stchang over 7 years ago - 5 comments

#18 - props for raw variables?

Issue - State: open - Opened by stchang over 7 years ago - 2 comments

#17 - Changes needed for Ocelot

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago - 13 comments

#16 - disallow mutation of top-level vars?

Issue - State: open - Opened by stchang over 7 years ago

#15 - `for/all` that does nothing shouldnt change type

Issue - State: closed - Opened by stchang over 7 years ago - 5 comments

#14 - cannot put `Constant` type in `U` type --- remove `Constant` wrapper?

Issue - State: open - Opened by stchang over 7 years ago - 6 comments

#13 - Add Term type constructor, fix for/all

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago - 4 comments

#12 - Unsoundness from for/all

Issue - State: closed - Opened by AlexKnauth over 7 years ago - 22 comments

#11 - lambda forms typecheck against case-> types

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago

#10 - Types for lifted functions that preserve concrete-ness

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

#9 - add predicates for concrete-only types

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago - 8 comments

#8 - add types for structure type properties

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago - 2 comments

#7 - Mutabile locations must have symbolic types

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago - 2 comments

#6 - Occurrence typing?

Issue - State: closed - Opened by stchang over 7 years ago

#5 - add case-lambda?

Issue - State: open - Opened by stchang over 7 years ago - 4 comments

#4 - add CAny type

Issue - State: closed - Opened by stchang over 7 years ago - 2 comments

#3 - mutable data structure unsoundness

Issue - State: closed - Opened by stchang over 7 years ago - 24 comments

#2 - fix mistakes in PR #1

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago

#1 - Changes needed for ocelot

Pull Request - State: closed - Opened by AlexKnauth over 7 years ago - 14 comments