This shows you the differences between two versions of the page.
goal:extensions [2011/10/28 12:02] mht208 |
goal:extensions [2015/10/19 03:01] (current) mht208 |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== Plugin Installation ===== | + | ====== General Installation Instructions ====== |
A plugin can appear as a folder or a zipped file. To install a plugin, simply copy the plugin to the ''plugins'' folder of GOAL. For Mac users, the ''plugins'' folder is located in ''GOAL.app/Contents/Resources/Java/plugins'' | A plugin can appear as a folder or a zipped file. To install a plugin, simply copy the plugin to the ''plugins'' folder of GOAL. For Mac users, the ''plugins'' folder is located in ''GOAL.app/Contents/Resources/Java/plugins'' | ||
- | ===== Examples ===== | ||
- | ==== Hello World ==== | + | ====== Users' Contributions ====== |
+ | |||
+ | ===== Fribourg Construction ===== | ||
+ | |||
+ | * Description: This plugin provides a complementation construction "Fribourg Construction" for nondeterministic Büchi automata. | ||
+ | * Contributor: Daniel Weibel (Department of Computer Science, University of Fribourg, Switzerland) | ||
+ | * Link: [[https://frico.s3.amazonaws.com/goal_plugins/ch.unifr.goal.complement.zip|ch.unifr.goal.complement.zip]] | ||
+ | * Installation: | ||
+ | - unzip ch.unifr.goal.complement.zip | ||
+ | - cd ch.unifr.goal.complement | ||
+ | - zip a -r ch.unifr.goal.complement.zip classes plugin.xml | ||
+ | - cp ch.unifr.goal.complement.zip WHERE_IS_GOAL/plugins | ||
+ | |||
+ | |||
+ | ====== Examples ====== | ||
+ | |||
+ | ===== Hello World ===== | ||
This plugin inserts | This plugin inserts | ||
Line 15: | Line 30: | ||
{{:goal:com.example.hello.src.zip|Sources}} | {{:goal:com.example.hello.src.zip|Sources}} | ||
- | ==== Hello Complement ==== | + | ===== Hello Complement ===== |
This plugin implements a buggy complementation algorithm and makes it accessible in the graphical interface and in the command-line interface. | This plugin implements a buggy complementation algorithm and makes it accessible in the graphical interface and in the command-line interface. |