OSDN -- Develop and Download Open Source Software

Filter RSS
Chamber History: CIT-BACH

2018-07-27
13:59
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 9a57fefe6b476ca5bdcda3dac3b8f02b3fc272f5)
find forbidden pairs
2017-05-15
16:51
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 694443ebbc9f1805666b68e0c9199babaf4b654d)
I have copied the CIT-bach project.
2016-03-24
14:24
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: dfb9b32a32c3e6805ab8d29ab84610377ed86aaf)
Version 1.10 - Support arithmetic comparators: ===, !==, <, >, <=, >=. - Memory usage reduction i...
2016-02-19
18:13
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 1182938a26ad4c02186aa4d26023fdf44f79aafe)
Corrected CVS processing. (It is only used for processing a seeding file.)
2015-11-02
19:24
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 8bbb7dd2cd5f95dcde868515c1d1ac76f8ec00cd)
Somewhat big changes are made. Now only the parameters involved in the constraints are taken into...
2015-10-16
17:50
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: a90f961465d07af7be561f0393760509a156bb1e)
Now parameters involved in constraints are passed to the BDD construction part.
14:10
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 952a25fd0cbfbab8452446f6562867fe2e1e87cc)
Support arithmetic comparator !=== Add a TreeSet to represent constrained parameters
11:46
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 8a4cc78799d484f5c73c4f6cb5d1305c515616fc)
Support of arithmetic comparison, including < > <= >= ===.
2015-05-28
13:10
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 52f55c273aad45c38fc6812416d95c7028da6c2f)
Merge Japanese and English versions Change licence from BSD to zlib Reflect missing updates made ...
2015-05-25
19:01
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 52f55c273aad45c38fc6812416d95c7028da6c2f)
Merge Japanese and English versions Change licence from BSD to zlib Reflect missing updates made ...
2015-05-22
18:54
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 446e4f13d917ec3a3eadf7398ac8076db1f1050a)
Bug fixes related to ref/deref of BDD nodes
2015-05-21
06:28
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: b2daba4f2bb630063db57c26547f0c530d9a26c6)
Fixed bugs related to refs/derefs of BDD nodes
2015-05-01
15:37
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 50636160dafa089cc2644690d739a9418a2ca6ec)
1.01
2014-03-16
03:39
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: ed30d83791a3f7b2b31d82a97421d2833a74df77)
サンプル追加
2014-03-11
00:41
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 184e61e124afcdc1c1b1c5bdaaf67f90bd698c11)
例外へserialize用idを追加．
2014-03-10
16:25
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: acf1bc97937fd9e4fd036df34d12ac321ea0ef83)
仕様と入力サンプルデータを追加．ディレクトリinputsamples以下．
2014-03-09
00:57
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 6672b67ff9db4d185bdfb8906374a9727f98a39e)
いったんプロジェクトを削除して、リモートからフェッチ
00:26
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: fefd88b18dbf4b7c4597f0f4c990cd6f155e6a20)
てすと
2014-03-08
23:06
CIT-BACH
t-tutiya
[Git] commits were pushed to 'cit_bach' (current: 86036c98666a0a44e4e55ff8afa8659db47a8367)
test
2014-03-07
15:29
CIT-BACH
t-tutiya
[PF/Files] minijdd_103.jar has been deleted