Welcome to the weekly development report or what was done in my Open Source projects in the last week. If I'm good count, it is around one year since I switch from Git to Fossil as my main SCM. I have to write that I'm still very happy from this change. Fossil is much lighter and faster than Git, also for me, it is a much easier to manage smaller projects with it. That was definitely a good change. :) The only downside is that Fossil is a lot less popular than Git, thus many tools doesn't support it.
Roguelike in a sky with steampunk theme (written in Ada)
In the stable version, again, nothing to report. The next week will be the last when something can be changed, because soon the development version of the game will enter “bug-fix only” mode.
Speaking of which, here work going as usual:
Ada binding to Tcl/Tk, the new version of TASHY
Finished for now the work related to changing various variables types from
Unbounded_Variable_Name types. Also, added
a new type
Max_Length_Type for them, so now it should be easier to change it.
Then the whole week work was on fixing various problems reported by gnatprove
tool. Some preconditions updated and a lot of checks added to the code, mostly
Tk.Widget package. And amount of proofs to fix only raising not going
down. :) Well, this will take a lot of time, to fix them all. Also, the unit
tests updated to the new version of various subprograms.
Graphical File Manager for Linux (written in Ada)
The most work this week was again in the console version of the program:
Yass project to generate this website
Only invisible changes this week. All the blog posts now use default template for the pages. This should make maintenance of the site a bit simpler. As the work here is finished, the project back to it sleep state. Probably again for the whole year.