Project

General

Profile

« Previous | Next » 

Revision 94c457b7

Added by Pierre-Loïc Garoche almost 4 years ago

Updated Salsa plugin to latest version of Salsa.
Some issues wrt machine type features.
Work in progress

View differences:

src/plugins/salsa/salsa_plugin.ml
12 12
  let name = "salsa"
13 13
  
14 14
  let options = [
15

  
16
  ]
15
        "-debug", Arg.Set SalsaDatatypes.debug, "debug salsa plugin";
16
      ]
17 17

  
18 18
  let activate () = salsa_enabled := true
19 19

  

Also available in: Unified diff