Mercurial > hg > CbC > old > akasha

view README @ 3:c80e44ac8f5e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Import origin_cs and llrbContext
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Sun, 13 Mar 2016 18:19:40 +0900
parents 9815b09dc853
children d41e349d6e22
line wrap: on
line source

# Akasha

Akasha aims verification of data structures in Gears.


# How to Compile
Akasha has dependencies for Gears.
Please set environment variable GEARS_PATH and CBC_COMPILER like to follow as:
  export CBC_COMPILER=/usr/local/Cellar/cbc/HEAD/bin/clang
  export GEARS_PATH=/Users/home/hg/Gears
Akasha uses CMake for build.
Please type commands in ``src`` directory.
  $ cmake .
  $ make


# Coding Rules
naming rule: camelCase.
tab: soft tab (4 spaces)