| Rev. | Time | Author |
|---|---|---|
| b718088 master | 2018-11-09 16:49:58 | |
|
Merge pull request #50770 (tallman/cit_bach/master into master). |
||
| f4d33ce | 2018-09-22 02:52:22 | tallman |
|
add testcase |
||
| 9a5fb23 | 2018-09-22 01:16:36 | tallman |
|
change source file encoding MS932 to UTF-8. |
||
| cdeab91 | 2018-09-22 00:56:15 | tallman |
|
- add pom.xml |
||
| fd30418 | 2018-08-22 15:32:09 | Tatsuhiro Tsuchiya |
|
Small but critical bug was fixed |
||
| 9a57fef | 2018-07-27 13:39:53 | Tatsuhiro Tsuchiya |
|
find forbidden pairs |
||
| 8a74dda | 2018-07-27 13:35:25 | Tatsuhiro Tsuchiya |
|
Create new program to find forbidden pairs |
||
| 694443e | 2017-05-15 16:51:25 | |
|
I have copied the CIT-bach project. |
||
| dfb9b32 | 2016-03-24 14:24:11 | |
|
Version 1.10 |
||
| 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 1.02 | 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 |
||
| 5063616 1.01 | 2015-05-01 15:36:00 | |
|
1.01 |
||
| 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 | |
|
全部あげます. |
||