test/ikc3/bool.out.expected


Log

Author Commit Date CI Message
Thomas de Grivel 6b12c5a8 2024-10-15T13:53:51 test
Thomas de Grivel 1ae6ad0e 2024-07-15T19:59:52 rename c3 to kc3, fix update_source, configure, build