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
>
Chamber
>
IPOGwBDD
>
Chamber History
t-tutiya
IPOGwBDD
Fork
(Original repository, No fork origin)
Wiki
Source Code
Summary
SourceTree
Commits
Branches
Tags
Download
Ticket
list
Submit
Milestone List
Fork
Fork information
Fork this repository
Activities
Chamber History
Stats
Other Chambers (4)
CIT-BACH
IPOGwBDD
IPOGwoConstraints
randomCIT
List
Filter
×
Filter
Category
Show
Hide
Wiki, Docs
Show
Hide
File Release
Show
Hide
SCM
Show
Hide
PersonalForge
Show All
Hide All
Revert filter
RSS
Chamber History: IPOGwBDD
2018-12-19
14:30
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: cfa05b801daae759a184c01f28d732ba6a217f04)
deleted unused part of generator
14:09
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 49dd973e672518a9e8f38d0887dc6105d23724d8)
misc
2018-12-18
15:51
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: f5e1141f8762d45c3b0bbac35a7e6619124e2002)
Variable ordering for naive BDD method and others
13:54
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 559e6bed9a782724812327e9908cf802c5c30f97)
->UTF8
13:05
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 0961eff2759e3eef391223b46323675d79734539)
Now ConjConstraintHandler is problem
2018-12-17
14:53
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: b0395658f3c0fdc3adce26aa871aca549531ac0b)
Merge branch 'master' of https://pf.osdn.net/gitroot/t/t-/t-tutiya/IPOGwBDD.git Conflicts: src/...
2018-11-30
16:52
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 965be91420d80f2f41b2b88d1d987014b9148d57)
speed up by optimizing horizontalExtention in IPOG.java
2018-11-27
09:59
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: bec584f67cdd72a9434b923d5ba190cf9ef6e2c7)
leftover
09:59
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: d94826dba9b97111d65a8212ef00d8c406a587b9)
Add "without constraint"-version of IPOG
2018-11-26
18:23
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: d1c64adb4ac72047e245830d4ba4b706409f8244)
byte -> int
2018-11-20
17:37
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 63a849a252cb43a4813fd735d4c697a2449a8d18)
variable ordering
2018-11-19
18:46
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: e5f899198930cfeba925ea4fe9f4766d42163e08)
calculate distance of parameters from each AST node
2018-11-16
18:52
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 6a36386821f2154a49e68fa1c16a6823f7116152)
Create Abstract Syntax Tree for Constraints
2018-11-14
18:26
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: d6cb6ac03b1a69e4e8748bbe7a3321747dcd8c28)
some (very) small changes
2018-08-07
15:57
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: f9dde525564ba04ea7e5df3a8fb9e3271d41ad5a)
# WARNING: head commit changed in the meantime Correct some part of Parameter.java
2018-08-03
16:58
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 4cc39bb7c35e94bdd01709b13b1434321e4e4fb2)
Rework main. Create InputFileData.java. Change Inputer.java to SeedReader.java
2018-03-30
16:08
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: ea802afbe08c44d425efb3dd1a8e6698819f716e)
Added placeholder for variable ordering
2018-03-29
16:56
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 99b8f6607631ea610732c9b15eceec86b3b249f4)
Temporarily stable version
16:25
IPOGwBDD
t-tutiya
[PF/Files] New file has been published: build20180329.jar
07:23
IPOGwBDD
t-tutiya
[Git] commits were pushed to 'IPOGwBDD' (current: 7c46572fdbca9ef3821aacb214183f9864188692)
Added print statements for debugging
← Previous 20 items
Next 20 items →