GaloisInc/tower issues and pull requests

#21 - fix compatibility with GHC8.4+

Pull Request - State: closed - Opened by sorki over 5 years ago

#20 - fix build with ghc-8.2

Pull Request - State: closed - Opened by sorki almost 7 years ago

#19 - Fixed '‘GHC.Base’ does not export ‘Any’' error

Pull Request - State: closed - Opened by fmckeogh almost 7 years ago

#18 - Writing a new backend for Tower

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

#17 - Asynchronous scheduler

Pull Request - State: closed - Opened by podhrmic almost 8 years ago

#16 - Double check makefile generation for aadl backend

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

#15 - Deleting the bottom-up analysis

Issue - State: open - Opened by GAJaloyan over 8 years ago

#14 - Look into spurious header file inclusion

Issue - State: closed - Opened by acfoltzer over 8 years ago - 1 comment
Labels: minitower

#13 - C files generated from components should go in separate subdirectories

Issue - State: closed - Opened by acfoltzer over 8 years ago - 1 comment
Labels: minitower

#12 - Jal master into master

Pull Request - State: open - Opened by GAJaloyan over 8 years ago - 1 comment

#11 - Emitter memory area declarations duplicated

Issue - State: closed - Opened by leepike over 9 years ago - 2 comments

#10 - Broken link in from ivorylang.org

Issue - State: closed - Opened by expipiplus1 over 9 years ago - 5 comments

#9 - channels should be able to send tuples of areas

Issue - State: open - Opened by pchickey over 9 years ago

#8 - Stable unique names

Issue - State: closed - Opened by pchickey almost 10 years ago - 4 comments

#7 - Hardcode names

Pull Request - State: closed - Opened by leepike almost 10 years ago - 1 comment

#6 - Srcloc

Pull Request - State: closed - Opened by leepike almost 10 years ago - 1 comment

#5 - Feature request: task initialization time code insertion

Issue - State: closed - Opened by jtdaugherty over 10 years ago - 1 comment

#4 - Task/Tower type parameters

Issue - State: closed - Opened by leepike about 11 years ago - 1 comment

#3 - taskModuleDef

Issue - State: closed - Opened by leepike over 11 years ago - 1 comment
Labels: enhancement

#2 - Haddock comments on Tower API functions

Issue - State: closed - Opened by leepike over 11 years ago - 2 comments

#1 - Empty file generation