Yurii Kostyukov's repositories
benchmarks
Tons of Inductive Problems: The Benchmarks
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
bibtext-ifmo
Автоматическая библиография для вестника ИТМО из bibtex
coq-supplementary
A supplementary Coq workout repository
epub-translate
Script to translate English EPUB books to Russian using Yandex translate
klee
KLEE Symbolic Execution Engine
guidance
A guidance language for controlling large language models.
jb-lab-proceedings
Automatically exported from code.google.com/p/jb-lab-proceedings
klee-experiments-runner
A small script for running KLEE experiments (based on `coreutils`)
pp_sexp
Pretty-printing of s-expressions. Implemented in OCaml
smtlibv2-grammar
ANTLR SMT-LIB v2 Grammar
survey-symbolic-execution
A survey by the SEASON lab on symbolic execution tools and techniques. A stable draft can be found at https://arxiv.org/abs/1610.00502
tree-automata-sync
A project to help invent tree tuple automata synchronization strategy
trikRuntime
Runtime for TRIK controller
verified-symbolic-memory
Symbolic memory consistency proofs in Coq