Columpio

Yurii Kostyukov's repositories

RInGen

Regular Invariant Generator and SMTLIB2 code transformer

Language:SMT11 30

benchmarks

Tons of Inductive Problems: The Benchmarks

Language:SMTBSD-3-Clause100

vampire

The Vampire Theorem Prover

Language:C++NOASSERTION100

z3

The Z3 Theorem Prover

Language:C++NOASSERTION100

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.0000

bibtext-ifmo

Автоматическая библиография для вестника ИТМО из bibtex

Language:Python010

coq-supplementary

A supplementary Coq workout repository

Language:Coq010

epub-translate

Script to translate English EPUB books to Russian using Yandex translate

Language:Python010

klee

KLEE Symbolic Execution Engine

Language:C++NOASSERTION000

SMTLIB2

SMTLIB2 bindings for FSharp

Language:C#01 1

VSharp

Language:F#000

guidance

A guidance language for controlling large language models.

Language:Jupyter NotebookMIT000

jb-lab-proceedings

Automatically exported from code.google.com/p/jb-lab-proceedings

Language:TeX010

klee-experiments-runner

A small script for running KLEE experiments (based on `coreutils`)

Language:PythonMIT010

PhD-Thesis

Language:TeXCC-BY-4.0010

pp_sexp

Pretty-printing of s-expressions. Implemented in OCaml

Language:OCaml000

rider-settings

010

smtlibv2-grammar

ANTLR SMT-LIB v2 Grammar

Language:SMTMIT000

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

Language:TeX000

tree-automata-sync

A project to help invent tree tuple automata synchronization strategy

Language:F#010

TRIKparse

Retrieves all class names and namespaces from headers in root

Language:Python010

trikRuntime

Runtime for TRIK controller

Language:C++Apache-2.001 2

verified-symbolic-memory

Symbolic memory consistency proofs in Coq

Language:Coq010