Planning Copilot 4.7.1

[ivanperez-keera]

This is a space for planning release 4.7.1 (or maybe 4.8, depending on what changes) of Copilot.

[ivanperez-keera]

We have a bunch of tabs in the repo:

copilot-interpreter/src/Copilot/Interpret/Eval.hs:22:				arrayElems, arrayUpdate, specObservers,
copilot-bluespec/DESIGN.md:421:	      RST_N,
copilot-bluespec/DESIGN.md:423:	      even_guard,
copilot-bluespec/DESIGN.md:425:	      even_arg0,
copilot-bluespec/DESIGN.md:427:	      odd_guard,
copilot-bluespec/DESIGN.md:429:	      odd_arg0);
copilot-bluespec/DESIGN.md:818:	      RST_N,
copilot-bluespec/DESIGN.md:820:	      even_guard,
copilot-bluespec/DESIGN.md:822:	      even_arg0,
copilot-bluespec/DESIGN.md:824:	      odd_guard,
copilot-bluespec/DESIGN.md:826:	      odd_arg0,
copilot-bluespec/DESIGN.md:828:	      fibs);
copilot-bluespec/CHANGELOG:7:	* Fix translation of constant floating-point values. (#696)

I really would like to replace them.

[ivanperez-keera]

We get warnings during uploads to hackage due to missing constraints on packages. I'd also like to get rid of those.

[ivanperez-keera]

This affects the verifier and the main copilot package.

[ivanperez-keera]

@RyanGlScott am I right to understand that you'll be "inheriting" #697 ?

[RyanGlScott]

Yes, that's correct.

[ivanperez-keera]

@chathhorn-galois based on your message and the discussion we had, can you work on #692 for the next release?

[ivanperez-keera]

@chathhorn-galois Done. Please let me know in this discussion or via email (not in the issue) when you start working on it so that I keep track of how things are going.