deesix 05d962fcfc @@@ unify 64 bits archs (run_test.sh)		2021-01-31 00:00:00 +01:00
..
array.c	Add support for global char foo[12]; definitions	2021-01-10 23:01:08 +00:00
hello-armv7l.sh	@@@ tests: source new test/env.inc.sh	2021-01-31 00:00:00 +01:00
hello-x86.sh	@@@ tests: source new test/env.inc.sh	2021-01-31 00:00:00 +01:00
proof.answer	tests: get proof from test0025 stderr (and other minor fixes)	2021-01-17 00:00:00 +01:00
run_test.sh	@@@ unify 64 bits archs (run_test.sh)	2021-01-31 00:00:00 +01:00