Project

General

Profile

« Previous | Next » 

Revision 817d5bcb

Added by Teme Kahsai over 8 years ago

Fixed horn backend to make query for properties. More work needed for cex

View differences:

.gitignore
1
/_build/
2
/main_lustre_compiler.native
3
/setup.data
4
/setup.log
5
/src/version.ml

Also available in: Unified diff