test/ikc3/sym.out.expected

Branch


Log

Author Commit Date CI Message
Thomas de Grivel 72acccd8 2025-08-26T16:24:51 fix pointer test and facts_with ikc3 tests
Thomas de Grivel baab45a7 2025-07-19T19:45:46 make ikc3 tests pass again, add % operator
Thomas de Grivel 5ca06dac 2025-03-17T22:37:36 fix memleaks in sym_anon
Thomas de Grivel 1ae6ad0e 2024-07-15T19:59:52 rename c3 to kc3, fix update_source, configure, build