GitHub - hexhex/inconsistencyanalysis

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
IRComputation		IRComputation
benchmarks		benchmarks
Readme.txt		Readme.txt

Repository files navigation

This repository contains scripts for computing inconsistency reasons for HEX-programs.

No description, website, or topics provided.

0 stars

2 watching