├── .gitignore ├── .gitmodules ├── CHANGELOG.org ├── HACKING ├── INSTALL ├── LICENSE ├── README.md ├── cc-minimal.c ├── cc.c ├── cc.h ├── cc_core.c ├── cc_emit.c ├── cc_emit.h ├── cc_globals.c ├── cc_globals.h ├── cc_macro.c ├── cc_reader.c ├── cc_strings.c ├── cc_types.c ├── docs └── M2-Planet.1 ├── gcc_req.h ├── makefile ├── makefile-tests ├── sha256.sh └── test ├── .gitignore ├── cleanup_test.sh ├── compile-fail.sh ├── compile-fail ├── error_preprocessor.c ├── include_doesnt_exist.c ├── include_doesnt_exist2.c └── incorrect_function_call.c ├── env.inc.sh ├── run-pass.sh ├── run-pass ├── anonymous_members.c ├── anonymous_types.c ├── assignment.c ├── casting.c ├── constant_expressions.c ├── dereference.c ├── directory │ ├── include_file_g.h │ └── include_file_indirect.h ├── double_include_ifdef.c ├── empty-statement.c ├── enum.c ├── first_line_preprocessor.c ├── fixed_int.c ├── for_loop_declaration.c ├── forward_declare.c ├── function_like_macros.c ├── function_pointers.c ├── functions.c ├── huge_locals.c ├── ifdef_blocks.c ├── implicit_main_return.c ├── include_ctype.c ├── include_file_f.h ├── include_first_line.c ├── include_middle_file.c ├── include_works.c ├── indirect_include.c ├── macros.c ├── macros_expanding_macros.c ├── member_access.c ├── multi_token_types.c ├── negative_global_inits.c ├── pointer_arithmetic.c ├── prefix_postfix.c ├── preprocessor_spaces.c ├── static_variables.c ├── strings.c ├── struct_typedef_init.c ├── variables.c └── variadic_functions.c ├── test.answers ├── test0000 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── return.c └── run_test.sh ├── test0001 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── library_call.c └── run_test.sh ├── test0002 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── if.c └── run_test.sh ├── test0003 ├── constant.c ├── hello-knight-native.sh ├── hello-knight-posix.sh └── run_test.sh ├── test0004 ├── call.c ├── hello-knight-native.sh ├── hello-knight-posix.sh └── run_test.sh ├── test0005 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── run_test.sh └── string.c ├── test0006 ├── for.c ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0007 ├── do.c ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0008 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── run_test.sh └── struct.c ├── test0009 ├── goto.c ├── hello-knight-native.sh ├── hello-knight-posix.sh └── run_test.sh ├── test0010 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── nested_struct.c └── run_test.sh ├── test0011 ├── break-do.c ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0012 ├── break-for.c ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0013 ├── break-while.c ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0014 ├── basic_args.c ├── hello-knight-posix.sh ├── proof-aarch64.answer ├── proof-amd64.answer ├── proof-armv7l.answer ├── proof-knight-posix.answer ├── proof-riscv32.answer ├── proof-riscv64.answer ├── proof-x86.answer └── run_test.sh ├── test0015 ├── file_read.c ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0016 ├── file_write.c ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0017 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── memset.c ├── proof.answer └── run_test.sh ├── test0018 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── math.c ├── proof.answer └── run_test.sh ├── test0019 ├── getopt.c ├── hello-knight-posix.sh ├── input ├── proof.answer └── run_test.sh ├── test0020 ├── gcc_req.h ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── run_test.sh └── struct.c ├── test0021 ├── chdir.c ├── hello-knight-posix.sh └── run_test.sh ├── test0022 ├── continue.c ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0023 ├── fseek.c ├── hello-knight-posix.sh ├── proof.answer ├── question └── run_test.sh ├── test0024 ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── return.c └── run_test.sh ├── test0025 ├── array.c ├── proof.answer └── run_test.sh ├── test0026 ├── multi-array.c ├── proof.answer └── run_test.sh ├── test0027 ├── hello-knight-posix.sh ├── include_paths.c └── run_test.sh ├── test0031 ├── hello-knight-posix.sh ├── run_test.sh └── switch.c ├── test0100 ├── blood-elf.c ├── hello-knight-posix.sh ├── proof.answer ├── run_test.sh └── test.M1 ├── test0101 ├── hello-knight-posix.sh ├── hex2_linker.c ├── proof.answer ├── run_test.sh └── test.hex2 ├── test0102 ├── M1-macro.c ├── hello-knight-posix.sh ├── proof.answer └── run_test.sh ├── test0103 ├── get_machine.c ├── hello-knight-posix.sh └── run_test.sh ├── test0104 ├── kaem.c ├── kaem.run └── run_test.sh ├── test0105 ├── gcc_req.h ├── lisp.c ├── lisp.h ├── lisp_cell.c ├── lisp_eval.c ├── lisp_print.c ├── lisp_read.c ├── run_test.sh └── test.scm ├── test0106 ├── cc500.c ├── hello-knight-native.sh ├── hello-knight-posix.sh ├── proof0.answer ├── proof1.answer └── run_test.sh └── test1000 ├── hello-aarch64.sh ├── hello-amd64.sh ├── hello-armv7l.sh ├── hello-knight-posix.sh ├── hello-riscv32.sh ├── hello-riscv64.sh ├── hello-x86.sh └── proof.answer /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/.gitmodules -------------------------------------------------------------------------------- /CHANGELOG.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/CHANGELOG.org -------------------------------------------------------------------------------- /HACKING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/HACKING -------------------------------------------------------------------------------- /INSTALL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/INSTALL -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/README.md -------------------------------------------------------------------------------- /cc-minimal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc-minimal.c -------------------------------------------------------------------------------- /cc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc.c -------------------------------------------------------------------------------- /cc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc.h -------------------------------------------------------------------------------- /cc_core.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_core.c -------------------------------------------------------------------------------- /cc_emit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_emit.c -------------------------------------------------------------------------------- /cc_emit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_emit.h -------------------------------------------------------------------------------- /cc_globals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_globals.c -------------------------------------------------------------------------------- /cc_globals.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_globals.h -------------------------------------------------------------------------------- /cc_macro.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_macro.c -------------------------------------------------------------------------------- /cc_reader.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_reader.c -------------------------------------------------------------------------------- /cc_strings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_strings.c -------------------------------------------------------------------------------- /cc_types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/cc_types.c -------------------------------------------------------------------------------- /docs/M2-Planet.1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/docs/M2-Planet.1 -------------------------------------------------------------------------------- /gcc_req.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/gcc_req.h -------------------------------------------------------------------------------- /makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/makefile -------------------------------------------------------------------------------- /makefile-tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/makefile-tests -------------------------------------------------------------------------------- /sha256.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/sha256.sh -------------------------------------------------------------------------------- /test/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/.gitignore -------------------------------------------------------------------------------- /test/cleanup_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/cleanup_test.sh -------------------------------------------------------------------------------- /test/compile-fail.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/compile-fail.sh -------------------------------------------------------------------------------- /test/compile-fail/error_preprocessor.c: -------------------------------------------------------------------------------- 1 | #error Should not compile 2 | 3 | int main() {} 4 | 5 | -------------------------------------------------------------------------------- /test/compile-fail/include_doesnt_exist.c: -------------------------------------------------------------------------------- 1 | 2 | #include "this_file_does_not_exist.h" 3 | 4 | int main() { 5 | return 0; 6 | } 7 | 8 | -------------------------------------------------------------------------------- /test/compile-fail/include_doesnt_exist2.c: -------------------------------------------------------------------------------- 1 | 2 | #include 3 | 4 | int main() { 5 | return 0; 6 | } 7 | 8 | -------------------------------------------------------------------------------- /test/compile-fail/incorrect_function_call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/compile-fail/incorrect_function_call.c -------------------------------------------------------------------------------- /test/env.inc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/env.inc.sh -------------------------------------------------------------------------------- /test/run-pass.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass.sh -------------------------------------------------------------------------------- /test/run-pass/anonymous_members.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/anonymous_members.c -------------------------------------------------------------------------------- /test/run-pass/anonymous_types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/anonymous_types.c -------------------------------------------------------------------------------- /test/run-pass/assignment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/assignment.c -------------------------------------------------------------------------------- /test/run-pass/casting.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/casting.c -------------------------------------------------------------------------------- /test/run-pass/constant_expressions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/constant_expressions.c -------------------------------------------------------------------------------- /test/run-pass/dereference.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/dereference.c -------------------------------------------------------------------------------- /test/run-pass/directory/include_file_g.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/directory/include_file_g.h -------------------------------------------------------------------------------- /test/run-pass/directory/include_file_indirect.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/directory/include_file_indirect.h -------------------------------------------------------------------------------- /test/run-pass/double_include_ifdef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/double_include_ifdef.c -------------------------------------------------------------------------------- /test/run-pass/empty-statement.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/empty-statement.c -------------------------------------------------------------------------------- /test/run-pass/enum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/enum.c -------------------------------------------------------------------------------- /test/run-pass/first_line_preprocessor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/first_line_preprocessor.c -------------------------------------------------------------------------------- /test/run-pass/fixed_int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/fixed_int.c -------------------------------------------------------------------------------- /test/run-pass/for_loop_declaration.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/for_loop_declaration.c -------------------------------------------------------------------------------- /test/run-pass/forward_declare.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/forward_declare.c -------------------------------------------------------------------------------- /test/run-pass/function_like_macros.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/function_like_macros.c -------------------------------------------------------------------------------- /test/run-pass/function_pointers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/function_pointers.c -------------------------------------------------------------------------------- /test/run-pass/functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/functions.c -------------------------------------------------------------------------------- /test/run-pass/huge_locals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/huge_locals.c -------------------------------------------------------------------------------- /test/run-pass/ifdef_blocks.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/ifdef_blocks.c -------------------------------------------------------------------------------- /test/run-pass/implicit_main_return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/implicit_main_return.c -------------------------------------------------------------------------------- /test/run-pass/include_ctype.c: -------------------------------------------------------------------------------- 1 | 2 | #include 3 | 4 | int main() { 5 | return isdigit('A'); 6 | } 7 | 8 | -------------------------------------------------------------------------------- /test/run-pass/include_file_f.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/include_file_f.h -------------------------------------------------------------------------------- /test/run-pass/include_first_line.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/include_first_line.c -------------------------------------------------------------------------------- /test/run-pass/include_middle_file.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/include_middle_file.c -------------------------------------------------------------------------------- /test/run-pass/include_works.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/include_works.c -------------------------------------------------------------------------------- /test/run-pass/indirect_include.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/indirect_include.c -------------------------------------------------------------------------------- /test/run-pass/macros.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/macros.c -------------------------------------------------------------------------------- /test/run-pass/macros_expanding_macros.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/macros_expanding_macros.c -------------------------------------------------------------------------------- /test/run-pass/member_access.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/member_access.c -------------------------------------------------------------------------------- /test/run-pass/multi_token_types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/multi_token_types.c -------------------------------------------------------------------------------- /test/run-pass/negative_global_inits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/negative_global_inits.c -------------------------------------------------------------------------------- /test/run-pass/pointer_arithmetic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/pointer_arithmetic.c -------------------------------------------------------------------------------- /test/run-pass/prefix_postfix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/prefix_postfix.c -------------------------------------------------------------------------------- /test/run-pass/preprocessor_spaces.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/preprocessor_spaces.c -------------------------------------------------------------------------------- /test/run-pass/static_variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/static_variables.c -------------------------------------------------------------------------------- /test/run-pass/strings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/strings.c -------------------------------------------------------------------------------- /test/run-pass/struct_typedef_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/struct_typedef_init.c -------------------------------------------------------------------------------- /test/run-pass/variables.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/variables.c -------------------------------------------------------------------------------- /test/run-pass/variadic_functions.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/run-pass/variadic_functions.c -------------------------------------------------------------------------------- /test/test.answers: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test.answers -------------------------------------------------------------------------------- /test/test0000/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0000/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0000/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0000/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0000/return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0000/return.c -------------------------------------------------------------------------------- /test/test0000/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0000/run_test.sh -------------------------------------------------------------------------------- /test/test0001/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0001/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0001/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0001/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0001/library_call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0001/library_call.c -------------------------------------------------------------------------------- /test/test0001/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0001/run_test.sh -------------------------------------------------------------------------------- /test/test0002/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0002/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0002/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0002/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0002/if.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0002/if.c -------------------------------------------------------------------------------- /test/test0002/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0002/run_test.sh -------------------------------------------------------------------------------- /test/test0003/constant.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0003/constant.c -------------------------------------------------------------------------------- /test/test0003/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0003/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0003/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0003/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0003/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0003/run_test.sh -------------------------------------------------------------------------------- /test/test0004/call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0004/call.c -------------------------------------------------------------------------------- /test/test0004/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0004/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0004/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0004/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0004/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0004/run_test.sh -------------------------------------------------------------------------------- /test/test0005/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0005/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0005/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0005/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0005/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0005/run_test.sh -------------------------------------------------------------------------------- /test/test0005/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0005/string.c -------------------------------------------------------------------------------- /test/test0006/for.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0006/for.c -------------------------------------------------------------------------------- /test/test0006/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0006/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0006/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0006/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0006/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0006/proof.answer -------------------------------------------------------------------------------- /test/test0006/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0006/run_test.sh -------------------------------------------------------------------------------- /test/test0007/do.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0007/do.c -------------------------------------------------------------------------------- /test/test0007/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0007/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0007/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0007/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0007/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0007/proof.answer -------------------------------------------------------------------------------- /test/test0007/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0007/run_test.sh -------------------------------------------------------------------------------- /test/test0008/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0008/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0008/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0008/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0008/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0008/run_test.sh -------------------------------------------------------------------------------- /test/test0008/struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0008/struct.c -------------------------------------------------------------------------------- /test/test0009/goto.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0009/goto.c -------------------------------------------------------------------------------- /test/test0009/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0009/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0009/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0009/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0009/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0009/run_test.sh -------------------------------------------------------------------------------- /test/test0010/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0010/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0010/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0010/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0010/nested_struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0010/nested_struct.c -------------------------------------------------------------------------------- /test/test0010/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0010/run_test.sh -------------------------------------------------------------------------------- /test/test0011/break-do.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0011/break-do.c -------------------------------------------------------------------------------- /test/test0011/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0011/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0011/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0011/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0011/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0011/proof.answer -------------------------------------------------------------------------------- /test/test0011/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0011/run_test.sh -------------------------------------------------------------------------------- /test/test0012/break-for.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0012/break-for.c -------------------------------------------------------------------------------- /test/test0012/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0012/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0012/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0012/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0012/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0012/proof.answer -------------------------------------------------------------------------------- /test/test0012/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0012/run_test.sh -------------------------------------------------------------------------------- /test/test0013/break-while.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0013/break-while.c -------------------------------------------------------------------------------- /test/test0013/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0013/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0013/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0013/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0013/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0013/proof.answer -------------------------------------------------------------------------------- /test/test0013/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0013/run_test.sh -------------------------------------------------------------------------------- /test/test0014/basic_args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/basic_args.c -------------------------------------------------------------------------------- /test/test0014/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0014/proof-aarch64.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/proof-aarch64.answer -------------------------------------------------------------------------------- /test/test0014/proof-amd64.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/proof-amd64.answer -------------------------------------------------------------------------------- /test/test0014/proof-armv7l.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/proof-armv7l.answer -------------------------------------------------------------------------------- /test/test0014/proof-knight-posix.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/proof-knight-posix.answer -------------------------------------------------------------------------------- /test/test0014/proof-riscv32.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/proof-riscv32.answer -------------------------------------------------------------------------------- /test/test0014/proof-riscv64.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/proof-riscv64.answer -------------------------------------------------------------------------------- /test/test0014/proof-x86.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/proof-x86.answer -------------------------------------------------------------------------------- /test/test0014/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0014/run_test.sh -------------------------------------------------------------------------------- /test/test0015/file_read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0015/file_read.c -------------------------------------------------------------------------------- /test/test0015/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0015/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0015/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0015/proof.answer -------------------------------------------------------------------------------- /test/test0015/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0015/run_test.sh -------------------------------------------------------------------------------- /test/test0016/file_write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0016/file_write.c -------------------------------------------------------------------------------- /test/test0016/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0016/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0016/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0016/proof.answer -------------------------------------------------------------------------------- /test/test0016/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0016/run_test.sh -------------------------------------------------------------------------------- /test/test0017/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0017/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0017/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0017/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0017/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0017/memset.c -------------------------------------------------------------------------------- /test/test0017/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0017/proof.answer -------------------------------------------------------------------------------- /test/test0017/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0017/run_test.sh -------------------------------------------------------------------------------- /test/test0018/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0018/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0018/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0018/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0018/math.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0018/math.c -------------------------------------------------------------------------------- /test/test0018/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0018/proof.answer -------------------------------------------------------------------------------- /test/test0018/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0018/run_test.sh -------------------------------------------------------------------------------- /test/test0019/getopt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0019/getopt.c -------------------------------------------------------------------------------- /test/test0019/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0019/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0019/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0019/input -------------------------------------------------------------------------------- /test/test0019/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0019/proof.answer -------------------------------------------------------------------------------- /test/test0019/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0019/run_test.sh -------------------------------------------------------------------------------- /test/test0020/gcc_req.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0020/gcc_req.h -------------------------------------------------------------------------------- /test/test0020/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0020/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0020/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0020/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0020/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0020/run_test.sh -------------------------------------------------------------------------------- /test/test0020/struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0020/struct.c -------------------------------------------------------------------------------- /test/test0021/chdir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0021/chdir.c -------------------------------------------------------------------------------- /test/test0021/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0021/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0021/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0021/run_test.sh -------------------------------------------------------------------------------- /test/test0022/continue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0022/continue.c -------------------------------------------------------------------------------- /test/test0022/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0022/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0022/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0022/proof.answer -------------------------------------------------------------------------------- /test/test0022/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0022/run_test.sh -------------------------------------------------------------------------------- /test/test0023/fseek.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0023/fseek.c -------------------------------------------------------------------------------- /test/test0023/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0023/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0023/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0023/proof.answer -------------------------------------------------------------------------------- /test/test0023/question: -------------------------------------------------------------------------------- 1 | 0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz 2 | -------------------------------------------------------------------------------- /test/test0023/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0023/run_test.sh -------------------------------------------------------------------------------- /test/test0024/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0024/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0024/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0024/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0024/return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0024/return.c -------------------------------------------------------------------------------- /test/test0024/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0024/run_test.sh -------------------------------------------------------------------------------- /test/test0025/array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0025/array.c -------------------------------------------------------------------------------- /test/test0025/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0025/proof.answer -------------------------------------------------------------------------------- /test/test0025/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0025/run_test.sh -------------------------------------------------------------------------------- /test/test0026/multi-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0026/multi-array.c -------------------------------------------------------------------------------- /test/test0026/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0026/proof.answer -------------------------------------------------------------------------------- /test/test0026/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0026/run_test.sh -------------------------------------------------------------------------------- /test/test0027/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0027/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0027/include_paths.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0027/include_paths.c -------------------------------------------------------------------------------- /test/test0027/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0027/run_test.sh -------------------------------------------------------------------------------- /test/test0031/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0031/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0031/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0031/run_test.sh -------------------------------------------------------------------------------- /test/test0031/switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0031/switch.c -------------------------------------------------------------------------------- /test/test0100/blood-elf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0100/blood-elf.c -------------------------------------------------------------------------------- /test/test0100/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0100/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0100/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0100/proof.answer -------------------------------------------------------------------------------- /test/test0100/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0100/run_test.sh -------------------------------------------------------------------------------- /test/test0100/test.M1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0100/test.M1 -------------------------------------------------------------------------------- /test/test0101/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0101/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0101/hex2_linker.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0101/hex2_linker.c -------------------------------------------------------------------------------- /test/test0101/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0101/proof.answer -------------------------------------------------------------------------------- /test/test0101/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0101/run_test.sh -------------------------------------------------------------------------------- /test/test0101/test.hex2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0101/test.hex2 -------------------------------------------------------------------------------- /test/test0102/M1-macro.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0102/M1-macro.c -------------------------------------------------------------------------------- /test/test0102/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0102/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0102/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0102/proof.answer -------------------------------------------------------------------------------- /test/test0102/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0102/run_test.sh -------------------------------------------------------------------------------- /test/test0103/get_machine.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0103/get_machine.c -------------------------------------------------------------------------------- /test/test0103/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0103/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0103/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0103/run_test.sh -------------------------------------------------------------------------------- /test/test0104/kaem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0104/kaem.c -------------------------------------------------------------------------------- /test/test0104/kaem.run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0104/kaem.run -------------------------------------------------------------------------------- /test/test0104/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0104/run_test.sh -------------------------------------------------------------------------------- /test/test0105/gcc_req.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/gcc_req.h -------------------------------------------------------------------------------- /test/test0105/lisp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/lisp.c -------------------------------------------------------------------------------- /test/test0105/lisp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/lisp.h -------------------------------------------------------------------------------- /test/test0105/lisp_cell.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/lisp_cell.c -------------------------------------------------------------------------------- /test/test0105/lisp_eval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/lisp_eval.c -------------------------------------------------------------------------------- /test/test0105/lisp_print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/lisp_print.c -------------------------------------------------------------------------------- /test/test0105/lisp_read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/lisp_read.c -------------------------------------------------------------------------------- /test/test0105/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/run_test.sh -------------------------------------------------------------------------------- /test/test0105/test.scm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0105/test.scm -------------------------------------------------------------------------------- /test/test0106/cc500.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0106/cc500.c -------------------------------------------------------------------------------- /test/test0106/hello-knight-native.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0106/hello-knight-native.sh -------------------------------------------------------------------------------- /test/test0106/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0106/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test0106/proof0.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0106/proof0.answer -------------------------------------------------------------------------------- /test/test0106/proof1.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0106/proof1.answer -------------------------------------------------------------------------------- /test/test0106/run_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test0106/run_test.sh -------------------------------------------------------------------------------- /test/test1000/hello-aarch64.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test1000/hello-aarch64.sh -------------------------------------------------------------------------------- /test/test1000/hello-amd64.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test1000/hello-amd64.sh -------------------------------------------------------------------------------- /test/test1000/hello-armv7l.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test1000/hello-armv7l.sh -------------------------------------------------------------------------------- /test/test1000/hello-knight-posix.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test1000/hello-knight-posix.sh -------------------------------------------------------------------------------- /test/test1000/hello-riscv32.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test1000/hello-riscv32.sh -------------------------------------------------------------------------------- /test/test1000/hello-riscv64.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test1000/hello-riscv64.sh -------------------------------------------------------------------------------- /test/test1000/hello-x86.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test1000/hello-x86.sh -------------------------------------------------------------------------------- /test/test1000/proof.answer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/oriansj/M2-Planet/HEAD/test/test1000/proof.answer --------------------------------------------------------------------------------