source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(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.
(edit) @294   10 years elshar Improvements in IVMLWriter More Command line arguments
(edit) @293   10 years elshar Added IVMLWriter
(edit) @292   10 years anonymous This is an empty revision for padding.
(edit) @291   10 years anonymous This is an empty revision for padding.
(edit) @290   10 years krafczy Add ModelReader?.parseLine() Add DimacsWriter? (WIP)
(edit) @289   10 years anonymous This is an empty revision for padding.
(edit) @288   10 years anonymous This is an empty revision for padding.
(edit) @287   10 years anonymous This is an empty revision for padding.
(edit) @286   10 years anonymous This is an empty revision for padding.
(edit) @285   10 years anonymous This is an empty revision for padding.
(edit) @284   10 years anonymous This is an empty revision for padding.
(edit) @283   10 years anonymous This is an empty revision for padding.
(edit) @282   10 years anonymous This is an empty revision for padding.
(edit) @281   10 years anonymous This is an empty revision for padding.
(edit) @280   10 years elshar Initial commit of ModelTranslator?
(edit) @279   10 years elshar Initial import.
(edit) @278   10 years anonymous This is an empty revision for padding.
(edit) @277   10 years www-data Create a totally empty repository.
(edit) @276   10 years anonymous This is an empty revision for padding.
(edit) @275   10 years www-data Create a totally empty repository.
(edit) @274   10 years anonymous This is an empty revision for padding.
(edit) @273   10 years www-data Create a totally empty repository.
(edit) @272   10 years elshar
(edit) @271   10 years anonymous This is an empty revision for padding.
(edit) @270   10 years www-data Create a totally empty repository.
(edit) @269   10 years anonymous This is an empty revision for padding.
(edit) @268   10 years www-data Create a totally empty repository.
(edit) @267   10 years anonymous This is an empty revision for padding.
(edit) @266   10 years www-data Create a totally empty repository.
(edit) @265   10 years anonymous This is an empty revision for padding.
(edit) @264   10 years www-data Create a totally empty repository.
(edit) @263   10 years anonymous This is an empty revision for padding.
(edit) @262   10 years www-data Create a totally empty repository.
(edit) @261   10 years anonymous This is an empty revision for padding.
(edit) @260   10 years www-data Create a totally empty repository.
(edit) @259   10 years elshar
(edit) @258   10 years anonymous This is an empty revision for padding.
(edit) @257   10 years www-data Create a totally empty repository.
(edit) @256   10 years anonymous This is an empty revision for padding.
(edit) @255   10 years www-data Create a totally empty repository.
(edit) @254   10 years anonymous This is an empty revision for padding.
(edit) @253   10 years www-data Create a totally empty repository.
(edit) @252   10 years anonymous This is an empty revision for padding.
(edit) @251   10 years www-data Create a totally empty repository.
(edit) @250   10 years anonymous This is an empty revision for padding.
(edit) @249   10 years www-data Create a totally empty repository.
(edit) @248   10 years anonymous This is an empty revision for padding.
(edit) @247   10 years www-data Create a totally empty repository.
(edit) @246   10 years elshar Created temporary folder fur importing existing project
(edit) @245   10 years anonymous This is an empty revision for padding.
(edit) @244   10 years www-data Create a totally empty repository.
(edit) @243   10 years www-data Create a totally empty repository.
(edit) @242   8 years krafczy Update to latest version of IConstraintTreeVisitor
(edit) @241   8 years krafczy Update project names
(edit) @240   8 years krafczy - Consider constant values in CSTNegater - Disable (probably broken) …
(edit) @239   8 years elshar Adapted imports recording to refactorings in EASy-Producer (new …
(edit) @238   8 years elshar Adapted imports recording to refactorings in EASy-Producer (new …
(edit) @237   8 years elshar Adapted imports recording to refactorings in EASy-Producer (new …
(edit) @236   9 years elshar CST: Visitation of AnnotationVariables? introduced.
(edit) @235   9 years asadna Project extendModel(Project model, String constraint) is added to Main
(edit) @234   9 years asadna create a method cloneProject
(edit) @233   9 years asadna disabled debugging
Note: See TracRevisionLog for help on using the revision log.