source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @91   10 years krafczy Rename UnusedVariableChecker? to ModelOptimizer? and add …
(edit) @90   10 years krafczy Optimize UnusedVariableChecker?
(edit) @89   10 years krafczy MaxTermConverter?: Add constraints directly instead of saving them in …
(edit) @88   10 years krafczy Add UnusedVariableChecker?
(edit) @87   10 years krafczy Remove unused import from RSFReaderTest
(edit) @86   10 years krafczy Speedup MaxTermConverter2 by ignoring paths that are already true
(edit) @85   10 years anonymous This is an empty revision for padding.
(edit) @84   10 years anonymous This is an empty revision for padding.
(edit) @83   10 years anonymous This is an empty revision for padding.
(edit) @82   10 years krafczy Finish condition for .rsf format (Depends and ItemSelects?)
(edit) @81   10 years anonymous This is an empty revision for padding.
(edit) @80   10 years anonymous This is an empty revision for padding.
(edit) @79   10 years anonymous This is an empty revision for padding.
(edit) @78   10 years anonymous This is an empty revision for padding.
(edit) @77   10 years krafczy Add conditions to RSFReader (WIP)
(edit) @76   10 years krafczy Use Variable cache
(edit) @75   10 years krafczy Finish the MaxTermConverter2, which uses a backtracking algorithm Better …
(edit) @74   10 years elshar Bug fix in IVMLWriter
(edit) @73   10 years elshar Continued implementation of RSFReader
(edit) @72   10 years elshar Started implementation of RSFReader
(edit) @71   10 years elshar Removed unused imports
(edit) @70   10 years elshar Removed Iterator to reduce memory overhead Prepared recursive AND …
(edit) @69   10 years elshar Reduced memory consumption of MaxTermConverter?
(edit) @68   10 years elshar CNFConverter: Reduced memory consumption MaxTermConverter?: Removed …
(edit) @67   10 years krafczy Add handling for constraint with more than 15 variables
(edit) @66   10 years krafczy Refactor ModelReader? a bit
(edit) @65   10 years krafczy Finish DimacsWriter?
(edit) @64   10 years krafczy Improve test-cases for ModelReader? and MaxTermConverter?. Add comments.
(edit) @63   10 years elshar Added new test case
(edit) @62   10 years elshar Enhance runtime Added new test case
(edit) @61   10 years elshar Added example scripts
(edit) @60   10 years krafczy Finish MaxTermConverter? WIP DimacsWriter?
(edit) @59   10 years elshar Added test target
(edit) @58   10 years elshar Added jacoco and build script
(edit) @57   10 years elshar
(edit) @56   10 years elshar Initial implementation of convert mechanism
(edit) @55   10 years elshar Added DisjunctionChecker?
(edit) @54   10 years anonymous This is an empty revision for padding.
(edit) @53   10 years anonymous This is an empty revision for padding.
(edit) @52   10 years elshar Improvements in IVMLWriter More Command line arguments
(edit) @51   10 years elshar Added IVMLWriter
(edit) @50   10 years anonymous This is an empty revision for padding.
(edit) @49   10 years anonymous This is an empty revision for padding.
(edit) @48   10 years krafczy Add ModelReader?.parseLine() Add DimacsWriter? (WIP)
(edit) @47   10 years anonymous This is an empty revision for padding.
(edit) @46   10 years anonymous This is an empty revision for padding.
(edit) @45   10 years anonymous This is an empty revision for padding.
(edit) @44   10 years anonymous This is an empty revision for padding.
(edit) @43   10 years anonymous This is an empty revision for padding.
(edit) @42   10 years anonymous This is an empty revision for padding.
(edit) @41   10 years anonymous This is an empty revision for padding.
(edit) @40   10 years anonymous This is an empty revision for padding.
(edit) @39   10 years anonymous This is an empty revision for padding.
(edit) @38   10 years elshar Initial commit of ModelTranslator?
(edit) @37   10 years elshar Initial import.
(edit) @36   10 years anonymous This is an empty revision for padding.
(edit) @35   10 years www-data Create a totally empty repository.
(edit) @34   10 years anonymous This is an empty revision for padding.
(edit) @33   10 years www-data Create a totally empty repository.
(edit) @32   10 years anonymous This is an empty revision for padding.
(edit) @31   10 years www-data Create a totally empty repository.
(edit) @30   10 years elshar
(edit) @29   10 years anonymous This is an empty revision for padding.
(edit) @28   10 years www-data Create a totally empty repository.
(edit) @27   10 years anonymous This is an empty revision for padding.
(edit) @26   10 years www-data Create a totally empty repository.
(edit) @25   10 years anonymous This is an empty revision for padding.
(edit) @24   10 years www-data Create a totally empty repository.
(edit) @23   10 years anonymous This is an empty revision for padding.
(edit) @22   10 years www-data Create a totally empty repository.
(edit) @21   10 years anonymous This is an empty revision for padding.
(edit) @20   10 years www-data Create a totally empty repository.
(edit) @19   10 years anonymous This is an empty revision for padding.
(edit) @18   10 years www-data Create a totally empty repository.
(edit) @17   10 years elshar
(edit) @16   10 years anonymous This is an empty revision for padding.
(edit) @15   10 years www-data Create a totally empty repository.
(edit) @14   10 years anonymous This is an empty revision for padding.
(edit) @13   10 years www-data Create a totally empty repository.
(edit) @12   10 years anonymous This is an empty revision for padding.
(edit) @11   10 years www-data Create a totally empty repository.
(edit) @10   10 years anonymous This is an empty revision for padding.
(edit) @9   10 years www-data Create a totally empty repository.
(edit) @8   10 years anonymous This is an empty revision for padding.
(edit) @7   10 years www-data Create a totally empty repository.
(edit) @6   10 years anonymous This is an empty revision for padding.
(edit) @5   10 years www-data Create a totally empty repository.
(edit) @4   10 years elshar Created temporary folder fur importing existing project
(edit) @3   10 years anonymous This is an empty revision for padding.
(edit) @2   10 years www-data Create a totally empty repository.
(add) @1   10 years www-data Create a totally empty repository.
Note: See TracRevisionLog for help on using the revision log.