source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @212   11 years elshar Consideres file system structure of jenkins in build script.
(edit) @211   11 years elshar Created build script Moved test classes in another package.
(edit) @210   11 years elshar Bug fix of optimized code from previous commit.
(edit) @209   11 years elshar Trying to optimize the translation by skipping the translation of …
(edit) @208   11 years elshar Debug message
(edit) @207   11 years elshar Debug messages
(edit) @206   11 years elshar Debug messages
(edit) @205   11 years elshar Trying to avoid translating constraints twice.
(edit) @204   11 years elshar Debug message
(edit) @203   11 years elshar Debug message
(edit) @202   11 years krafczy
(edit) @201   11 years krafczy Fix checkstyle errors
(edit) @200   11 years krafczy Add test case for additional constraint
(edit) @199   11 years elshar Added a more expressive debug message to logging output.
(edit) @198   11 years elshar Added Linux-3.13.11.tsv tu input models and also to example scripts.
(edit) @197   11 years krafczy Implement addition of needed constraints properly in …
(edit) @196   11 years krafczy Add some simple jUnit tests
(edit) @195   11 years krafczy Implement additional constraints in ModelExtender?
(edit) @194   11 years krafczy Implement addition of new constraint
(edit) @193   11 years krafczy Implement writing of .dimacs file by using DimacsWriter? from …
(edit) @192   11 years krafczy Implement reading of .dimacs files
(edit) @191   11 years krafczy Add Eclipse project settings
(edit) @190   11 years krafczy Initial import.
(edit) @189   11 years elshar Added additional test.
(edit) @188   11 years elshar Code cleanup Solved one bug regarding variable names surrounded in …
(edit) @187   11 years elshar Added empty method for new visit methods of CST-Visitor
(edit) @186   11 years elshar Updated scripts
(edit) @185   11 years krafczy Add CSTExpander and CSTNegater to simplify constraints
(edit) @184   11 years krafczy WIP CSTSimplifier
(edit) @183   11 years krafczy Expand a OR !(b OR c) to a OR (!b AND !c) to possibly speed some …
(edit) @182   11 years krafczy Handle constraint with OR at highest position and one of the sub-trees …
(edit) @181   11 years krafczy Revert previous commit
(edit) @180   11 years krafczy Split conditions in RSFDependsCondition into several parts, if they are …
(edit) @179   11 years krafczy Treat 'm' as 'y' for non-tristate variables in …
(edit) @178   11 years elshar Switched logging level in start scripts.
(edit) @177   11 years elshar Added Login output to all start scripts.
(edit) @176   11 years elshar Disabled setting AdvancedLogger?, if FileLogger? was set.
(edit) @175   11 years elshar Updated start scripts
(edit) @174   11 years elshar Updated start scripts
(edit) @173   11 years krafczy Implement toNotBooleanCST of RSFItemSelectsCondtion
(edit) @172   11 years krafczy Implement toNotBolleanConstraintSyntaxTree of RSFDependsCondition
(edit) @171   11 years krafczy Add links to the specifications in the wiki to the RSF*Choices
(edit) @170   11 years krafczy Update method signature of RSFCondition
(edit) @169   11 years krafczy Create missing selected variables in ItemSelects? statements Fix handling …
(edit) @168   11 years krafczy Improve error messages
(edit) @167   11 years krafczy Fix NullPointerException? in RSFItemSelectsCondition
(edit) @166   11 years krafczy Update handling for defaults and prompts
(edit) @165   11 years krafczy Add handling for tristate ItemSelects?
(edit) @164   11 years krafczy Add handling for tristate Choices
(edit) @163   12 years krafczy Add additional Depends to RSFChoice (too hacky?)
(edit) @162   12 years krafczy Add constraints to ensure that only one of the created integer and string …
(edit) @161   12 years krafczy Update/change translation of Depends constraint
(edit) @160   12 years krafczy Comment out unnecessary/unhelpful unit test
(edit) @159   12 years elshar Bug fix, new test case
(edit) @158   12 years elshar Test case for ticket #9
(edit) @157   12 years krafczy Update/change variable depending on a tristate variable
(edit) @156   12 years krafczy Handle multiple depends lines for one variable
(edit) @155   12 years krafczy Add getSelectedVariable() to RSFCondition to properly handle NOT(str=n)
(edit) @154   12 years krafczy Fix RSFChoice to make sure that no variable is selected if the choice …
(edit) @153   12 years krafczy Update/change empty strings or integers to =n
(edit) @152   12 years krafczy Update/change _MODULE condition
(edit) @151   12 years krafczy Fix double negation bug in DIMACS writer (ticket #5)
(edit) @150   12 years elshar Bug fix in adding linefeeds to comments.
(edit) @149   12 years elshar help corrected
(edit) @148   12 years elshar help corrected
(edit) @147   12 years elshar
(edit) @146   12 years elshar
(edit) @145   12 years elshar New test cases
(edit) @144   12 years elshar Smaller bug fixes and new ToDos?
(edit) @143   12 years elshar Smaller bug fix while reading *.model files without specifying any …
(edit) @142   12 years elshar Removed checkstyle error
(edit) @141   12 years krafczy * Fix xor to CNF conversion in RSFChoice * Restructure RSFConditions to …
(edit) @140   12 years krafczy Implement automatic test in RsfToDiamcsTranslationTest?.testEmptyStrings()
(edit) @139   12 years krafczy Update ToDo?.txt
(edit) @138   12 years krafczy Finish choices in RSFReader
(edit) @137   12 years krafczy Remove _EMPTY variable for strings in RSFReader
(edit) @136   12 years elshar New test case for translation into dimacs format.
(edit) @135   12 years elshar * MaxTermConverter2: Output of an error added * Changed Help in …
(edit) @134   12 years krafczy Handle Choices in RSFReader (WIP)
(edit) @133   12 years krafczy Add condition if a tristate depends on a tristate in RSFDependsCondition
(edit) @132   12 years krafczy Simplify boolean expression generated by RSFItemSelectsCondition
(edit) @131   12 years krafczy Handle string comparisons = and !='foo' correctly in RSFReader
(edit) @130   12 years elshar Removed obsolete DSL methods from visitors.
(edit) @129   12 years elshar Cleanup of one test case
(edit) @128   12 years elshar Restructured resources, added test cases for DIMACS translation
(edit) @127   12 years elshar Fixed broken test case
(edit) @126   12 years elshar Added help to output of DimacsWriter?
(edit) @125   12 years elshar Added help to output of DimacsWriter?
(edit) @124   12 years elshar Started to implement new test case.
(edit) @123   12 years elshar Changed settings of Jacoco
(edit) @122   12 years elshar Changed settings of Jacoco
(edit) @121   12 years elshar RemovedBundle? class, changed settings of Jacoco
(edit) @120   12 years elshar Test case added
(edit) @119   12 years elshar
(edit) @118   12 years elshar Runtime optimizations inside of ModelOptimizer?
(edit) @117   12 years anonymous This is an empty revision for padding.
(edit) @116   12 years anonymous This is an empty revision for padding.
(edit) @115   12 years anonymous This is an empty revision for padding.
(edit) @114   12 years anonymous This is an empty revision for padding.
(edit) @113   12 years anonymous This is an empty revision for padding.
Note: See TracRevisionLog for help on using the revision log.