Project

General

Profile

« Previous | Next » 

Revision 817d5bcb

ID817d5bcb7db517b15019bddc7a0d24c8bd063496
Parent fcf1fd96
Child b38ffff3

Added by Teme Kahsai over 5 years ago

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences