| commit | 1b1c5fc79e668a1ef3c250963836ea06bd7ed9ea | [log] [tgz] |
|---|---|---|
| author | Lev Walkin <vlm@lionet.info> | Fri Sep 08 19:38:11 2006 +0000 |
| committer | Lev Walkin <vlm@lionet.info> | Fri Sep 08 19:38:11 2006 +0000 |
| tree | 024874ccf6196086aa885660da7caaaf6ebff490 | |
| parent | dcf1e35b8c921a06744aa57786645600a7f9040b [diff] |
bit string constraint checking changed