nissy-classic/src/threader_eager.c, 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 Some fixes 2023-03-05T14:17:07Z Sebastiano Tronto sebastiano@tronto.net 2023-03-05T14:17:07Z urn:sha1:1a5bfe9b08707b0aef748d7921a419ba4a046fba I made a mess, but it works. Still need to implement new optimal solver. 2023-03-05T09:13:01Z Sebastiano Tronto sebastiano@tronto.net 2023-03-05T09:13:01Z urn:sha1:87a15e960e31365698df7e06cd3e6b851e17c1a5 After that, a big redesign is due.