source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(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
(edit) @232   9 years asadna Introduced extendModel method which extends the model with the …
(edit) @231   9 years asadna comment line 151, in order to avoid Warning: adding completly new variable
(edit) @230   9 years asadna In Main class, extendModel is changed to handle the bufferedreader instead …
(edit) @229   9 years asadna Add a new method having bufferedreader as an argument instead of a file.
(edit) @228   9 years elshar Added functionality for supporting Satyr as DIMACS generator.
(edit) @227   10 years krafczy Fix translation of not intersecting variables
(edit) @226   10 years elshar Bug fix in comment
(edit) @225   10 years elshar Further Function for testing.
(edit) @224   10 years krafczy Print an error if = is found in tristate or boolean vars in RSFReader
(edit) @223   10 years krafczy Replace all whitespace chars in ConstraintParser?
(edit) @222   10 years krafczy Use a better way to parse constraints
(edit) @221   10 years elshar Revised Test cases (not completed, yet).
(edit) @220   10 years elshar Fixed test cases after changing the output of writing methods.
(edit) @219   10 years elshar changed writing/reading of problems line inside of dimacs files. "cnf" …
(edit) @218   10 years elshar Added new method for running this tool as a lib instead of a command line …
(edit) @217   10 years krafczy Use regex to find if constraint contains choice item
(edit) @216   10 years krafczy
(edit) @215   10 years elshar Added a new KConfig model.
(edit) @214   10 years elshar Removed experimental isSemanticallyEqual method.
(edit) @213   10 years elshar Considered file system structure of jenkins in build script.
(edit) @212   10 years elshar Consideres file system structure of jenkins in build script.
(edit) @211   10 years elshar Created build script Moved test classes in another package.
(edit) @210   10 years elshar Bug fix of optimized code from previous commit.
(edit) @209   10 years elshar Trying to optimize the translation by skipping the translation of …
(edit) @208   10 years elshar Debug message
(edit) @207   10 years elshar Debug messages
(edit) @206   10 years elshar Debug messages
(edit) @205   10 years elshar Trying to avoid translating constraints twice.
(edit) @204   10 years elshar Debug message
(edit) @203   10 years elshar Debug message
(edit) @202   10 years krafczy
(edit) @201   10 years krafczy Fix checkstyle errors
(edit) @200   10 years krafczy Add test case for additional constraint
(edit) @199   10 years elshar Added a more expressive debug message to logging output.
(edit) @198   10 years elshar Added Linux-3.13.11.tsv tu input models and also to example scripts.
(edit) @197   10 years krafczy Implement addition of needed constraints properly in …
(edit) @196   10 years krafczy Add some simple jUnit tests
(edit) @195   10 years krafczy Implement additional constraints in ModelExtender?
(edit) @194   10 years krafczy Implement addition of new constraint
(edit) @193   10 years krafczy Implement writing of .dimacs file by using DimacsWriter? from …
(edit) @192   10 years krafczy Implement reading of .dimacs files
(edit) @191   10 years krafczy Add Eclipse project settings
(edit) @190   10 years krafczy Initial import.
(edit) @189   10 years elshar Added additional test.
(edit) @188   10 years elshar Code cleanup Solved one bug regarding variable names surrounded in …
(edit) @187   10 years elshar Added empty method for new visit methods of CST-Visitor
(edit) @186   10 years elshar Updated scripts
(edit) @185   10 years krafczy Add CSTExpander and CSTNegater to simplify constraints
(edit) @184   10 years krafczy WIP CSTSimplifier
(edit) @183   10 years krafczy Expand a OR !(b OR c) to a OR (!b AND !c) to possibly speed some …
(edit) @182   10 years krafczy Handle constraint with OR at highest position and one of the sub-trees …
(edit) @181   10 years krafczy Revert previous commit
(edit) @180   10 years krafczy Split conditions in RSFDependsCondition into several parts, if they are …
(edit) @179   10 years krafczy Treat 'm' as 'y' for non-tristate variables in …
(edit) @178   10 years elshar Switched logging level in start scripts.
(edit) @177   10 years elshar Added Login output to all start scripts.
(edit) @176   10 years elshar Disabled setting AdvancedLogger?, if FileLogger? was set.
(edit) @175   10 years elshar Updated start scripts
(edit) @174   10 years elshar Updated start scripts
(edit) @173   10 years krafczy Implement toNotBooleanCST of RSFItemSelectsCondtion
Note: See TracRevisionLog for help on using the revision log.