ic3/ic3.c


Log

Author Commit Date CI Message
Thomas de Grivel 9c82647d 2023-10-22T17:00:05 fix c3s
Thomas de Grivel 8dc9639f 2023-10-18T21:50:23 wip operators
Thomas de Grivel 26a03f17 2023-09-07T12:13:27 wip segv =
Thomas de Grivel 32021d1f 2023-09-07T11:27:48 wip ic3
Thomas de Grivel 5da26941 2023-07-25T23:08:48 remove whitespace from ic3
Thomas de Grivel 3d8d7728 2023-03-23T17:19:58 licence
Thomas de Grivel 62b5c03f 2023-01-31T13:11:19 c3_init(s_env *env)
Thomas de Grivel 01b92a68 2023-01-30T17:13:03 shutdown -> clean
Thomas de Grivel 054f542a 2023-01-30T10:38:08 wip remove alloca
Thomas de Grivel fadc8073 2023-01-25T10:24:29 copyright
Thomas de Grivel 27db4062 2022-12-31T01:43:49 tests ok
Thomas de Grivel ba58df36 2022-12-18T22:27:49 wip error
Thomas de Grivel afa4413a 2022-12-07T18:48:02 readline -> linenoise
Thomas de Grivel f990b98e 2022-12-06T13:37:43 licence
Thomas de Grivel de9a6ab2 2022-11-25T21:57:50 wip eval
Thomas de Grivel 557fa30f 2022-11-07T18:05:55 list_copy
Thomas de Grivel 865d1524 2022-10-31T00:50:45 c3-lang