| Rev. | Time | Author |
|---|---|---|
| 1182938 | 2016-02-19 18:16:33 | |
|
Corrected CVS processing. (It is only used for processing a seeding |
||
| 8bbb7dd | 2015-11-02 19:26:30 | |
|
Somewhat big changes are made. Now only the parameters involved in the |
||
| a90f961 | 2015-10-16 17:52:49 | |
|
Now parameters involved in constraints are passed to the BDD |
||
| 952a25f | 2015-10-16 14:12:00 | |
|
Support arithmetic comparator !=== |
||
| 8a4cc78 | 2015-10-16 11:48:47 | |
|
Support of arithmetic comparison, including < > <= >= ===. |
||
| 52f55c2 | 2015-05-25 19:02:21 | |
|
Merge Japanese and English versions |
||
| 446e4f1 | 2015-05-22 18:55:32 | |
|
Bug fixes related to ref/deref of BDD nodes |
||
| b2daba4 | 2015-05-21 06:28:05 | |
|
Fixed bugs related to refs/derefs of BDD nodes |
||
| ed30d83 | 2014-03-16 03:39:16 | |
|
サンプル追加 |
||
| 184e61e | 2014-03-11 00:41:41 | |
|
例外へserialize用idを追加. |
||
| acf1bc9 | 2014-03-10 16:25:33 | |
|
仕様と入力サンプルデータを追加.ディレクトリinputsamples以下. |
||
| 6672b67 | 2014-03-09 00:54:49 | |
|
いったんプロジェクトを削除して、リモートからフェッチ |
||
| fefd88b | 2014-03-09 00:13:34 | |
|
てすと |
||
| 45b6fc8 | 2014-03-08 23:56:29 | |
|
全部あげます. |
||