Issues to address in Copilot 4.4

[ivanperez-keera]

Here's the list of issues that I'm hoping to address in Copilot 4.4:

• copilot-theorem: Code contains unused pragmas #613
• copilot: Fix build status icon in README #612
• copilot-theorem: Extend range of versions of what4 #611
• copilot-theorem: Make the kind2 connection handle both existentially and universally quantified properties correctly #594

We may also be able to address #607 if we get the solution and the procedure sorted in time.

#594 is already assigned to @RyanGlScott . #611 may be addressed by @jkachmar (TBD).

If any other community members would like to help with other issues, please respond below.

Please be aware that we need to have all fixes sent as PRs by April 21, and all new contributors will need to provide a signed CLA (https://github.com/Copilot-Language/copilot-discussion/tree/master/CLAs; pick the one that applies to your situation).

[kaBeech]

@ivanperez-keera I can take #612 for sure. I'd love to tackle #613 too, as it gives me an excuse to brush up on some Haskell best practices.

Thanks for your patience with me not contributing much recently. Very busy time for me!

[ivanperez-keera]

@kaBeech I've asigned #612 to you.

Let me know when you start working on it. If you can send that soon, I think we can tackle #613 as well during this release.

Thanks!

[kaBeech]

@ivanperez-keera I've started working on this - hopefully will have it sent by EOD.

Thanks!