nissy-classic/TODO/testing.md, branch master Stable branch of nissy https://git.tronto.net/nissy-classic/atom?h=master 2023-05-01T10:48:55Z Reverted to 2.0.3 2023-05-01T10:48:55Z Sebastiano Tronto sebastiano@tronto.net 2023-05-01T10:48:55Z urn:sha1:6f4313bc1ed5be794146e6ca2fd73f48c7906061 Added notes for solver theory 2023-02-08T22:20:11Z Sebastiano Tronto sebastiano@tronto.net 2023-02-08T22:20:11Z urn:sha1:374c33d1412f8f3a35dd3eb874dcaef82d60fff4 Some improvements to test suite, ready to go 2023-02-04T16:26:32Z Sebastiano Tronto sebastiano@tronto.net 2023-02-04T16:26:32Z urn:sha1:092270834eac54ed33e634494f9f38ba7fd38fd4 Started working on testing (broken for now) 2023-01-21T23:23:32Z Sebastiano Tronto sebastiano@tronto.net 2023-01-21T23:23:32Z urn:sha1:aaeb153ce869567f4f88f083dba28445216714f6 Re-organized TODO file 2023-01-14T21:33:09Z Sebastiano Tronto sebastiano@tronto.net 2023-01-14T21:33:09Z urn:sha1:fcb3ac9b02c3ed150fbf6d539613510cc83627ea