Sireum Prelude Components
Switch branches/tags
stable-20161113-115302 stable-20151214-102407 stable-20150506-095613 stable-20150401-084749 stable-20150126-161805 stable-20150120-095010 stable-20150120-091856 stable-20141219-150702 stable-20141029-170046 stable-20140715-165046 stable-20140530-090013 stable-20140521-143929 stable-20140509-113028 stable-20140509-110423 stable-20140415-165131 stable-20140414-164252 stable-20140414-144950 stable-20140414-131645 stable-20140408-135559 stable-20140408-132007 stable-20140408-115925 stable-20140408-093224 stable-20140401-201237 stable-20140121-151530 stable-20131109-100904 stable-20131029-195331 stable-20131029-122855 stable-20131029-112113 jenkins-Sireum-Update-Site-Stable-8 jenkins-Sireum-Update-Site-Stable-4 jenkins-Sireum-Update-Site-Stable-3 jenkins-Sireum-Update-Site-Dev-28 jenkins-Sireum-Update-Site-Dev-27 jenkins-Sireum-Update-Site-Dev-26 jenkins-Sireum-Update-Site-Dev-25 jenkins-Sireum-Update-Site-Dev-22 jenkins-Sireum-Update-Site-Dev-21 jenkins-Sireum-Update-Site-Dev-20 jenkins-Sireum-Update-Site-Dev-19 dev-20170105-002220 dev-20170104-002209 dev-20170103-002224 dev-20170102-002232 dev-20170101-002323 dev-20161231-002215 dev-20161230-002128 dev-20161229-002120 dev-20161228-002120 dev-20161227-002152 dev-20161226-002112 dev-20161225-002134 dev-20161224-002237 dev-20161223-002038 dev-20161222-002119 dev-20161221-002125 dev-20161220-002005 dev-20161219-002121 dev-20161218-002028 dev-20161217-002158 dev-20161216-002152 dev-20161215-002033 dev-20161214-002031 dev-20161213-002114 dev-20161212-002124 dev-20161211-002116 dev-20161210-002135 dev-20161209-002127 dev-20161208-002025 dev-20161207-002125 dev-20161206-002121 dev-20161205-002034 dev-20161204-002129 dev-20161203-002133 dev-20161202-002125 dev-20161201-002130 dev-20161130-002025 dev-20161129-002146 dev-20161128-002131 dev-20161127-002125 dev-20161126-002138 dev-20161125-002131 dev-20161124-002132 dev-20161123-002124 dev-20161122-002137 dev-20161121-002131 dev-20161120-002142 dev-20161119-002133 dev-20161118-002130 dev-20161117-002106 dev-20161116-002145 dev-20161115-002144 dev-20161114-002135 dev-20161113-110002 dev-20161113-002022 dev-20161112-002021 dev-20161111-002022 dev-20161110-002011 dev-20161109-130334 dev-20161108-002018 dev-20161107-002021
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
sireum-lib
sireum-macro
sireum-util
README.rst

README.rst

Sireum Prelude

This repository stores the prelude components (libraries, macros, utility classes) of the Sireum (v2) software analysis platform.

Please refer to the instructions on Sireum Core for setup instructions.