Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

ltcmelo/psychec

Open more actions menu
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

341 Commits
341 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

NOTE

Psyche-C is being developed on the master branch. This branch, original, is inactive (it won't receive updates or fixes) and only exists because the type inference functionality of Psyche-C isn't yet available on master.

To infer the types of an incomplete C program (or program fragment):

Screen Shot 2022-02-20 at 09 43 12

Morty Proxy This is a proxified and sanitized view of the page, visit original site.