Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cc18:amy_reference_compiler [2018/09/14 14:38]
romain created
cc18:amy_reference_compiler [2018/09/20 09:26] (current)
georg.schmid
Line 1: Line 1:
 ====== The Amy Reference Compiler ====== ====== The Amy Reference Compiler ======
  
-The latest version available is **1.5**. You can obtain it here:​[[http://​lara.epfl.ch/​~koukouto/clp17/​amyc_2.12-1.5.jar|amyc_2.12-1.5.jar]].+The latest version available is **1.5**. You can obtain it here:​[[http://​lara.epfl.ch/​~gschmid/clp18/​amyc_2.12-1.5.jar|amyc_2.12-1.5.jar]].
  
 You can run it as follows: You can run it as follows:
-  java -jar amyc_2.12-1.5.jar [options] [input files]+  java -cp amyc_2.12-1.5.jar ​amyc.Main ​[options] [input files]
  
 To see the list of available options do  To see the list of available options do 
-  java -jar amyc_2.12-1.5.jar --help+  java -cp amyc_2.12-1.5.jar ​amyc.Main ​--help
  
 The easiest way to execute a program is to run it in ''​-''''​-interpret''​ mode. If you want to generate WebAssembly binary code, you should follow these steps: The easiest way to execute a program is to run it in ''​-''''​-interpret''​ mode. If you want to generate WebAssembly binary code, you should follow these steps:
 
cc18/amy_reference_compiler.1536928689.txt.gz · Last modified: 2018/09/14 14:38 by romain
 
© EPFL 2018 - Legal notice