Spaces:
Sleeping
Sleeping
Commit
·
136e7ac
1
Parent(s):
b08f4a6
Note
Browse files
main.py
CHANGED
|
@@ -42,10 +42,15 @@ def run_psychec(c_code: str):
|
|
| 42 |
|
| 43 |
def create_demo():
|
| 44 |
with gr.Blocks(title="PsycheC Type Inference") as demo:
|
| 45 |
-
gr.Markdown("# 🔍 PsycheC Type Inference
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 46 |
gr.Markdown(
|
| 47 |
-
"Analyze C code and infer missing type declarations. "
|
| 48 |
-
"PsycheC will generate a header file with inferred types and a fixed C file."
|
| 49 |
)
|
| 50 |
|
| 51 |
with gr.Row():
|
|
|
|
| 42 |
|
| 43 |
def create_demo():
|
| 44 |
with gr.Blocks(title="PsycheC Type Inference") as demo:
|
| 45 |
+
gr.Markdown("""# 🔍 PsycheC Type Inference
|
| 46 |
+
|
| 47 |
+
Analyze C code and infer missing type declarations. PsycheC
|
| 48 |
+
will generate a header file with inferred types and a fixed
|
| 49 |
+
C file."
|
| 50 |
+
|
| 51 |
+
Note: The parser gets stuck on some attributes including `__cdecl`.
|
| 52 |
+
""")
|
| 53 |
gr.Markdown(
|
|
|
|
|
|
|
| 54 |
)
|
| 55 |
|
| 56 |
with gr.Row():
|