Currently, c4f is licenced under the intersection of the MIT and CECILL-B licences; this is because the litmus parsing and utility code (and perhaps bits of the C code) ultimately derive from code borrowed from herd.
It would be nice to be able to licence c4f just under MIT, like the rest of the c4 project. I am not a lawyer, but I think this would involve clean-room reimplementing all of the affected code.
It may well be at this stage that the easiest thing to do is decouple c4f from the litmus format entirely - maybe we'd spin off a separate project (under MIT/CECILL-B) that manipulates litmus tests and maps from, say, C+aux.json to and from litmus.
Currently,
c4fis licenced under the intersection of the MIT and CECILL-B licences; this is because the litmus parsing and utility code (and perhaps bits of the C code) ultimately derive from code borrowed from herd.It would be nice to be able to licence
c4fjust under MIT, like the rest of the c4 project. I am not a lawyer, but I think this would involve clean-room reimplementing all of the affected code.It may well be at this stage that the easiest thing to do is decouple
c4ffrom the litmus format entirely - maybe we'd spin off a separate project (under MIT/CECILL-B) that manipulates litmus tests and maps from, say, C+aux.json to and from litmus.