source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(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
(edit) @172   10 years krafczy Implement toNotBolleanConstraintSyntaxTree of RSFDependsCondition
(edit) @171   10 years krafczy Add links to the specifications in the wiki to the RSF*Choices
(edit) @170   10 years krafczy Update method signature of RSFCondition
(edit) @169   10 years krafczy Create missing selected variables in ItemSelects? statements Fix handling …
(edit) @168   10 years krafczy Improve error messages
(edit) @167   10 years krafczy Fix NullPointerException? in RSFItemSelectsCondition
(edit) @166   10 years krafczy Update handling for defaults and prompts
(edit) @165   10 years krafczy Add handling for tristate ItemSelects?
(edit) @164   10 years krafczy Add handling for tristate Choices
(edit) @163   10 years krafczy Add additional Depends to RSFChoice (too hacky?)
(edit) @162   10 years krafczy Add constraints to ensure that only one of the created integer and string …
(edit) @161   10 years krafczy Update/change translation of Depends constraint
(edit) @160   10 years krafczy Comment out unnecessary/unhelpful unit test
(edit) @159   10 years elshar Bug fix, new test case
(edit) @158   10 years elshar Test case for ticket #9
(edit) @157   10 years krafczy Update/change variable depending on a tristate variable
(edit) @156   10 years krafczy Handle multiple depends lines for one variable
(edit) @155   10 years krafczy Add getSelectedVariable() to RSFCondition to properly handle NOT(str=n)
(edit) @154   10 years krafczy Fix RSFChoice to make sure that no variable is selected if the choice …
(edit) @153   10 years krafczy Update/change empty strings or integers to =n
(edit) @152   10 years krafczy Update/change _MODULE condition
(edit) @151   10 years krafczy Fix double negation bug in DIMACS writer (ticket #5)
(edit) @150   10 years elshar Bug fix in adding linefeeds to comments.
(edit) @149   10 years elshar help corrected
(edit) @148   10 years elshar help corrected
(edit) @147   10 years elshar
(edit) @146   10 years elshar
(edit) @145   10 years elshar New test cases
(edit) @144   10 years elshar Smaller bug fixes and new ToDos?
(edit) @143   10 years elshar Smaller bug fix while reading *.model files without specifying any …
(edit) @142   10 years elshar Removed checkstyle error
(edit) @141   10 years krafczy * Fix xor to CNF conversion in RSFChoice * Restructure RSFConditions to …
(edit) @140   10 years krafczy Implement automatic test in RsfToDiamcsTranslationTest?.testEmptyStrings()
(edit) @139   10 years krafczy Update ToDo?.txt
(edit) @138   10 years krafczy Finish choices in RSFReader
(edit) @137   10 years krafczy Remove _EMPTY variable for strings in RSFReader
(edit) @136   10 years elshar New test case for translation into dimacs format.
(edit) @135   10 years elshar * MaxTermConverter2: Output of an error added * Changed Help in …
(edit) @134   10 years krafczy Handle Choices in RSFReader (WIP)
(edit) @133   10 years krafczy Add condition if a tristate depends on a tristate in RSFDependsCondition
(edit) @132   10 years krafczy Simplify boolean expression generated by RSFItemSelectsCondition
(edit) @131   10 years krafczy Handle string comparisons = and !='foo' correctly in RSFReader
(edit) @130   10 years elshar Removed obsolete DSL methods from visitors.
(edit) @129   10 years elshar Cleanup of one test case
(edit) @128   10 years elshar Restructured resources, added test cases for DIMACS translation
(edit) @127   10 years elshar Fixed broken test case
(edit) @126   10 years elshar Added help to output of DimacsWriter?
(edit) @125   10 years elshar Added help to output of DimacsWriter?
(edit) @124   10 years elshar Started to implement new test case.
(edit) @123   10 years elshar Changed settings of Jacoco
(edit) @122   10 years elshar Changed settings of Jacoco
(edit) @121   10 years elshar RemovedBundle? class, changed settings of Jacoco
(edit) @120   10 years elshar Test case added
(edit) @119   10 years elshar
(edit) @118   10 years elshar Runtime optimizations inside of ModelOptimizer?
(edit) @117   10 years anonymous This is an empty revision for padding.
Note: See TracRevisionLog for help on using the revision log.