Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Code gen #1

Open
wants to merge 160 commits into
base: master
Choose a base branch
from
Open

Code gen #1

wants to merge 160 commits into from

Commits on Dec 21, 2015

  1. new separation

    @kheradmand
    kheradmand committed Dec 21, 2015
    Configuration menu
    Copy the full SHA
    7646c40 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2015

  1. small fix

    @kheradmand
    kheradmand committed Dec 22, 2015
    Configuration menu
    Copy the full SHA
    55c8925 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2015

  1. temp changes

    @kheradmand
    kheradmand committed Dec 23, 2015
    Configuration menu
    Copy the full SHA
    2a2a0bc View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2016

  1. rvm compiler

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    6bd014a View commit details
    Browse the repository at this point in the history

  2. update rvm-compiler.k

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    4d15bd9 View commit details
    Browse the repository at this point in the history

  3. traversed rvm ast!

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    7938d64 View commit details
    Browse the repository at this point in the history

  4. migrate to latest k (ee3bdc2066c29d)

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    6731297 View commit details
    Browse the repository at this point in the history

  5. print package declaration

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    cf1ddd8 View commit details
    Browse the repository at this point in the history

  6. restructure the logic package

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    92e76c2 View commit details
    Browse the repository at this point in the history

  7. add some new cells for rvm-compiler

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    f796d8a View commit details
    Browse the repository at this point in the history

  8. print package decl

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    36a2a8c View commit details
    Browse the repository at this point in the history

  9. spec name and params

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    06333db View commit details
    Browse the repository at this point in the history

  10. decl stub

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    761b384 View commit details
    Browse the repository at this point in the history

  11. rules for adding events.

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    ade5b95 View commit details
    Browse the repository at this point in the history

  12. add events if not recorded

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    adf6217 View commit details
    Browse the repository at this point in the history

  13. rm empty list

    @xiaohe27
    xiaohe27 committed Apr 2, 2016
    Configuration menu
    Copy the full SHA
    756f0a4 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2016

  1. add the output of rv-monitor on a fsm property for future reference

    @xiaohe27
    xiaohe27 committed Apr 3, 2016
    Configuration menu
    Copy the full SHA
    a85e0e2 View commit details
    Browse the repository at this point in the history

  2. code stub of extracting info from properties

    @xiaohe27
    xiaohe27 committed Apr 3, 2016
    Configuration menu
    Copy the full SHA
    c089065 View commit details
    Browse the repository at this point in the history

  3. debug

    @xiaohe27
    xiaohe27 committed Apr 3, 2016
    Configuration menu
    Copy the full SHA
    9fee253 View commit details
    Browse the repository at this point in the history

  4. update

    @xiaohe27
    xiaohe27 committed Apr 3, 2016
    Configuration menu
    Copy the full SHA
    37d1bf6 View commit details
    Browse the repository at this point in the history

  5. update

    @xiaohe27
    xiaohe27 committed Apr 3, 2016
    Configuration menu
    Copy the full SHA
    2dfa95c View commit details
    Browse the repository at this point in the history

  6. more test inputs

    @xiaohe27
    xiaohe27 committed Apr 3, 2016
    Configuration menu
    Copy the full SHA
    ade6380 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2016

  1. save work

    @xiaohe27
    xiaohe27 committed Apr 4, 2016
    Configuration menu
    Copy the full SHA
    65a5054 View commit details
    Browse the repository at this point in the history

  2. temp change

    @xiaohe27
    xiaohe27 committed Apr 4, 2016
    Configuration menu
    Copy the full SHA
    0feebdd View commit details
    Browse the repository at this point in the history

  3. store the ast node into cell and rely on the print function

    @xiaohe27
    xiaohe27 committed Apr 4, 2016
    Configuration menu
    Copy the full SHA
    157534e View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2016

  1. place different ast nodes into different cells

    @xiaohe27
    xiaohe27 committed Apr 6, 2016
    Configuration menu
    Copy the full SHA
    f558d0a View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2016

  1. plan: develop a lib that takes kast as input, produces kast as output

    @xiaohe27
    xiaohe27 committed Apr 7, 2016
    Configuration menu
    Copy the full SHA
    194f91f View commit details
    Browse the repository at this point in the history

  2. use K's Bool type in ltl-syntax

    @xiaohe27
    xiaohe27 committed Apr 7, 2016
    Configuration menu
    Copy the full SHA
    9824075 View commit details
    Browse the repository at this point in the history

  3. fsm and ere

    @xiaohe27
    xiaohe27 committed Apr 7, 2016
    Configuration menu
    Copy the full SHA
    050fee0 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2016

  1. update fsm.k

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    3c12bde View commit details
    Browse the repository at this point in the history

  2. not support alias at present

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    a9e7d16 View commit details
    Browse the repository at this point in the history

  3. confirm mop compiler does not support alias either

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    cd94280 View commit details
    Browse the repository at this point in the history

  4. try to disambiguate

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    330be06 View commit details
    Browse the repository at this point in the history

  5. k-version

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    f13ed1d View commit details
    Browse the repository at this point in the history

  6. smt translation failure

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    05747e3 View commit details
    Browse the repository at this point in the history

  7. states number ok

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    ab43d06 View commit details
    Browse the repository at this point in the history

  8. save work

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    65b5d2a View commit details
    Browse the repository at this point in the history

  9. add comments

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    c2053df View commit details
    Browse the repository at this point in the history

  10. test multiple state definition

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    4b021f7 View commit details
    Browse the repository at this point in the history

  11. restore formula cell in the second scan

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    da82afc View commit details
    Browse the repository at this point in the history

  12. debug

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    4452cdf View commit details
    Browse the repository at this point in the history

  13. debug

    @xiaohe27
    xiaohe27 committed Apr 8, 2016
    Configuration menu
    Copy the full SHA
    54514c4 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2016

  1. use nested cells to encode complex map

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    e37e7f9 View commit details
    Browse the repository at this point in the history

  2. handle undefined event

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    ff85042 View commit details
    Browse the repository at this point in the history

  3. encode transition functions as int arrays, indexed by event names; ch… 

    …eck unknown state
    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    9a1ef8c View commit details
    Browse the repository at this point in the history

  4. add more test rvm files

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    4669870 View commit details
    Browse the repository at this point in the history

  5. clean up

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    61b0896 View commit details
    Browse the repository at this point in the history

  6. print int array

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    2eb8ba4 View commit details
    Browse the repository at this point in the history

  7. debug

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    b019b71 View commit details
    Browse the repository at this point in the history

  8. get int array

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    3d391d6 View commit details
    Browse the repository at this point in the history

  9. debug

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    3c10aec View commit details
    Browse the repository at this point in the history

  10. translate the transition functions to int arrays correctly

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    4bfe0c5 View commit details
    Browse the repository at this point in the history

  11. todo

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    fa8a2fc View commit details
    Browse the repository at this point in the history

  12. add some templates

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    97d319a View commit details
    Browse the repository at this point in the history

  13. update

    @xiaohe27
    xiaohe27 committed Apr 9, 2016
    Configuration menu
    Copy the full SHA
    3ad70a4 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2016

  1. add c-monitor-template

    @xiaohe27
    xiaohe27 committed Apr 10, 2016
    Configuration menu
    Copy the full SHA
    f9b0c0a View commit details
    Browse the repository at this point in the history

  2. test: start from some structure, end with some other structure in k cell

    @xiaohe27
    xiaohe27 committed Apr 10, 2016
    Configuration menu
    Copy the full SHA
    f7f1640 View commit details
    Browse the repository at this point in the history

  3. test code g generation idea

    @xiaohe27
    xiaohe27 committed Apr 10, 2016
    Configuration menu
    Copy the full SHA
    6cf8f41 View commit details
    Browse the repository at this point in the history

  4. add logic type cell to all rules in fsm.k

    @xiaohe27
    xiaohe27 committed Apr 10, 2016
    Configuration menu
    Copy the full SHA
    e50b6fc View commit details
    Browse the repository at this point in the history

  5. update template

    @xiaohe27
    xiaohe27 committed Apr 10, 2016
    Configuration menu
    Copy the full SHA
    5065a74 View commit details
    Browse the repository at this point in the history

  6. debug

    @xiaohe27
    xiaohe27 committed Apr 10, 2016
    Configuration menu
    Copy the full SHA
    119e7f8 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2016

  1. partial rewrite of ok

    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    ce9d901 View commit details
    Browse the repository at this point in the history

  2. global init

    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    6fe31cf View commit details
    Browse the repository at this point in the history

  3. make monitor syntax simpler

    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    065d0c8 View commit details
    Browse the repository at this point in the history

  4. add rules of handling include stmts, global decl stmts to c-monitor-t… 

    …emplate.k
    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    45f07ca View commit details
    Browse the repository at this point in the history

  5. update

    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    b7c3e39 View commit details
    Browse the repository at this point in the history

  6. debug

    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    694fda7 View commit details
    Browse the repository at this point in the history

  7. generate local state vars initialization and reset function

    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    f645cb9 View commit details
    Browse the repository at this point in the history

  8. debug

    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    6d5fbec View commit details
    Browse the repository at this point in the history

  9. debug

    @xiaohe27
    xiaohe27 committed Apr 12, 2016
    Configuration menu
    Copy the full SHA
    5b66d86 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2016

  1. debug ok

    @xiaohe27
    xiaohe27 committed Apr 13, 2016
    Configuration menu
    Copy the full SHA
    caede60 View commit details
    Browse the repository at this point in the history

  2. revise config structure to allow multiple properties

    @xiaohe27
    xiaohe27 committed Apr 13, 2016
    Configuration menu
    Copy the full SHA
    af4c376 View commit details
    Browse the repository at this point in the history

  3. remove event number cell

    @xiaohe27
    xiaohe27 committed Apr 13, 2016
    Configuration menu
    Copy the full SHA
    e40114e View commit details
    Browse the repository at this point in the history

  4. make it compile

    @xiaohe27
    xiaohe27 committed Apr 13, 2016
    Configuration menu
    Copy the full SHA
    c49bd7e View commit details
    Browse the repository at this point in the history

  5. debug

    @xiaohe27
    xiaohe27 committed Apr 13, 2016
    Configuration menu
    Copy the full SHA
    3d88fae View commit details
    Browse the repository at this point in the history

  6. debug

    @xiaohe27
    xiaohe27 committed Apr 13, 2016
    Configuration menu
    Copy the full SHA
    251a867 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2016

  1. add function to get size of properties

    @xiaohe27
    xiaohe27 committed Apr 14, 2016
    Configuration menu
    Copy the full SHA
    74ca63a View commit details
    Browse the repository at this point in the history

  2. save work

    @xiaohe27
    xiaohe27 committed Apr 14, 2016
    Configuration menu
    Copy the full SHA
    1f8acf3 View commit details
    Browse the repository at this point in the history

  3. gen initial props cells

    @xiaohe27
    xiaohe27 committed Apr 14, 2016
    Configuration menu
    Copy the full SHA
    424494d View commit details
    Browse the repository at this point in the history

  4. props are ranked

    @xiaohe27
    xiaohe27 committed Apr 14, 2016
    Configuration menu
    Copy the full SHA
    3ad1b23 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2016

  1. debug

    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    01f628d View commit details
    Browse the repository at this point in the history

  2. debug

    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    5934047 View commit details
    Browse the repository at this point in the history

  3. enable the reset rule when a formula has just been processed

    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    8af99a0 View commit details
    Browse the repository at this point in the history

  4. 2 properties in one spec: final config ok: two sets of transition fun… 

    …ctions computed correctly
    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    131d1ce View commit details
    Browse the repository at this point in the history

  5. save state maps for each property

    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    7714199 View commit details
    Browse the repository at this point in the history

  6. identify the weaknesses of cur rv-monitor

    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    6d16670 View commit details
    Browse the repository at this point in the history

  7. identify the weaknesses of cur rv-monitor

    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    a548b90 View commit details
    Browse the repository at this point in the history

  8. update comments in problems-identified.txt

    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    451377c View commit details
    Browse the repository at this point in the history

  9. re-arrange module structure

    @xiaohe27
    xiaohe27 committed Apr 15, 2016
    Configuration menu
    Copy the full SHA
    8815f15 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2016

  1. debug

    @xiaohe27
    xiaohe27 committed Apr 17, 2016
    Configuration menu
    Copy the full SHA
    4aeefcb View commit details
    Browse the repository at this point in the history

  2. debug multi-property

    @xiaohe27
    xiaohe27 committed Apr 17, 2016
    Configuration menu
    Copy the full SHA
    ba2d66c View commit details
    Browse the repository at this point in the history

  3. import required module

    @xiaohe27
    xiaohe27 committed Apr 17, 2016
    Configuration menu
    Copy the full SHA
    a19fd06 View commit details
    Browse the repository at this point in the history

  4. multi-property ok in windows

    @xiaohe27
    xiaohe27 committed Apr 17, 2016
    Configuration menu
    Copy the full SHA
    f754aa4 View commit details
    Browse the repository at this point in the history

  5. update k-version-info

    @xiaohe27
    xiaohe27 committed Apr 17, 2016
    Configuration menu
    Copy the full SHA
    96e6c5d View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2016

  1. local state vars init

    @xiaohe27
    xiaohe27 committed Apr 18, 2016
    Configuration menu
    Copy the full SHA
    32d4c11 View commit details
    Browse the repository at this point in the history

  2. local state vars init

    @xiaohe27
    xiaohe27 committed Apr 18, 2016
    Configuration menu
    Copy the full SHA
    f7563a5 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2016

  1. update reset func

    @xiaohe27
    xiaohe27 committed Apr 22, 2016
    Configuration menu
    Copy the full SHA
    a8506f4 View commit details
    Browse the repository at this point in the history

  2. make it kompile

    @xiaohe27
    xiaohe27 committed Apr 22, 2016
    Configuration menu
    Copy the full SHA
    07875fc View commit details
    Browse the repository at this point in the history

  3. add a rule

    @xiaohe27
    xiaohe27 committed Apr 22, 2016
    Configuration menu
    Copy the full SHA
    f421ff2 View commit details
    Browse the repository at this point in the history

  4. update the include section. New line can be inserted between each lis… 

    …t item, increasing its portability
    @xiaohe27
    xiaohe27 committed Apr 22, 2016
    Configuration menu
    Copy the full SHA
    bdeae23 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2016

  1. make it compile

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    ecc1596 View commit details
    Browse the repository at this point in the history

  2. get list of state transition function symbols

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    1f12b32 View commit details
    Browse the repository at this point in the history

  3. re-order the state transition functions: from small to large

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    53f17c7 View commit details
    Browse the repository at this point in the history

  4. save work

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    a4e9f48 View commit details
    Browse the repository at this point in the history

  5. save work

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    2f8fc30 View commit details
    Browse the repository at this point in the history

  6. add function for printing state transition function

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    ebfad40 View commit details
    Browse the repository at this point in the history

  7. debug

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    6211e39 View commit details
    Browse the repository at this point in the history

  8. state transition function encoded as int array

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    d736eef View commit details
    Browse the repository at this point in the history

  9. resolve symbol

    @xiaohe27
    xiaohe27 committed Apr 23, 2016
    Configuration menu
    Copy the full SHA
    badf9c4 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2016

  1. fix bug in windows

    @xiaohe27
    xiaohe27 committed Apr 24, 2016
    Configuration menu
    Copy the full SHA
    dcf5a75 View commit details
    Browse the repository at this point in the history

  2. update

    @xiaohe27
    xiaohe27 committed Apr 24, 2016
    Configuration menu
    Copy the full SHA
    384955d View commit details
    Browse the repository at this point in the history

  3. local state vars initialization

    @xiaohe27
    xiaohe27 committed Apr 24, 2016
    Configuration menu
    Copy the full SHA
    379d807 View commit details
    Browse the repository at this point in the history

  4. event action module

    @xiaohe27
    xiaohe27 committed Apr 24, 2016
    Configuration menu
    Copy the full SHA
    39469f0 View commit details
    Browse the repository at this point in the history

  5. make it compile

    @xiaohe27
    xiaohe27 committed Apr 24, 2016
    Configuration menu
    Copy the full SHA
    e96481a View commit details
    Browse the repository at this point in the history

  6. define structures of event action method

    @xiaohe27
    xiaohe27 committed Apr 24, 2016
    Configuration menu
    Copy the full SHA
    671ae8d View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2016

  1. update

    @xiaohe27
    xiaohe27 committed Apr 25, 2016
    Configuration menu
    Copy the full SHA
    fc96f2c View commit details
    Browse the repository at this point in the history

  2. code stub for printing event methods' params and action code

    @xiaohe27
    xiaohe27 committed Apr 25, 2016
    Configuration menu
    Copy the full SHA
    a0b77dc View commit details
    Browse the repository at this point in the history

  3. debug

    @xiaohe27
    xiaohe27 committed Apr 25, 2016
    Configuration menu
    Copy the full SHA
    e386b62 View commit details
    Browse the repository at this point in the history

  4. change the syntax of Dim, Dims and ArrayType

    @xiaohe27
    xiaohe27 committed Apr 25, 2016
    Configuration menu
    Copy the full SHA
    f2a502d View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2016

  1. empty block ok

    @xiaohe27
    xiaohe27 committed Apr 26, 2016
    Configuration menu
    Copy the full SHA
    8cb96d4 View commit details
    Browse the repository at this point in the history

  2. print bubble successfully!

    @xiaohe27
    xiaohe27 committed Apr 26, 2016
    Configuration menu
    Copy the full SHA
    ab534fb View commit details
    Browse the repository at this point in the history

  3. print event actions

    @xiaohe27
    xiaohe27 committed Apr 26, 2016
    Configuration menu
    Copy the full SHA
    f25820c View commit details
    Browse the repository at this point in the history

  4. code stub for gathering handler info

    @xiaohe27
    xiaohe27 committed Apr 26, 2016
    Configuration menu
    Copy the full SHA
    c1e0d85 View commit details
    Browse the repository at this point in the history

  5. debug

    @xiaohe27
    xiaohe27 committed Apr 26, 2016
    Configuration menu
    Copy the full SHA
    358f6fb View commit details
    Browse the repository at this point in the history

  6. add handler.txt

    @xiaohe27
    xiaohe27 committed Apr 26, 2016
    Configuration menu
    Copy the full SHA
    77eaefa View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2016

  1. update HandlerDecList syntax

    @xiaohe27
    xiaohe27 committed Apr 27, 2016
    Configuration menu
    Copy the full SHA
    346a924 View commit details
    Browse the repository at this point in the history

  2. debug non-termination

    @xiaohe27
    xiaohe27 committed Apr 27, 2016
    Configuration menu
    Copy the full SHA
    b7bf1ad View commit details
    Browse the repository at this point in the history

  3. debug ok

    @xiaohe27
    xiaohe27 committed Apr 27, 2016
    Configuration menu
    Copy the full SHA
    667444f View commit details
    Browse the repository at this point in the history

  4. rewrite part of the main body to an abstract term

    @xiaohe27
    xiaohe27 committed Apr 27, 2016
    Configuration menu
    Copy the full SHA
    b3f000a View commit details
    Browse the repository at this point in the history

  5. add more structures

    @xiaohe27
    xiaohe27 committed Apr 27, 2016
    Configuration menu
    Copy the full SHA
    081a63a View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2016

  1. update monitor state

    @xiaohe27
    xiaohe27 committed Apr 28, 2016
    Configuration menu
    Copy the full SHA
    07c2543 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2016

  1. update global state

    @xiaohe27
    xiaohe27 committed May 10, 2016
    Configuration menu
    Copy the full SHA
    b60d3e8 View commit details
    Browse the repository at this point in the history

  2. global state var update successfully

    @xiaohe27
    xiaohe27 committed May 10, 2016
    Configuration menu
    Copy the full SHA
    c4ffe32 View commit details
    Browse the repository at this point in the history

  3. rewrite to handler code

    @xiaohe27
    xiaohe27 committed May 10, 2016
    Configuration menu
    Copy the full SHA
    a74ae89 View commit details
    Browse the repository at this point in the history

  4. update the local states and global states

    @xiaohe27
    xiaohe27 committed May 10, 2016
    Configuration menu
    Copy the full SHA
    c437363 View commit details
    Browse the repository at this point in the history

  5. function for generating handler code

    @xiaohe27
    xiaohe27 committed May 10, 2016
    Configuration menu
    Copy the full SHA
    8fb6632 View commit details
    Browse the repository at this point in the history

  6. add code gen

    @xiaohe27
    xiaohe27 committed May 10, 2016
    Configuration menu
    Copy the full SHA
    12cbb15 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2016

  1. generate handler code

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    4d6448e View commit details
    Browse the repository at this point in the history

  2. add decl bubble list to output code

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    15569c2 View commit details
    Browse the repository at this point in the history

  3. generate the .c code successfully!

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    a1a11fe View commit details
    Browse the repository at this point in the history

  4. re-organize the tests

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    f89bc64 View commit details
    Browse the repository at this point in the history

  5. re-structure the test

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    71364b3 View commit details
    Browse the repository at this point in the history

  6. refactor

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    9b00c3a View commit details
    Browse the repository at this point in the history

  7. fix a typo

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    f0a3143 View commit details
    Browse the repository at this point in the history

  8. update

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    4fcf2d3 View commit details
    Browse the repository at this point in the history

  9. update

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    4860212 View commit details
    Browse the repository at this point in the history

  10. TODO:header template

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    5847bf1 View commit details
    Browse the repository at this point in the history

  11. generate header contents

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    3a99692 View commit details
    Browse the repository at this point in the history

  12. add scripts for tests

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    4795596 View commit details
    Browse the repository at this point in the history

  13. add seatbelt benchmark

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    01ce5bb View commit details
    Browse the repository at this point in the history

  14. refactor

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    e701145 View commit details
    Browse the repository at this point in the history

  15. update make file

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    7fd5a19 View commit details
    Browse the repository at this point in the history

  16. make it compile

    @xiaohe27
    xiaohe27 committed May 11, 2016
    Configuration menu
    Copy the full SHA
    a916fb7 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2016

  1. print import decl list

    @xiaohe27
    xiaohe27 committed May 12, 2016
    Configuration menu
    Copy the full SHA
    bd21545 View commit details
    Browse the repository at this point in the history

  2. add

    @xiaohe27
    xiaohe27 committed May 12, 2016
    Configuration menu
    Copy the full SHA
    368e451 View commit details
    Browse the repository at this point in the history

  3. #include statements generated successfully

    @xiaohe27
    xiaohe27 committed May 12, 2016
    Configuration menu
    Copy the full SHA
    e862a60 View commit details
    Browse the repository at this point in the history

  4. fix a bug

    @xiaohe27
    xiaohe27 committed May 12, 2016
    Configuration menu
    Copy the full SHA
    94db2fb View commit details
    Browse the repository at this point in the history

  5. make generated c code compile

    @xiaohe27
    xiaohe27 committed May 12, 2016
    Configuration menu
    Copy the full SHA
    e4d8fb8 View commit details
    Browse the repository at this point in the history

  6. update make file

    @xiaohe27
    xiaohe27 committed May 12, 2016
    Configuration menu
    Copy the full SHA
    4a4f137 View commit details
    Browse the repository at this point in the history

  7. update make file: clean

    @xiaohe27
    xiaohe27 committed May 12, 2016
    Configuration menu
    Copy the full SHA
    5dde711 View commit details
    Browse the repository at this point in the history