Ecosyste.ms: Issues

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

GitHub / GaloisInc/lustre issues and pull requests

#20 - simple fix to allow mode as an identifier

Pull Request - State: closed - Opened by Ptival over 4 years ago

#19 - fix typo

Pull Request - State: closed - Opened by Ptival over 4 years ago

#18 - Allow Lustre keywords as identifiers

Issue - State: open - Opened by atomb about 5 years ago

#17 - Implement arrays with non-constant selectors

Issue - State: open - Opened by yav over 5 years ago

#16 - Support for sub-ranges in the Core syntax.

Issue - State: closed - Opened by yav over 5 years ago - 1 comment

#14 - Calls to functions in constants

Issue - State: open - Opened by yav over 5 years ago - 1 comment

#13 - assert condact(...) parse errors in `ivc` tests from `jkind`

Issue - State: closed - Opened by yav over 5 years ago - 2 comments

#12 - Fix handling of `Const` in the `NoStruct` pass

Issue - State: closed - Opened by yav over 5 years ago

#11 - Proper timing of consasnts

Issue - State: closed - Opened by yav over 5 years ago - 1 comment

#10 - Don't identify call sites by the list of identifiers being defined.

Issue - State: open - Opened by yav over 5 years ago - 1 comment

#9 - Allow passing in literals for clocks.

Issue - State: closed - Opened by yav over 5 years ago - 1 comment

#8 - Calls with clocked arguments

Issue - State: closed - Opened by yav over 5 years ago - 1 comment

#7 - 0 arity LHS in equations

Issue - State: closed - Opened by yav over 5 years ago - 2 comments

#6 - Implement passing of primitives as static node arguments

Issue - State: open - Opened by yav over 5 years ago

#5 - Add `jkind` tests to this repo too

Issue - State: closed - Opened by yav over 5 years ago - 1 comment

#4 - Generalize struct updates to expressions rather than just identifiers

Issue - State: closed - Opened by yav over 5 years ago - 1 comment

#3 - Implement `condact`

Issue - State: closed - Opened by yav over 5 years ago - 3 comments

#2 - Implement array updates

Issue - State: open - Opened by yav over 5 years ago - 1 comment

#1 - Implement structs in type checker

Issue - State: closed - Opened by yav over 5 years ago