Download
Magazine
Develop
Account
Download
Magazine
Develop
Login
Forgot Account/Password
Create Account
Language
Help
Language
Help
×
Login
Login Name
Password
×
Forgot Account/Password
Category:
Software
People
PersonalForge
Magazine
Wiki
Search
OSDN
>
Developer
>
t-tutiya
>
User History
t-tutiya's History
Profile
Project (0)
Project List
Chambers (4)
CIT-BACH
IPOGwBDD
IPOGwoConstraints
randomCIT
List
Pastebin (0)
List
Activities
User History
User Stats
Review(0)
Filter
×
Filter
Category
Show
Hide
News
Show
Hide
Wiki, Docs
Show
Hide
Forum
Show
Hide
File Release
Show
Hide
SCM
Show
Hide
Ticket
Show
Hide
Translation
Show
Hide
Reviews
Show
Hide
User
Show
Hide
Project Settings
Show
Hide
PersonalForge
Items
Show
Hide
Related to the Project
Show
Hide
Related to PersonalForge
Show All
Hide All
Revert filter
RSS
t-tutiya's History
2019-06-29
02:17
IPOGwBDD
t-tutiya
[Wiki] Page 'FrontPage' has been updated
02:12
IPOGwBDD
t-tutiya
[PF/Files] New file has been published: ipogbdd.jar
2019-02-26
10:33
randomCIT
t-tutiya
[Git] commits were pushed to 'randomCIT' (current: fff263087db82b051dc912381d89d5ce8b374995)
add permuteRandomTest
2019-02-25
17:59
randomCIT
t-tutiya
[Git] commits were pushed to 'randomCIT' (current: 305a6c3c50c593e20f3b7410d974ccaf0ce8686f)
Distinguish two algorithms for test case generation
16:58
randomCIT
t-tutiya
[Git] commits were pushed to 'randomCIT' (current: 0feeae73092d57d10020e83fe9b53e0a437b801e)
First Commit
15:00
randomCIT
t-tutiya
[PersonalForge] Newly created chamber: randomCIT (randomCIT)
2019-01-26
06:10
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: c0cae5fc0fde045f4ff87f5ea8bd569d2b6d52ce)
Fixed big bugs related to SAT
2019-01-21
15:05
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 2eac5537db038aee21f9f4f2a51056c6b103e7f7)
throw RuntimeException when exception was thrown by Sat4j
2019-01-17
12:39
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 533a0a1aa39a47da72a7d50e0c6ca55374f14101)
Fixed: erroneously closed System.out. now flush instead.
11:22
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 526fefbe2ba643227da395a7d4fe0b950fdb3ebe)
failed to improve new BDD. Left (erroneous) code as comments
03:32
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 07659a4c35d6b8a2d1d5b1ae0c6e5a04dd040974)
Now SAT part is done
2019-01-16
18:37
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: a1cf2ad3cbaf6be6253aadfcef3796063fee12f3)
Add some code to SATConstraint.java to invoke Sat4J
2019-01-08
15:30
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: c198628577c28207632bd24e6ba8c5f5bc63a65f)
Complete SAT part; but still needs optimization (very slow)
2019-01-07
17:23
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 807384a01ab289f37625a873e39a351a3d39f446)
Fix a bug in addtuple in IPOG.java. SAT is still buggy.
06:56
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: c31969cb1304d7bdab0154b4c0038ca5a017c6ca)
Build Boolean expression representing all constraints
2019-01-06
01:10
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: ef01681d31e3086fe0e9aa7893cba7022aac703e)
Some methods for SAT construction in Node.java
2018-12-27
16:37
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 92f160d6db0114bedcca546bfb474252ca37cc49)
make BDDConstraint handler abstract
2018-12-21
10:54
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 7eaabcbd2cd8e2c72d073b56d71f341c257b2b38)
add some comments
10:21
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 16f5b44446a572af8c3a1254b9ce6f9db1437740)
Create CombinatorialGenerator.java
2018-12-20
13:50
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: fc8318c27f62498b6efb6c305530ab3d13b7c185)
Started writing SAT part
← Previous 20 items
Next 20 items →