source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @127   11 years elshar Fixed broken test case
(edit) @126   11 years elshar Added help to output of DimacsWriter?
(edit) @125   11 years elshar Added help to output of DimacsWriter?
(edit) @124   11 years elshar Started to implement new test case.
(edit) @123   11 years elshar Changed settings of Jacoco
(edit) @122   11 years elshar Changed settings of Jacoco
(edit) @121   11 years elshar RemovedBundle? class, changed settings of Jacoco
(edit) @120   11 years elshar Test case added
(edit) @119   11 years elshar
(edit) @118   11 years elshar Runtime optimizations inside of ModelOptimizer?
(edit) @117   11 years anonymous This is an empty revision for padding.
(edit) @116   11 years anonymous This is an empty revision for padding.
(edit) @115   11 years anonymous This is an empty revision for padding.
(edit) @114   11 years anonymous This is an empty revision for padding.
(edit) @113   11 years anonymous This is an empty revision for padding.
(edit) @112   11 years anonymous This is an empty revision for padding.
(edit) @111   11 years anonymous This is an empty revision for padding.
(edit) @110   11 years anonymous This is an empty revision for padding.
(edit) @109   11 years krafczy Add support for not boolean constraints to RSFReader
(edit) @108   11 years krafczy Reword console output a bit
(edit) @107   11 years krafczy Handle integers and strings in RSFReader
(edit) @106   11 years krafczy Fix links in javadoc comments
(edit) @105   11 years krafczy Fix typo
(edit) @104   11 years elshar
(edit) @103   11 years krafczy Handle "y" condition in RSFCondition
(edit) @102   11 years krafczy Remove constant variables from constraints in …
(edit) @101   11 years krafczy Handle constants and 'm' in RSF conditions Shorten RSFDependsCondition
(edit) @100   11 years krafczy Use VariablePool? in ModelReader? and RSFReader Don't create multiple …
(edit) @99   11 years anonymous This is an empty revision for padding.
(edit) @98   11 years anonymous This is an empty revision for padding.
(edit) @97   11 years elshar Stated implementation of RSF -> Dimacs translation Avoiding translating …
(edit) @96   11 years elshar
(edit) @95   11 years elshar * Moved test method from tests for MaxTerm1Converter to MaxTerm2Converter …
(edit) @94   11 years krafczy Update comments in ModelOptimizer?
(edit) @93   11 years krafczy Add ModelOptimizer?.removeDuplicatedConstraints()
(edit) @92   11 years krafczy Optimize ModelOptimizer?.handleConstantVariables() a bit
(edit) @91   11 years krafczy Rename UnusedVariableChecker? to ModelOptimizer? and add …
(edit) @90   11 years krafczy Optimize UnusedVariableChecker?
(edit) @89   11 years krafczy MaxTermConverter?: Add constraints directly instead of saving them in …
(edit) @88   11 years krafczy Add UnusedVariableChecker?
(edit) @87   11 years krafczy Remove unused import from RSFReaderTest
(edit) @86   11 years krafczy Speedup MaxTermConverter2 by ignoring paths that are already true
(edit) @85   11 years anonymous This is an empty revision for padding.
(edit) @84   11 years anonymous This is an empty revision for padding.
(edit) @83   11 years anonymous This is an empty revision for padding.
(edit) @82   11 years krafczy Finish condition for .rsf format (Depends and ItemSelects?)
(edit) @81   11 years anonymous This is an empty revision for padding.
(edit) @80   11 years anonymous This is an empty revision for padding.
(edit) @79   11 years anonymous This is an empty revision for padding.
(edit) @78   11 years anonymous This is an empty revision for padding.
(edit) @77   11 years krafczy Add conditions to RSFReader (WIP)
(edit) @76   11 years krafczy Use Variable cache
(edit) @75   11 years krafczy Finish the MaxTermConverter2, which uses a backtracking algorithm Better …
(edit) @74   11 years elshar Bug fix in IVMLWriter
(edit) @73   11 years elshar Continued implementation of RSFReader
(edit) @72   11 years elshar Started implementation of RSFReader
(edit) @71   11 years elshar Removed unused imports
(edit) @70   11 years elshar Removed Iterator to reduce memory overhead Prepared recursive AND …
(edit) @69   11 years elshar Reduced memory consumption of MaxTermConverter?
(edit) @68   11 years elshar CNFConverter: Reduced memory consumption MaxTermConverter?: Removed …
(edit) @67   11 years krafczy Add handling for constraint with more than 15 variables
(edit) @66   11 years krafczy Refactor ModelReader? a bit
(edit) @65   11 years krafczy Finish DimacsWriter?
(edit) @64   11 years krafczy Improve test-cases for ModelReader? and MaxTermConverter?. Add comments.
(edit) @63   11 years elshar Added new test case
(edit) @62   11 years elshar Enhance runtime Added new test case
(edit) @61   11 years elshar Added example scripts
(edit) @60   11 years krafczy Finish MaxTermConverter? WIP DimacsWriter?
(edit) @59   11 years elshar Added test target
(edit) @58   11 years elshar Added jacoco and build script
(edit) @57   11 years elshar
(edit) @56   11 years elshar Initial implementation of convert mechanism
(edit) @55   11 years elshar Added DisjunctionChecker?
(edit) @54   11 years anonymous This is an empty revision for padding.
(edit) @53   11 years anonymous This is an empty revision for padding.
(edit) @52   11 years elshar Improvements in IVMLWriter More Command line arguments
(edit) @51   11 years elshar Added IVMLWriter
(edit) @50   11 years anonymous This is an empty revision for padding.
(edit) @49   11 years anonymous This is an empty revision for padding.
(edit) @48   11 years krafczy Add ModelReader?.parseLine() Add DimacsWriter? (WIP)
(edit) @47   11 years anonymous This is an empty revision for padding.
(edit) @46   11 years anonymous This is an empty revision for padding.
(edit) @45   11 years anonymous This is an empty revision for padding.
(edit) @44   11 years anonymous This is an empty revision for padding.
(edit) @43   11 years anonymous This is an empty revision for padding.
(edit) @42   11 years anonymous This is an empty revision for padding.
(edit) @41   11 years anonymous This is an empty revision for padding.
(edit) @40   11 years anonymous This is an empty revision for padding.
(edit) @39   11 years anonymous This is an empty revision for padding.
(edit) @38   11 years elshar Initial commit of ModelTranslator?
(edit) @37   11 years elshar Initial import.
(edit) @36   11 years anonymous This is an empty revision for padding.
(edit) @35   11 years www-data Create a totally empty repository.
(edit) @34   11 years anonymous This is an empty revision for padding.
(edit) @33   11 years www-data Create a totally empty repository.
(edit) @32   11 years anonymous This is an empty revision for padding.
(edit) @31   11 years www-data Create a totally empty repository.
(edit) @30   11 years elshar
(edit) @29   11 years anonymous This is an empty revision for padding.
(edit) @28   11 years www-data Create a totally empty repository.
Note: See TracRevisionLog for help on using the revision log.