source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @169   11 years krafczy Create missing selected variables in ItemSelects? statements Fix handling …
(edit) @168   11 years krafczy Improve error messages
(edit) @167   11 years krafczy Fix NullPointerException? in RSFItemSelectsCondition
(edit) @166   11 years krafczy Update handling for defaults and prompts
(edit) @165   11 years krafczy Add handling for tristate ItemSelects?
(edit) @164   11 years krafczy Add handling for tristate Choices
(edit) @163   12 years krafczy Add additional Depends to RSFChoice (too hacky?)
(edit) @162   12 years krafczy Add constraints to ensure that only one of the created integer and string …
(edit) @161   12 years krafczy Update/change translation of Depends constraint
(edit) @160   12 years krafczy Comment out unnecessary/unhelpful unit test
(edit) @159   12 years elshar Bug fix, new test case
(edit) @158   12 years elshar Test case for ticket #9
(edit) @157   12 years krafczy Update/change variable depending on a tristate variable
(edit) @156   12 years krafczy Handle multiple depends lines for one variable
(edit) @155   12 years krafczy Add getSelectedVariable() to RSFCondition to properly handle NOT(str=n)
(edit) @154   12 years krafczy Fix RSFChoice to make sure that no variable is selected if the choice …
(edit) @153   12 years krafczy Update/change empty strings or integers to =n
(edit) @152   12 years krafczy Update/change _MODULE condition
(edit) @151   12 years krafczy Fix double negation bug in DIMACS writer (ticket #5)
(edit) @150   12 years elshar Bug fix in adding linefeeds to comments.
(edit) @149   12 years elshar help corrected
(edit) @148   12 years elshar help corrected
(edit) @147   12 years elshar
(edit) @146   12 years elshar
(edit) @145   12 years elshar New test cases
(edit) @144   12 years elshar Smaller bug fixes and new ToDos?
(edit) @143   12 years elshar Smaller bug fix while reading *.model files without specifying any …
(edit) @142   12 years elshar Removed checkstyle error
(edit) @141   12 years krafczy * Fix xor to CNF conversion in RSFChoice * Restructure RSFConditions to …
(edit) @140   12 years krafczy Implement automatic test in RsfToDiamcsTranslationTest?.testEmptyStrings()
(edit) @139   12 years krafczy Update ToDo?.txt
(edit) @138   12 years krafczy Finish choices in RSFReader
(edit) @137   12 years krafczy Remove _EMPTY variable for strings in RSFReader
(edit) @136   12 years elshar New test case for translation into dimacs format.
(edit) @135   12 years elshar * MaxTermConverter2: Output of an error added * Changed Help in …
(edit) @134   12 years krafczy Handle Choices in RSFReader (WIP)
(edit) @133   12 years krafczy Add condition if a tristate depends on a tristate in RSFDependsCondition
(edit) @132   12 years krafczy Simplify boolean expression generated by RSFItemSelectsCondition
(edit) @131   12 years krafczy Handle string comparisons = and !='foo' correctly in RSFReader
(edit) @130   12 years elshar Removed obsolete DSL methods from visitors.
(edit) @129   12 years elshar Cleanup of one test case
(edit) @128   12 years elshar Restructured resources, added test cases for DIMACS translation
(edit) @127   12 years elshar Fixed broken test case
(edit) @126   12 years elshar Added help to output of DimacsWriter?
(edit) @125   12 years elshar Added help to output of DimacsWriter?
(edit) @124   12 years elshar Started to implement new test case.
(edit) @123   12 years elshar Changed settings of Jacoco
(edit) @122   12 years elshar Changed settings of Jacoco
(edit) @121   12 years elshar RemovedBundle? class, changed settings of Jacoco
(edit) @120   12 years elshar Test case added
(edit) @119   12 years elshar
(edit) @118   12 years elshar Runtime optimizations inside of ModelOptimizer?
(edit) @117   12 years anonymous This is an empty revision for padding.
(edit) @116   12 years anonymous This is an empty revision for padding.
(edit) @115   12 years anonymous This is an empty revision for padding.
(edit) @114   12 years anonymous This is an empty revision for padding.
(edit) @113   12 years anonymous This is an empty revision for padding.
(edit) @112   12 years anonymous This is an empty revision for padding.
(edit) @111   12 years anonymous This is an empty revision for padding.
(edit) @110   12 years anonymous This is an empty revision for padding.
(edit) @109   12 years krafczy Add support for not boolean constraints to RSFReader
(edit) @108   12 years krafczy Reword console output a bit
(edit) @107   12 years krafczy Handle integers and strings in RSFReader
(edit) @106   12 years krafczy Fix links in javadoc comments
(edit) @105   12 years krafczy Fix typo
(edit) @104   12 years elshar
(edit) @103   12 years krafczy Handle "y" condition in RSFCondition
(edit) @102   12 years krafczy Remove constant variables from constraints in …
(edit) @101   12 years krafczy Handle constants and 'm' in RSF conditions Shorten RSFDependsCondition
(edit) @100   12 years krafczy Use VariablePool? in ModelReader? and RSFReader Don't create multiple …
(edit) @99   12 years anonymous This is an empty revision for padding.
(edit) @98   12 years anonymous This is an empty revision for padding.
(edit) @97   12 years elshar Stated implementation of RSF -> Dimacs translation Avoiding translating …
(edit) @96   12 years elshar
(edit) @95   12 years elshar * Moved test method from tests for MaxTerm1Converter to MaxTerm2Converter …
(edit) @94   12 years krafczy Update comments in ModelOptimizer?
(edit) @93   12 years krafczy Add ModelOptimizer?.removeDuplicatedConstraints()
(edit) @92   12 years krafczy Optimize ModelOptimizer?.handleConstantVariables() a bit
(edit) @91   12 years krafczy Rename UnusedVariableChecker? to ModelOptimizer? and add …
(edit) @90   12 years krafczy Optimize UnusedVariableChecker?
(edit) @89   12 years krafczy MaxTermConverter?: Add constraints directly instead of saving them in …
(edit) @88   12 years krafczy Add UnusedVariableChecker?
(edit) @87   12 years krafczy Remove unused import from RSFReaderTest
(edit) @86   12 years krafczy Speedup MaxTermConverter2 by ignoring paths that are already true
(edit) @85   12 years anonymous This is an empty revision for padding.
(edit) @84   12 years anonymous This is an empty revision for padding.
(edit) @83   12 years anonymous This is an empty revision for padding.
(edit) @82   12 years krafczy Finish condition for .rsf format (Depends and ItemSelects?)
(edit) @81   12 years anonymous This is an empty revision for padding.
(edit) @80   12 years anonymous This is an empty revision for padding.
(edit) @79   12 years anonymous This is an empty revision for padding.
(edit) @78   12 years anonymous This is an empty revision for padding.
(edit) @77   12 years krafczy Add conditions to RSFReader (WIP)
(edit) @76   12 years krafczy Use Variable cache
(edit) @75   12 years krafczy Finish the MaxTermConverter2, which uses a backtracking algorithm Better …
(edit) @74   12 years elshar Bug fix in IVMLWriter
(edit) @73   12 years elshar Continued implementation of RSFReader
(edit) @72   12 years elshar Started implementation of RSFReader
(edit) @71   12 years elshar Removed unused imports
(edit) @70   12 years elshar Removed Iterator to reduce memory overhead Prepared recursive AND …
Note: See TracRevisionLog for help on using the revision log.