3 Commits (7037573d8b5361a35ff19a21bedfcf05e901c6cc)

Author SHA1 Message Date
Patrick Mezard 50475c616b test/ciao: reverse learnt to handle circle at some point 9 years ago
Peter Johnson 51858781a9 fix ciao tests 9 years ago
Peter Johnson 82ab899ecc progress commit 10 years ago
Peter Johnson bfb63ec912 update ciao tests, update ciao itself 10 years ago
Peter Johnson 719b32b304 fix ciao tests 10 years ago