diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-27 12:35:11 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-27 12:35:11 +0000 |
| commit | b0a74ddc59ef008f855784ca78dddd0cc31bd79d (patch) | |
| tree | e216c7f5ac51c997f2c484950eff46054524de74 /src/runtime/c/utils/pgf-parse.c | |
| parent | eeec31cbabf77515a57d376071095b983f8be291 (diff) | |
added API in the C runtime and the Java binding for checking whether a given function is linearizable in a given language. This is used in the Android UI for better vizualizations
Diffstat (limited to 'src/runtime/c/utils/pgf-parse.c')
0 files changed, 0 insertions, 0 deletions