Project

General

Profile

« Previous | Next » 

Revision 64dfa450

ID64dfa4502347fa0833211f233b9d086bbb57e19b
Parent 1577dc7e
Child 867595f2

Added by Eric Noulard over 5 years ago

Do not use stable sort because it requires recent ocamlgraph
library (1.8.3) which is not widely available in distro repository.
Moreover "stable" sort is not necessary, sort will do.
Fixes Issue #49: https://cavale.enseeiht.fr/redmine/issues/49

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@163 041b043f-8d7c-46b2-b46e-ef0dd855326e

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences