Weekly development report 2022/01/08

The second week of preparation for the next stable release finished. Again, not too many interesting things to show.

• The most work this week spent on code cleanup, same as in the previous week. And still a lot more to do. :) These changes also triggered some updates to the game's unit tests.
• Some updates to the ship to ship combat screen: the enemy's ship's modules are now “visually” destroyed after combat. The bigger change is that the section, which previously showed only the player's ship's damage, now shows all the player's ship's modules. I think it will be more consistent with the enemy status information.
• Breaking change for the game modding: prototypes of the mobs now can have only numbers as their indexes. Previously, it was possible to set also any string for it. It is a part of preparation of the code for formal verification. Soon or later, all the indexes will back again to number only mode.
• Technobabble: I've changed the default theorem prover for formal verification of the code (at this moment a very small amount) from CVC4 to Z3. It gives the same results, but it is around twice times faster than the old.