seitan/debug/Makefile, branch master Syscall Expressive Interpreter, Transformer and Notifier Fix makefile for debug target 2023-07-04T10:38:15+00:00 Alice Frosi afrosi@redhat.com 2023-07-04T10:38:15+00:00 af46eee875d6a9cd4dc1b4de1329d9c181d6c67c 






treewide: Change to GPLv2, add LICENSES, missing headers
2023-06-04T06:29:05+00:00

Stefano Brivio
sbrivio@redhat.com

2023-06-04T06:13:23+00:00

37e94bd191701a08e0081b2027cfbede6d76a21c

As discussed with Alice -- 'reuse lint' passes now.

Signed-off-by: Stefano Brivio <sbrivio@redhat.com>





As discussed with Alice -- 'reuse lint' passes now.

Signed-off-by: Stefano Brivio <sbrivio@redhat.com>







Re-arrange repository structure
2023-03-24T15:08:46+00:00

Alice Frosi
afrosi@redhat.com

2023-03-24T15:08:46+00:00

e6562db0423e6019154baf05beb02ff3da02f3bb