Analyzer
Check a C loop.
Upload a file or paste a complete function with its helper definitions.
INPUT
Source code
Drop a .c file hereor click to browse · single file · maximum 1 MB
CPU prepares OpenMP code for parallel threads on the processor.
This interface analyzes and transforms source. It does not execute uploaded C programs.
P
Your result will appear here.
Praline will show the safety decision, supporting reasons, assumptions, and selected-target status.
Reading the program…
Following helper calls and checking memory dependencies.
DECISION