Project

General

Profile

« Previous | Next » 

Revision b5b745fb

Added by Guillaume DAVY over 2 years ago

Ada: First support for transition predicate generation.

  • added
  • modified
  • copied
  • renamed
  • deleted