Project

General

Profile

« Previous | Next » 

Revision fcf1fd96

IDfcf1fd96f57961c40e9ac09f736d42a3a50e449f
Parent 15787c5b
Child 817d5bcb

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