diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-21 15:47:29 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-21 15:47:29 -0700 |
commit | ecb2780a72c05a97183fdeb9fec092e9accdb399 (patch) | |
tree | ebf102ab09cf88fb8a6fb5864fa1dbc85ca66716 /.gitignore | |
parent | a4d6e2f8c92907702de0099264a698a8acc49334 (diff) | |
download | abc-ecb2780a72c05a97183fdeb9fec092e9accdb399.tar.gz abc-ecb2780a72c05a97183fdeb9fec092e9accdb399.tar.bz2 abc-ecb2780a72c05a97183fdeb9fec092e9accdb399.zip |
Procedure to check inductive invariant for Gia package.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions