Project

General

Profile

« Previous | Next » 

Revision b5b745fb

IDb5b745fba79aa4543aa912175c413345544191f9
Parent 867276c9
Child aa85bd44

Added by Guillaume DAVY over 1 year ago

Ada: First support for transition predicate generation.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences