|
|
|
@201
|
10 years |
krafczy |
Fix checkstyle errors
|
|
|
|
@200
|
10 years |
krafczy |
Add test case for additional constraint
|
|
|
|
@199
|
10 years |
elshar |
Added a more expressive debug message to logging output.
|
|
|
|
@198
|
10 years |
elshar |
Added Linux-3.13.11.tsv tu input models and also to example scripts.
|
|
|
|
@197
|
10 years |
krafczy |
Implement addition of needed constraints properly in …
|
|
|
|
@196
|
10 years |
krafczy |
Add some simple jUnit tests
|
|
|
|
@195
|
10 years |
krafczy |
Implement additional constraints in ModelExtender?
|
|
|
|
@194
|
10 years |
krafczy |
Implement addition of new constraint
|
|
|
|
@193
|
10 years |
krafczy |
Implement writing of .dimacs file by using DimacsWriter? from …
|
|
|
|
@192
|
10 years |
krafczy |
Implement reading of .dimacs files
|
|
|
|
@191
|
10 years |
krafczy |
Add Eclipse project settings
|
|
|
|
@190
|
10 years |
krafczy |
Initial import.
|
|
|
|
@189
|
10 years |
elshar |
Added additional test.
|
|
|
|
@188
|
10 years |
elshar |
Code cleanup
Solved one bug regarding variable names surrounded in …
|
|
|
|
@187
|
10 years |
elshar |
Added empty method for new visit methods of CST-Visitor
|
|
|
|
@186
|
10 years |
elshar |
Updated scripts
|
|
|
|
@185
|
10 years |
krafczy |
Add CSTExpander and CSTNegater to simplify constraints
|
|
|
|
@184
|
10 years |
krafczy |
WIP CSTSimplifier
|
|
|
|
@183
|
10 years |
krafczy |
Expand a OR !(b OR c) to a OR (!b AND !c) to possibly speed some …
|
|
|
|
@182
|
11 years |
krafczy |
Handle constraint with OR at highest position and one of the sub-trees …
|
|
|
|
@181
|
11 years |
krafczy |
Revert previous commit
|
|
|
|
@180
|
11 years |
krafczy |
Split conditions in RSFDependsCondition into several parts, if they are …
|
|
|
|
@179
|
11 years |
krafczy |
Treat 'm' as 'y' for non-tristate variables in …
|
|
|
|
@178
|
11 years |
elshar |
Switched logging level in start scripts.
|
|
|
|
@177
|
11 years |
elshar |
Added Login output to all start scripts.
|
|
|
|
@176
|
11 years |
elshar |
Disabled setting AdvancedLogger?, if FileLogger? was set.
|
|
|
|
@175
|
11 years |
elshar |
Updated start scripts
|
|
|
|
@174
|
11 years |
elshar |
Updated start scripts
|
|
|
|
@173
|
11 years |
krafczy |
Implement toNotBooleanCST of RSFItemSelectsCondtion
|
|
|
|
@172
|
11 years |
krafczy |
Implement toNotBolleanConstraintSyntaxTree of RSFDependsCondition
|
|
|
|
@171
|
11 years |
krafczy |
Add links to the specifications in the wiki to the RSF*Choices
|
|
|
|
@170
|
11 years |
krafczy |
Update method signature of RSFCondition
|
|
|
|
@169
|
11 years |
krafczy |
Create missing selected variables in ItemSelects? statements
Fix handling …
|
|
|
|
@168
|
11 years |
krafczy |
Improve error messages
|
|
|
|
@167
|
11 years |
krafczy |
Fix NullPointerException? in RSFItemSelectsCondition
|
|
|
|
@166
|
11 years |
krafczy |
Update handling for defaults and prompts
|
|
|
|
@165
|
11 years |
krafczy |
Add handling for tristate ItemSelects?
|
|
|
|
@164
|
11 years |
krafczy |
Add handling for tristate Choices
|
|
|
|
@163
|
11 years |
krafczy |
Add additional Depends to RSFChoice (too hacky?)
|
|
|
|
@162
|
11 years |
krafczy |
Add constraints to ensure that only one of the created integer and string …
|
|
|
|
@161
|
11 years |
krafczy |
Update/change translation of Depends constraint
|
|
|
|
@160
|
11 years |
krafczy |
Comment out unnecessary/unhelpful unit test
|
|
|
|
@159
|
11 years |
elshar |
Bug fix, new test case
|
|
|
|
@158
|
11 years |
elshar |
Test case for ticket #9
|
|
|
|
@157
|
11 years |
krafczy |
Update/change variable depending on a tristate variable
|
|
|
|
@156
|
11 years |
krafczy |
Handle multiple depends lines for one variable
|
|
|
|
@155
|
11 years |
krafczy |
Add getSelectedVariable() to RSFCondition to properly handle NOT(str=n)
|
|
|
|
@154
|
11 years |
krafczy |
Fix RSFChoice to make sure that no variable is selected if the choice …
|
|
|
|
@153
|
11 years |
krafczy |
Update/change empty strings or integers to =n
|
|
|
|
@152
|
11 years |
krafczy |
Update/change _MODULE condition
|
|
|
|
@151
|
11 years |
krafczy |
Fix double negation bug in DIMACS writer (ticket #5)
|
|
|
|
@150
|
11 years |
elshar |
Bug fix in adding linefeeds to comments.
|
|
|
|
@149
|
11 years |
elshar |
help corrected
|
|
|
|
@148
|
11 years |
elshar |
help corrected
|
|
|
|
@147
|
11 years |
elshar |
|
|
|
|
@146
|
11 years |
elshar |
|
|
|
|
@145
|
11 years |
elshar |
New test cases
|
|
|
|
@144
|
11 years |
elshar |
Smaller bug fixes and new ToDos?
|
|
|
|
@143
|
11 years |
elshar |
Smaller bug fix while reading *.model files without specifying any …
|
|
|
|
@142
|
11 years |
elshar |
Removed checkstyle error
|
|
|
|
@141
|
11 years |
krafczy |
* Fix xor to CNF conversion in RSFChoice
* Restructure RSFConditions to …
|
|
|
|
@140
|
11 years |
krafczy |
Implement automatic test in RsfToDiamcsTranslationTest?.testEmptyStrings()
|
|
|
|
@139
|
11 years |
krafczy |
Update ToDo?.txt
|
|
|
|
@138
|
11 years |
krafczy |
Finish choices in RSFReader
|
|
|
|
@137
|
11 years |
krafczy |
Remove _EMPTY variable for strings in RSFReader
|
|
|
|
@136
|
11 years |
elshar |
New test case for translation into dimacs format.
|
|
|
|
@135
|
11 years |
elshar |
* MaxTermConverter2: Output of an error added
* Changed Help in …
|
|
|
|
@134
|
11 years |
krafczy |
Handle Choices in RSFReader (WIP)
|
|
|
|
@133
|
11 years |
krafczy |
Add condition if a tristate depends on a tristate in RSFDependsCondition
|
|
|
|
@132
|
11 years |
krafczy |
Simplify boolean expression generated by RSFItemSelectsCondition
|
|
|
|
@131
|
11 years |
krafczy |
Handle string comparisons = and !='foo' correctly in RSFReader
|
|
|
|
@130
|
11 years |
elshar |
Removed obsolete DSL methods from visitors.
|
|
|
|
@129
|
11 years |
elshar |
Cleanup of one test case
|
|
|
|
@128
|
11 years |
elshar |
Restructured resources, added test cases for DIMACS translation
|
|
|
|
@127
|
11 years |
elshar |
Fixed broken test case
|
|
|
|
@126
|
11 years |
elshar |
Added help to output of DimacsWriter?
|
|
|
|
@125
|
11 years |
elshar |
Added help to output of DimacsWriter?
|
|
|
|
@124
|
11 years |
elshar |
Started to implement new test case.
|
|
|
|
@123
|
11 years |
elshar |
Changed settings of Jacoco
|
|
|
|
@122
|
11 years |
elshar |
Changed settings of Jacoco
|
|
|
|
@121
|
11 years |
elshar |
RemovedBundle? class, changed settings of Jacoco
|
|
|
|
@120
|
11 years |
elshar |
Test case added
|
|
|
|
@119
|
11 years |
elshar |
|
|
|
|
@118
|
11 years |
elshar |
Runtime optimizations inside of ModelOptimizer?
|
|
|
|
@117
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@116
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@115
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@114
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@113
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@112
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@111
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@110
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@109
|
11 years |
krafczy |
Add support for not boolean constraints to RSFReader
|
|
|
|
@108
|
11 years |
krafczy |
Reword console output a bit
|
|
|
|
@107
|
11 years |
krafczy |
Handle integers and strings in RSFReader
|
|
|
|
@106
|
11 years |
krafczy |
Fix links in javadoc comments
|
|
|
|
@105
|
11 years |
krafczy |
Fix typo
|
|
|
|
@104
|
11 years |
elshar |
|
|
|
|
@103
|
11 years |
krafczy |
Handle "y" condition in RSFCondition
|
|
|
|
@102
|
11 years |
krafczy |
Remove constant variables from constraints in …
|
|
|
|