Changes in version 1.5-1 (2025-11-10)                  

  - bugfixes

                 Changes in version 1.5-0 (2025-09-18)                  

  - formal test suite
  - bugfix
  - consistentification

                        Changes in version 1.4-2                        

-- bugfixes