source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @321   11 years anonymous This is an empty revision for padding.
(edit) @320   11 years anonymous This is an empty revision for padding.
(edit) @319   11 years krafczy Add conditions to RSFReader (WIP)
(edit) @318   11 years krafczy Use Variable cache
(edit) @317   11 years krafczy Finish the MaxTermConverter2, which uses a backtracking algorithm Better …
(edit) @316   11 years elshar Bug fix in IVMLWriter
(edit) @315   12 years elshar Continued implementation of RSFReader
(edit) @314   12 years elshar Started implementation of RSFReader
(edit) @313   12 years elshar Removed unused imports
(edit) @312   12 years elshar Removed Iterator to reduce memory overhead Prepared recursive AND …
(edit) @311   12 years elshar Reduced memory consumption of MaxTermConverter?
(edit) @310   12 years elshar CNFConverter: Reduced memory consumption MaxTermConverter?: Removed …
(edit) @309   12 years krafczy Add handling for constraint with more than 15 variables
(edit) @308   12 years krafczy Refactor ModelReader? a bit
(edit) @307   12 years krafczy Finish DimacsWriter?
(edit) @306   12 years krafczy Improve test-cases for ModelReader? and MaxTermConverter?. Add comments.
(edit) @305   12 years elshar Added new test case
(edit) @304   12 years elshar Enhance runtime Added new test case
(edit) @303   12 years elshar Added example scripts
(edit) @302   12 years krafczy Finish MaxTermConverter? WIP DimacsWriter?
(edit) @301   12 years elshar Added test target
(edit) @300   12 years elshar Added jacoco and build script
(edit) @299   12 years elshar
(edit) @298   12 years elshar Initial implementation of convert mechanism
(edit) @297   12 years elshar Added DisjunctionChecker?
(edit) @296   12 years anonymous This is an empty revision for padding.
(edit) @295   12 years anonymous This is an empty revision for padding.
(edit) @294   12 years elshar Improvements in IVMLWriter More Command line arguments
(edit) @293   12 years elshar Added IVMLWriter
(edit) @292   12 years anonymous This is an empty revision for padding.
(edit) @291   12 years anonymous This is an empty revision for padding.
(edit) @290   12 years krafczy Add ModelReader?.parseLine() Add DimacsWriter? (WIP)
(edit) @289   12 years anonymous This is an empty revision for padding.
(edit) @288   12 years anonymous This is an empty revision for padding.
(edit) @287   12 years anonymous This is an empty revision for padding.
(edit) @286   12 years anonymous This is an empty revision for padding.
(edit) @285   12 years anonymous This is an empty revision for padding.
(edit) @284   12 years anonymous This is an empty revision for padding.
(edit) @283   12 years anonymous This is an empty revision for padding.
(edit) @282   12 years anonymous This is an empty revision for padding.
(edit) @281   12 years anonymous This is an empty revision for padding.
(edit) @280   12 years elshar Initial commit of ModelTranslator?
(edit) @279   12 years elshar Initial import.
(edit) @278   12 years anonymous This is an empty revision for padding.
(edit) @277   12 years www-data Create a totally empty repository.
(edit) @276   12 years anonymous This is an empty revision for padding.
(edit) @275   12 years www-data Create a totally empty repository.
(edit) @274   12 years anonymous This is an empty revision for padding.
(edit) @273   12 years www-data Create a totally empty repository.
(edit) @272   11 years elshar
(edit) @271   12 years anonymous This is an empty revision for padding.
(edit) @270   12 years www-data Create a totally empty repository.
(edit) @269   12 years anonymous This is an empty revision for padding.
(edit) @268   12 years www-data Create a totally empty repository.
(edit) @267   12 years anonymous This is an empty revision for padding.
(edit) @266   12 years www-data Create a totally empty repository.
(edit) @265   12 years anonymous This is an empty revision for padding.
(edit) @264   12 years www-data Create a totally empty repository.
(edit) @263   12 years anonymous This is an empty revision for padding.
(edit) @262   12 years www-data Create a totally empty repository.
(edit) @261   12 years anonymous This is an empty revision for padding.
(edit) @260   12 years www-data Create a totally empty repository.
(edit) @259   11 years elshar
(edit) @258   12 years anonymous This is an empty revision for padding.
(edit) @257   12 years www-data Create a totally empty repository.
(edit) @256   12 years anonymous This is an empty revision for padding.
(edit) @255   12 years www-data Create a totally empty repository.
(edit) @254   12 years anonymous This is an empty revision for padding.
(edit) @253   12 years www-data Create a totally empty repository.
(edit) @252   12 years anonymous This is an empty revision for padding.
(edit) @251   12 years www-data Create a totally empty repository.
(edit) @250   12 years anonymous This is an empty revision for padding.
(edit) @249   12 years www-data Create a totally empty repository.
(edit) @248   12 years anonymous This is an empty revision for padding.
(edit) @247   12 years www-data Create a totally empty repository.
(edit) @246   11 years elshar Created temporary folder fur importing existing project
(edit) @245   12 years anonymous This is an empty revision for padding.
(edit) @244   12 years www-data Create a totally empty repository.
(edit) @243   11 years www-data Create a totally empty repository.
(edit) @242   9 years krafczy Update to latest version of IConstraintTreeVisitor
(edit) @241   10 years krafczy Update project names
(edit) @240   10 years krafczy - Consider constant values in CSTNegater - Disable (probably broken) …
(edit) @239   10 years elshar Adapted imports recording to refactorings in EASy-Producer (new …
(edit) @238   10 years elshar Adapted imports recording to refactorings in EASy-Producer (new …
(edit) @237   10 years elshar Adapted imports recording to refactorings in EASy-Producer (new …
(edit) @236   10 years elshar CST: Visitation of AnnotationVariables? introduced.
(edit) @235   11 years asadna Project extendModel(Project model, String constraint) is added to Main
(edit) @234   11 years asadna create a method cloneProject
(edit) @233   11 years asadna disabled debugging
(edit) @232   11 years asadna Introduced extendModel method which extends the model with the …
(edit) @231   11 years asadna comment line 151, in order to avoid Warning: adding completly new variable
(edit) @230   11 years asadna In Main class, extendModel is changed to handle the bufferedreader instead …
(edit) @229   11 years asadna Add a new method having bufferedreader as an argument instead of a file.
(edit) @228   11 years elshar Added functionality for supporting Satyr as DIMACS generator.
(edit) @227   11 years krafczy Fix translation of not intersecting variables
(edit) @226   11 years elshar Bug fix in comment
(edit) @225   11 years elshar Further Function for testing.
(edit) @224   11 years krafczy Print an error if = is found in tristate or boolean vars in RSFReader
(edit) @223   11 years krafczy Replace all whitespace chars in ConstraintParser?
(edit) @222   11 years krafczy Use a better way to parse constraints
Note: See TracRevisionLog for help on using the revision log.