source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @394   10 years krafczy Update/change _MODULE condition
(edit) @393   10 years krafczy Fix double negation bug in DIMACS writer (ticket #5)
(edit) @392   10 years elshar Bug fix in adding linefeeds to comments.
(edit) @391   10 years elshar help corrected
(edit) @390   10 years elshar help corrected
(edit) @389   10 years elshar
(edit) @388   10 years elshar
(edit) @387   10 years elshar New test cases
(edit) @386   10 years elshar Smaller bug fixes and new ToDos?
(edit) @385   10 years elshar Smaller bug fix while reading *.model files without specifying any …
(edit) @384   10 years elshar Removed checkstyle error
(edit) @383   10 years krafczy * Fix xor to CNF conversion in RSFChoice * Restructure RSFConditions to …
(edit) @382   10 years krafczy Implement automatic test in RsfToDiamcsTranslationTest?.testEmptyStrings()
(edit) @381   10 years krafczy Update ToDo?.txt
(edit) @380   10 years krafczy Finish choices in RSFReader
(edit) @379   10 years krafczy Remove _EMPTY variable for strings in RSFReader
(edit) @378   10 years elshar New test case for translation into dimacs format.
(edit) @377   10 years elshar * MaxTermConverter2: Output of an error added * Changed Help in …
(edit) @376   10 years krafczy Handle Choices in RSFReader (WIP)
(edit) @375   10 years krafczy Add condition if a tristate depends on a tristate in RSFDependsCondition
(edit) @374   10 years krafczy Simplify boolean expression generated by RSFItemSelectsCondition
(edit) @373   10 years krafczy Handle string comparisons = and !='foo' correctly in RSFReader
(edit) @372   10 years elshar Removed obsolete DSL methods from visitors.
(edit) @371   10 years elshar Cleanup of one test case
(edit) @370   10 years elshar Restructured resources, added test cases for DIMACS translation
(edit) @369   10 years elshar Fixed broken test case
(edit) @368   10 years elshar Added help to output of DimacsWriter?
(edit) @367   10 years elshar Added help to output of DimacsWriter?
(edit) @366   10 years elshar Started to implement new test case.
(edit) @365   10 years elshar Changed settings of Jacoco
(edit) @364   10 years elshar Changed settings of Jacoco
(edit) @363   10 years elshar RemovedBundle? class, changed settings of Jacoco
(edit) @362   10 years elshar Test case added
(edit) @361   10 years elshar
(edit) @360   10 years elshar Runtime optimizations inside of ModelOptimizer?
(edit) @359   10 years anonymous This is an empty revision for padding.
(edit) @358   10 years anonymous This is an empty revision for padding.
(edit) @357   10 years anonymous This is an empty revision for padding.
(edit) @356   10 years anonymous This is an empty revision for padding.
(edit) @355   10 years anonymous This is an empty revision for padding.
(edit) @354   10 years anonymous This is an empty revision for padding.
(edit) @353   10 years anonymous This is an empty revision for padding.
(edit) @352   10 years anonymous This is an empty revision for padding.
(edit) @351   10 years krafczy Add support for not boolean constraints to RSFReader
(edit) @350   10 years krafczy Reword console output a bit
(edit) @349   10 years krafczy Handle integers and strings in RSFReader
(edit) @348   10 years krafczy Fix links in javadoc comments
(edit) @347   10 years krafczy Fix typo
(edit) @346   10 years elshar
(edit) @345   10 years krafczy Handle "y" condition in RSFCondition
(edit) @344   10 years krafczy Remove constant variables from constraints in …
(edit) @343   10 years krafczy Handle constants and 'm' in RSF conditions Shorten RSFDependsCondition
(edit) @342   10 years krafczy Use VariablePool? in ModelReader? and RSFReader Don't create multiple …
(edit) @341   10 years anonymous This is an empty revision for padding.
(edit) @340   10 years anonymous This is an empty revision for padding.
(edit) @339   10 years elshar Stated implementation of RSF -> Dimacs translation Avoiding translating …
(edit) @338   10 years elshar
(edit) @337   10 years elshar * Moved test method from tests for MaxTerm1Converter to MaxTerm2Converter …
(edit) @336   10 years krafczy Update comments in ModelOptimizer?
(edit) @335   10 years krafczy Add ModelOptimizer?.removeDuplicatedConstraints()
(edit) @334   10 years krafczy Optimize ModelOptimizer?.handleConstantVariables() a bit
(edit) @333   10 years krafczy Rename UnusedVariableChecker? to ModelOptimizer? and add …
(edit) @332   10 years krafczy Optimize UnusedVariableChecker?
(edit) @331   10 years krafczy MaxTermConverter?: Add constraints directly instead of saving them in …
(edit) @330   10 years krafczy Add UnusedVariableChecker?
(edit) @329   10 years krafczy Remove unused import from RSFReaderTest
(edit) @328   10 years krafczy Speedup MaxTermConverter2 by ignoring paths that are already true
(edit) @327   10 years anonymous This is an empty revision for padding.
(edit) @326   10 years anonymous This is an empty revision for padding.
(edit) @325   10 years anonymous This is an empty revision for padding.
(edit) @324   10 years krafczy Finish condition for .rsf format (Depends and ItemSelects?)
(edit) @323   10 years anonymous This is an empty revision for padding.
(edit) @322   10 years anonymous This is an empty revision for padding.
(edit) @321   10 years anonymous This is an empty revision for padding.
(edit) @320   10 years anonymous This is an empty revision for padding.
(edit) @319   10 years krafczy Add conditions to RSFReader (WIP)
(edit) @318   10 years krafczy Use Variable cache
(edit) @317   10 years krafczy Finish the MaxTermConverter2, which uses a backtracking algorithm Better …
(edit) @316   10 years elshar Bug fix in IVMLWriter
(edit) @315   10 years elshar Continued implementation of RSFReader
(edit) @314   10 years elshar Started implementation of RSFReader
(edit) @313   10 years elshar Removed unused imports
(edit) @312   10 years elshar Removed Iterator to reduce memory overhead Prepared recursive AND …
(edit) @311   10 years elshar Reduced memory consumption of MaxTermConverter?
(edit) @310   10 years elshar CNFConverter: Reduced memory consumption MaxTermConverter?: Removed …
(edit) @309   10 years krafczy Add handling for constraint with more than 15 variables
(edit) @308   10 years krafczy Refactor ModelReader? a bit
(edit) @307   10 years krafczy Finish DimacsWriter?
(edit) @306   10 years krafczy Improve test-cases for ModelReader? and MaxTermConverter?. Add comments.
(edit) @305   10 years elshar Added new test case
(edit) @304   10 years elshar Enhance runtime Added new test case
(edit) @303   10 years elshar Added example scripts
(edit) @302   10 years krafczy Finish MaxTermConverter? WIP DimacsWriter?
(edit) @301   10 years elshar Added test target
(edit) @300   10 years elshar Added jacoco and build script
(edit) @299   10 years elshar
(edit) @298   10 years elshar Initial implementation of convert mechanism
(edit) @297   10 years elshar Added DisjunctionChecker?
(edit) @296   10 years anonymous This is an empty revision for padding.
(edit) @295   10 years anonymous This is an empty revision for padding.
Note: See TracRevisionLog for help on using the revision log.