GaloisInc/salty issues and pull requests

#21 - Handle states without successors

Pull Request - State: closed - Opened by hamilj over 4 years ago - 1 comment

#20 - Paper updates

Pull Request - State: closed - Opened by hamilj almost 5 years ago

#19 - Add option to report some statistics related to the controller's size

Pull Request - State: closed - Opened by hamilj about 5 years ago

#18 - Fix/unhandled

Pull Request - State: closed - Opened by hamilj about 5 years ago

#17 - Adding in ability to generate SPARK/Ada controller implementations from a fork

Pull Request - State: closed - Opened by lhumphrey about 5 years ago

#16 - Liveness not translated to slugs correctly

Issue - State: open - Opened by lhumphrey about 5 years ago - 4 comments

#15 - Lhpullreq

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

#14 - Remove the slot assignment in Python generated controllers

Issue - State: open - Opened by sahabi almost 7 years ago

#13 - Feature Request: C++ code generator

Issue - State: closed - Opened by sahabi over 7 years ago - 1 comment

#12 - Suggested Addition: Environment transitions

Issue - State: open - Opened by sahabi almost 8 years ago

#11 - Panic Error when using formula of the form (x == 0) -> (x' == 1)

Issue - State: closed - Opened by sahabi almost 8 years ago

#10 - Parse error when bounding an Int variable

Issue - State: closed - Opened by sahabi almost 8 years ago - 1 comment

#9 - Realizable in Slugs but not realizable in Salty

Issue - State: closed - Opened by sahabi almost 8 years ago - 2 comments

#8 - Support xor

Issue - State: closed - Opened by elliottt almost 8 years ago - 1 comment

#7 - Support `sys_init` and `env_init`

Issue - State: closed - Opened by elliottt almost 8 years ago - 1 comment

#6 - Comparison/arithmetic operators

Issue - State: open - Opened by elliottt almost 8 years ago

#5 - Layout bug

Issue - State: open - Opened by elliottt almost 8 years ago

#4 - Allow slugs output to be written to a file

Issue - State: open - Opened by elliottt about 8 years ago

#3 - synthesis tools that may be useful

Issue - State: open - Opened by johnyf over 8 years ago - 2 comments

#2 - Empty list error

Issue - State: closed - Opened by leepike over 8 years ago - 1 comment

#1 - stack: alternate build to overcome the happy issue

Pull Request - State: closed - Opened by leepike over 8 years ago - 2 comments

Ecosyste.ms: Issues

GitHub / GaloisInc/salty issues and pull requests