From 4db2479ffc9c257f36aeb3673d507d1b4302e682 Mon Sep 17 00:00:00 2001 From: Richard Qin Date: Sat, 7 Nov 2026 05:04:48 +0800 Subject: [Doc] Move README to plain text Signed-off-by: Richard Qin --- README | 38 ++++++++++++++++++++++++++++++++++++++ README.md | 38 -------------------------------------- 2 files changed, 38 insertions(+), 38 deletions(-) create mode 100644 README delete mode 100644 README.md diff --git a/README b/README new file mode 100644 index 0000000..b889c2b --- /dev/null +++ b/README @@ -0,0 +1,38 @@ +This directory contains the RCC Project. + +The RCC Project is a collection of systems software, from compilers to +terminal applications. + +The RCC Project is free software, distributed under the GNU General Public +License, version 3. See the file COPYING for the license terms. + +The RCC Project currently includes rcc, proofsearch, ricochet, raytracing, +rv64cpu, muqemu, and other projects. + +rcc + A C compiler project, including a frontend, middle end, and backend. + +proofsearch + An automated theorem prover for first-order logic using + clause-saturation-based proof search. + +ricochet + A terminal-based web browser. + +raytracing + A ray tracer written in modern C++. + +rv64cpu + An RV64 RISC-V processor core written in SystemVerilog. + +muqemu + A simplified model of QEMU written in modern C++. + +Projects for binary utilities, memory allocators, and other systems software +will be added to the repository as subprojects. + +Each subproject maintains its own build entry points, build dependencies, +and runtime behavior. + +For specific build instructions, see the build files and documentation in +the corresponding subproject directory. diff --git a/README.md b/README.md deleted file mode 100644 index b889c2b..0000000 --- a/README.md +++ /dev/null @@ -1,38 +0,0 @@ -This directory contains the RCC Project. - -The RCC Project is a collection of systems software, from compilers to -terminal applications. - -The RCC Project is free software, distributed under the GNU General Public -License, version 3. See the file COPYING for the license terms. - -The RCC Project currently includes rcc, proofsearch, ricochet, raytracing, -rv64cpu, muqemu, and other projects. - -rcc - A C compiler project, including a frontend, middle end, and backend. - -proofsearch - An automated theorem prover for first-order logic using - clause-saturation-based proof search. - -ricochet - A terminal-based web browser. - -raytracing - A ray tracer written in modern C++. - -rv64cpu - An RV64 RISC-V processor core written in SystemVerilog. - -muqemu - A simplified model of QEMU written in modern C++. - -Projects for binary utilities, memory allocators, and other systems software -will be added to the repository as subprojects. - -Each subproject maintains its own build entry points, build dependencies, -and runtime behavior. - -For specific build instructions, see the build files and documentation in -the corresponding subproject directory. -- cgit v1.2.3