source:

Revision Log Mode:


Legend:

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