Project

General

Profile

« Previous | Next » 

Revision df49882b

Added by Leszek Koltunski 8 months ago

Progress with automatic verifiers.
Appears to work now in case of KILO_3 and CUBE_3.
In case of IVY_2, it crashes.

  • added
  • modified
  • copied
  • renamed
  • deleted