Этот репозиторий содержит исходный код моей дипломной работы, защищенной в 2025 году на факультете Математики и Компьютерных Наук СПбГУ.
К работе относятся ветки в папке metametamoon/.
Текст дипломной работы можно найти в соответствующем репозитории.
metametamoon/klee
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Languages
- C++ 57.3%
- C 33.3%
- Python 2.7%
- CMake 2.0%
- LLVM 2.0%
- BitBake 1.2%
- Other 1.5%