Commit History

Author SHA1 Message Date
  z3APA3A f219544d6a remove debug output 5 years ago
  z3APA3A fa52a1ae92 fixes for linux 5 years ago
  z3APA3A 48b330da7c intermediate commit for logging 5 years ago
  z3APA3A 8d73f977de initial logging refatoring commit, should be very buggy 5 years ago
  z3APA3A a4f95462b3 intermediate commit 5 years ago
  z3APA3A eb829b062b Major code refactoring 5 years ago
  z3APA3A 3dd1969657 Move logging to log.c 5 years ago