|
|
|
@430
|
10 years |
elshar |
Code cleanup
Solved one bug regarding variable names surrounded in …
|
|
|
|
@429
|
10 years |
elshar |
Added empty method for new visit methods of CST-Visitor
|
|
|
|
@428
|
10 years |
elshar |
Updated scripts
|
|
|
|
@427
|
10 years |
krafczy |
Add CSTExpander and CSTNegater to simplify constraints
|
|
|
|
@426
|
10 years |
krafczy |
WIP CSTSimplifier
|
|
|
|
@425
|
10 years |
krafczy |
Expand a OR !(b OR c) to a OR (!b AND !c) to possibly speed some …
|
|
|
|
@424
|
11 years |
krafczy |
Handle constraint with OR at highest position and one of the sub-trees …
|
|
|
|
@423
|
11 years |
krafczy |
Revert previous commit
|
|
|
|
@422
|
11 years |
krafczy |
Split conditions in RSFDependsCondition into several parts, if they are …
|
|
|
|
@421
|
11 years |
krafczy |
Treat 'm' as 'y' for non-tristate variables in …
|
|
|
|
@420
|
11 years |
elshar |
Switched logging level in start scripts.
|
|
|
|
@419
|
11 years |
elshar |
Added Login output to all start scripts.
|
|
|
|
@418
|
11 years |
elshar |
Disabled setting AdvancedLogger?, if FileLogger? was set.
|
|
|
|
@417
|
11 years |
elshar |
Updated start scripts
|
|
|
|
@416
|
11 years |
elshar |
Updated start scripts
|
|
|
|
@415
|
11 years |
krafczy |
Implement toNotBooleanCST of RSFItemSelectsCondtion
|
|
|
|
@414
|
11 years |
krafczy |
Implement toNotBolleanConstraintSyntaxTree of RSFDependsCondition
|
|
|
|
@413
|
11 years |
krafczy |
Add links to the specifications in the wiki to the RSF*Choices
|
|
|
|
@412
|
11 years |
krafczy |
Update method signature of RSFCondition
|
|
|
|
@411
|
11 years |
krafczy |
Create missing selected variables in ItemSelects? statements
Fix handling …
|
|
|
|
@410
|
11 years |
krafczy |
Improve error messages
|
|
|
|
@409
|
11 years |
krafczy |
Fix NullPointerException? in RSFItemSelectsCondition
|
|
|
|
@408
|
11 years |
krafczy |
Update handling for defaults and prompts
|
|
|
|
@407
|
11 years |
krafczy |
Add handling for tristate ItemSelects?
|
|
|
|
@406
|
11 years |
krafczy |
Add handling for tristate Choices
|
|
|
|
@405
|
11 years |
krafczy |
Add additional Depends to RSFChoice (too hacky?)
|
|
|
|
@404
|
11 years |
krafczy |
Add constraints to ensure that only one of the created integer and string …
|
|
|
|
@403
|
11 years |
krafczy |
Update/change translation of Depends constraint
|
|
|
|
@402
|
11 years |
krafczy |
Comment out unnecessary/unhelpful unit test
|
|
|
|
@401
|
11 years |
elshar |
Bug fix, new test case
|
|
|
|
@400
|
11 years |
elshar |
Test case for ticket #9
|
|
|
|
@399
|
11 years |
krafczy |
Update/change variable depending on a tristate variable
|
|
|
|
@398
|
11 years |
krafczy |
Handle multiple depends lines for one variable
|
|
|
|
@397
|
11 years |
krafczy |
Add getSelectedVariable() to RSFCondition to properly handle NOT(str=n)
|
|
|
|
@396
|
11 years |
krafczy |
Fix RSFChoice to make sure that no variable is selected if the choice …
|
|
|
|
@395
|
11 years |
krafczy |
Update/change empty strings or integers to =n
|
|
|
|
@394
|
11 years |
krafczy |
Update/change _MODULE condition
|
|
|
|
@393
|
11 years |
krafczy |
Fix double negation bug in DIMACS writer (ticket #5)
|
|
|
|
@392
|
11 years |
elshar |
Bug fix in adding linefeeds to comments.
|
|
|
|
@391
|
11 years |
elshar |
help corrected
|
|
|
|
@390
|
11 years |
elshar |
help corrected
|
|
|
|
@389
|
11 years |
elshar |
|
|
|
|
@388
|
11 years |
elshar |
|
|
|
|
@387
|
11 years |
elshar |
New test cases
|
|
|
|
@386
|
11 years |
elshar |
Smaller bug fixes and new ToDos?
|
|
|
|
@385
|
11 years |
elshar |
Smaller bug fix while reading *.model files without specifying any …
|
|
|
|
@384
|
11 years |
elshar |
Removed checkstyle error
|
|
|
|
@383
|
11 years |
krafczy |
* Fix xor to CNF conversion in RSFChoice
* Restructure RSFConditions to …
|
|
|
|
@382
|
11 years |
krafczy |
Implement automatic test in RsfToDiamcsTranslationTest?.testEmptyStrings()
|
|
|
|
@381
|
11 years |
krafczy |
Update ToDo?.txt
|
|
|
|
@380
|
11 years |
krafczy |
Finish choices in RSFReader
|
|
|
|
@379
|
11 years |
krafczy |
Remove _EMPTY variable for strings in RSFReader
|
|
|
|
@378
|
11 years |
elshar |
New test case for translation into dimacs format.
|
|
|
|
@377
|
11 years |
elshar |
* MaxTermConverter2: Output of an error added
* Changed Help in …
|
|
|
|
@376
|
11 years |
krafczy |
Handle Choices in RSFReader (WIP)
|
|
|
|
@375
|
11 years |
krafczy |
Add condition if a tristate depends on a tristate in RSFDependsCondition
|
|
|
|
@374
|
11 years |
krafczy |
Simplify boolean expression generated by RSFItemSelectsCondition
|
|
|
|
@373
|
11 years |
krafczy |
Handle string comparisons = and !='foo' correctly in RSFReader
|
|
|
|
@372
|
11 years |
elshar |
Removed obsolete DSL methods from visitors.
|
|
|
|
@371
|
11 years |
elshar |
Cleanup of one test case
|
|
|
|
@370
|
11 years |
elshar |
Restructured resources, added test cases for DIMACS translation
|
|
|
|
@369
|
11 years |
elshar |
Fixed broken test case
|
|
|
|
@368
|
11 years |
elshar |
Added help to output of DimacsWriter?
|
|
|
|
@367
|
11 years |
elshar |
Added help to output of DimacsWriter?
|
|
|
|
@366
|
11 years |
elshar |
Started to implement new test case.
|
|
|
|
@365
|
11 years |
elshar |
Changed settings of Jacoco
|
|
|
|
@364
|
11 years |
elshar |
Changed settings of Jacoco
|
|
|
|
@363
|
11 years |
elshar |
RemovedBundle? class, changed settings of Jacoco
|
|
|
|
@362
|
11 years |
elshar |
Test case added
|
|
|
|
@361
|
11 years |
elshar |
|
|
|
|
@360
|
11 years |
elshar |
Runtime optimizations inside of ModelOptimizer?
|
|
|
|
@359
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@358
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@357
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@356
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@355
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@354
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@353
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@352
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@351
|
11 years |
krafczy |
Add support for not boolean constraints to RSFReader
|
|
|
|
@350
|
11 years |
krafczy |
Reword console output a bit
|
|
|
|
@349
|
11 years |
krafczy |
Handle integers and strings in RSFReader
|
|
|
|
@348
|
11 years |
krafczy |
Fix links in javadoc comments
|
|
|
|
@347
|
11 years |
krafczy |
Fix typo
|
|
|
|
@346
|
11 years |
elshar |
|
|
|
|
@345
|
11 years |
krafczy |
Handle "y" condition in RSFCondition
|
|
|
|
@344
|
11 years |
krafczy |
Remove constant variables from constraints in …
|
|
|
|
@343
|
11 years |
krafczy |
Handle constants and 'm' in RSF conditions
Shorten RSFDependsCondition
|
|
|
|
@342
|
11 years |
krafczy |
Use VariablePool? in ModelReader? and RSFReader
Don't create multiple …
|
|
|
|
@341
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@340
|
11 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@339
|
11 years |
elshar |
Stated implementation of RSF -> Dimacs translation
Avoiding translating …
|
|
|
|
@338
|
11 years |
elshar |
|
|
|
|
@337
|
11 years |
elshar |
* Moved test method from tests for MaxTerm1Converter to MaxTerm2Converter …
|
|
|
|
@336
|
11 years |
krafczy |
Update comments in ModelOptimizer?
|
|
|
|
@335
|
11 years |
krafczy |
Add ModelOptimizer?.removeDuplicatedConstraints()
|
|
|
|
@334
|
11 years |
krafczy |
Optimize ModelOptimizer?.handleConstantVariables() a bit
|
|
|
|
@333
|
11 years |
krafczy |
Rename UnusedVariableChecker? to ModelOptimizer? and add …
|
|
|
|
@332
|
11 years |
krafczy |
Optimize UnusedVariableChecker?
|
|
|
|
@331
|
11 years |
krafczy |
MaxTermConverter?: Add constraints directly instead of saving them in …
|
|
|
|