https://github.com/juli1/smaccm-improvements

https://github.com/juli1/smaccm-improvements

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/juli1/smaccm-improvements
• Owner: juli1
• License: other
• Created: 2014-11-03T21:53:43.000Z (over 10 years ago)
• Default Branch: sei-improvements
• Last Pushed: 2014-11-18T16:04:54.000Z (over 10 years ago)
• Last Synced: 2025-02-12T23:43:33.655Z (4 months ago)
• Language: Java
• Size: 49.3 MB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
SMACCM

======

Install

=====

1. Download and install [Osate 2.0.6](http://www.aadl.info/aadl/osate/stable/).

2. Download the latest [SMACCM release](https://github.com/smaccm/smaccm/releases) and install by unzipping the dropins.zip file to your osate2 directory so that the dropins directory is a sibling to the plugins directory.

3. For AGREE you must have [JKind](https://github.com/agacek/jkind/) installed and on your PATH. Note that JKind also has a dependency on Yices v1. See the JKind page for details.

4. The SMACCM repository contains some sample models you may want to try out.