diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-08-22 16:16:59 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-08-22 16:16:59 -0700 |
| commit | 285277ada67d0536c0a7c2f8d6cc8353c3946e17 (patch) | |
| tree | 320f21da7e9cc6b986e9956dd0e93cd224fffae1 /.hgignore | |
| parent | 57f7c407df2940fbf057decefab63a74e15bb7fe (diff) | |
Use SMT2 syntax for sign_extend
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions