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