From 88f78d38d516b7e4e2bf8598bfed87d533f5d346 Mon Sep 17 00:00:00 2001 From: "Leandro T. C. Melo" Date: Sun, 31 Aug 2025 16:28:39 -0300 Subject: [PATCH] Update README.md --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 6ef20d38c..94bd1227d 100644 --- a/README.md +++ b/README.md @@ -11,9 +11,10 @@ C language draft proposal: [Enabling Generic Functions and Parametric Types in C Psyche-C is a platform for implementing static analysis of C programs. At its core, it includes a C compiler frontend that performs both syntactic and semantic analysis. -Yet, as opposed to actual C compilers, Psyche-C doesn't build a symbol table during parsing. -Despite this, even with zero setup or in broken build setups, -Psyche-C still offers accurate syntax analysis (through syntax disambiguation) and partial semantic analysis. +Yet, as opposed to actual C compilers, +to provide accurate syntax (through disambiguation) analysis and partial semantic analysis in zero setup or broken build environments, +Psyche-C doesn't rely on a symbol table during parsing. +Despite this, it nevertheless provides full syntax and semantic analysis for complete source code. Bellow are the main characteristics of Psyche-C: @@ -51,9 +52,8 @@ Psyche-C began as a type inference tool for C, aimed at enabling static analysis However, the compiler frontend at its core wasn't good enough, so I decided to rewrite it pretty much from scratch. I used this rewrite also as an opportunity to extend Psyche-C into a platform for static analysis in general. The result of this work is what exists today in the master branch, -but that doesn't yet include a port of the type inference from the [original branch](https://github.com/ltcmelo/psychec/tree/original). - -With type inference enabled, if you "compile" the snippet below with *cnippet*, Psyche-C will infer `T` and synthesize a declaration for it. +but that doesn't yet include a port of the type inference from the [original branch](https://github.com/ltcmelo/psychec/tree/original). +In that branch, if you "compile" the snippet below with *cnippet*, Psyche-C will infer `T` and synthesize a declaration for it as follows. ```c void f()