Revision 8980b5cf - Modified Salsa plugin to apply the algorithm until no more progress can be made - LustreC

« Previous | Next »

Revision 8980b5cf

Added by Pierre-Loïc Garoche over 6 years ago

ID 8980b5cfc51e94f332908a331fbb961b9d9a0fca
Parent 4f82bb28
Child 95b6c290

Modified Salsa plugin to apply the algorithm until no more progress can be made

added
modified
copied
renamed
deleted

src
- plugins
  - salsa
    - machine_salsa_opt.ml (diff)
    - salsaDatatypes.ml (diff)