Having just bought a new computer and done a fresh install of Haskell and the Copilot libraries, I found that the Struct in Copilot.Compile.C99 was using the name typeName instead of typename, so I was getting an error in code that used typename. Unless I accidentally installed a non-standard version of copilot-c99 package, it might be worth updating the manual to reflect this.

Description

The tutorial has an outdated list of contributors, and emails. That list should be updated to reflect any new co-authors, and the emails updated or removed.

Type

• Management: update author / email list.

Additional context

None

Requester

• Alwyn Goodloe

Method to check presence of the issue

Author list does not contain Will Pogge (who should be listed), and Ivan Perez' email is outdated.

Expected result

Author list should also incode Will Pogge. Emails shown should be updated and contain only Alwyn, Frank, Will and Ivan.

Desired result

Author list should also incode Will Pogge. Emails shown should be updated and contain only Alwyn, Frank, Will and Ivan.

Proposed solution

• Update author list to include Will Pogge.
• Remove emails of all authors except for Alwyn, Frank, Will and Ivan.
• Update emails of Alwyn, Frank, Will and Ivan as needed.

Further notes

None.

'Nearly 20 years' should be 'Over 25 years'

Remove any references to externFun, as it is not available anymore.

This repo suggests that it should serve as a central point for discussing copilot, but it's unclear whether we'd expect it to be that way. Most likely, people would discuss copilot in the copilot repo, and come here only to ask about tutorials and papers. Perhaps it's best to keep it that way.

We no longer need this here: https://github.com/Copilot-Language/copilot-discussion/tree/master/NASATM2020 now that the manual has been officially published.

Description

Copilot 3.12 now generates an additional header file with struct definitions. Any references in the tutorial to the C files generated should be updated.

Type

• Bug: keep up-to-date with changes in Copilot.

Additional context

• Copilot-Language/copilot#373

Requester

• Ivan Perez

Method to check presence of the issue

The description of the C files generated does not mention the <prefix>_types.h that is also generated. This file is generated in Copilot 3.12.

Expected result

Any mentions of the C code generated that explicitly mention and/or describe the files should also mention the <prefix>_types.h file that contains struct definitions.

Desired result

Any mentions of the C code generated that explicitly mention and/or describe the files should also mention the <prefix>_types.h file that contains struct definitions.

Proposed solution

Modify mentions of the C code generated that explicitly mention and/or describe the files generated to also mention the <prefix>_types.h file that contains struct definitions.

Further notes

None.

The installation instructions in the tutorial say that one must update the git submodules.

As a result of Copilot-Language/copilot#88, that is no longer necessary.

These sections should be removed for now, as they are mostly not representative of Copilot anymore.

I've been unable to find XOR (exclusive-or) for the Stream Word8 type. Advice appreciated.

Only the old contracts are mentioned. Probably Frank's and mine should too.

See also: Copilot-Language/copilot/issues/45

externArray doesn't exist anymore in Copilot 3.0. Arrays are monitored as regular streams.

Build instructions in the manual / tutorial should match those of the README and website.

The documentation at https://github.com/Copilot-Language/copilot-discussion/tree/master/WC-End2End is incomplete. We should either remove it, or find the original sources.

Section 3.5 states that Copilot can't monitor structs and two-dimensional arrays. This is incorrect

The latch example (fig 1, section 3.1) does not work. Haskell's if-else should be replaced by Copilot's mux or ifThenElse

We should a more complete example, showing the connection with the C code etc.

The readme states that copilot-discussion is available on hackage, but that does not seem to be true. See: http://hackage.haskell.org/package/copilot-discussion

Typo in the last sentence of section 1.4

Comment near the triggers: hight -> high

The counter example (fig 2, section 3.1) does not work. Haskell's if-else should be replaced by Copilot's mux or ifThenElse