Name		Name	Last commit message	Last commit date
Latest commit History 159 Commits
PTools		PTools
examples		examples
tests		tests
.gitignore		.gitignore
README.md		README.md
athos.py		athos.py
c99theory.py		c99theory.py
cast_lib.py		cast_lib.py
cfg.py		cfg.py
main.py		main.py
p_lib.py		p_lib.py
semantic_lib.py		semantic_lib.py

Repository files navigation

Themiscyra

Asynchronous to round-based translation tool.

Installation

Requirements

Python 3.6
NetworkX 2.4
pycparser (https://github.com/eliben/pycparser)
z3-solver (https://github.com/Z3Prover/z3)

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages