|
|
|
@283
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@282
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@281
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@280
|
10 years |
elshar |
Initial commit of ModelTranslator?
|
|
|
|
@279
|
10 years |
elshar |
Initial import.
|
|
|
|
@278
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@277
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@276
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@275
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@274
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@273
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@272
|
10 years |
elshar |
|
|
|
|
@271
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@270
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@269
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@268
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@267
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@266
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@265
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@264
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@263
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@262
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@261
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@260
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@259
|
10 years |
elshar |
|
|
|
|
@258
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@257
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@256
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@255
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@254
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@253
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@252
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@251
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@250
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@249
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@248
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@247
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@246
|
10 years |
elshar |
Created temporary folder fur importing existing project
|
|
|
|
@245
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
|
@244
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@243
|
10 years |
www-data |
Create a totally empty repository.
|
|
|
|
@242
|
8 years |
krafczy |
Update to latest version of IConstraintTreeVisitor
|
|
|
|
@241
|
8 years |
krafczy |
Update project names
|
|
|
|
@240
|
8 years |
krafczy |
- Consider constant values in CSTNegater
- Disable (probably broken) …
|
|
|
|
@239
|
8 years |
elshar |
Adapted imports recording to refactorings in EASy-Producer (new …
|
|
|
|
@238
|
8 years |
elshar |
Adapted imports recording to refactorings in EASy-Producer (new …
|
|
|
|
@237
|
8 years |
elshar |
Adapted imports recording to refactorings in EASy-Producer (new …
|
|
|
|
@236
|
9 years |
elshar |
CST: Visitation of AnnotationVariables? introduced.
|
|
|
|
@235
|
9 years |
asadna |
Project extendModel(Project model, String constraint) is added to Main
|
|
|
|
@234
|
9 years |
asadna |
create a method cloneProject
|
|
|
|
@233
|
9 years |
asadna |
disabled debugging
|
|
|
|
@232
|
9 years |
asadna |
Introduced extendModel method which extends the model with the …
|
|
|
|
@231
|
9 years |
asadna |
comment line 151, in order to avoid Warning: adding completly new variable
|
|
|
|
@230
|
9 years |
asadna |
In Main class, extendModel is changed to handle the bufferedreader instead …
|
|
|
|
@229
|
9 years |
asadna |
Add a new method having bufferedreader as an argument instead of a file.
|
|
|
|
@228
|
9 years |
elshar |
Added functionality for supporting Satyr as DIMACS generator.
|
|
|
|
@227
|
10 years |
krafczy |
Fix translation of not intersecting variables
|
|
|
|
@226
|
10 years |
elshar |
Bug fix in comment
|
|
|
|
@225
|
10 years |
elshar |
Further Function for testing.
|
|
|
|
@224
|
10 years |
krafczy |
Print an error if = is found in tristate or boolean vars in RSFReader
|
|
|
|
@223
|
10 years |
krafczy |
Replace all whitespace chars in ConstraintParser?
|
|
|
|
@222
|
10 years |
krafczy |
Use a better way to parse constraints
|
|
|
|
@221
|
10 years |
elshar |
Revised Test cases (not completed, yet).
|
|
|
|
@220
|
10 years |
elshar |
Fixed test cases after changing the output of writing methods.
|
|
|
|
@219
|
10 years |
elshar |
changed writing/reading of problems line inside of dimacs files. "cnf" …
|
|
|
|
@218
|
10 years |
elshar |
Added new method for running this tool as a lib instead of a command line …
|
|
|
|
@217
|
10 years |
krafczy |
Use regex to find if constraint contains choice item
|
|
|
|
@216
|
10 years |
krafczy |
|
|
|
|
@215
|
10 years |
elshar |
Added a new KConfig model.
|
|
|
|
@214
|
10 years |
elshar |
Removed experimental isSemanticallyEqual method.
|
|
|
|
@213
|
10 years |
elshar |
Considered file system structure of jenkins in build script.
|
|
|
|
@212
|
10 years |
elshar |
Consideres file system structure of jenkins in build script.
|
|
|
|
@211
|
10 years |
elshar |
Created build script
Moved test classes in another package.
|
|
|
|
@210
|
10 years |
elshar |
Bug fix of optimized code from previous commit.
|
|
|
|
@209
|
10 years |
elshar |
Trying to optimize the translation by skipping the translation of …
|
|
|
|
@208
|
10 years |
elshar |
Debug message
|
|
|
|
@207
|
10 years |
elshar |
Debug messages
|
|
|
|
@206
|
10 years |
elshar |
Debug messages
|
|
|
|
@205
|
10 years |
elshar |
Trying to avoid translating constraints twice.
|
|
|
|
@204
|
10 years |
elshar |
Debug message
|
|
|
|
@203
|
10 years |
elshar |
Debug message
|
|
|
|
@202
|
10 years |
krafczy |
|
|
|
|
@201
|
10 years |
krafczy |
Fix checkstyle errors
|
|
|
|
@200
|
10 years |
krafczy |
Add test case for additional constraint
|
|
|
|
@199
|
10 years |
elshar |
Added a more expressive debug message to logging output.
|
|
|
|
@198
|
10 years |
elshar |
Added Linux-3.13.11.tsv tu input models and also to example scripts.
|
|
|
|
@197
|
10 years |
krafczy |
Implement addition of needed constraints properly in …
|
|
|
|
@196
|
10 years |
krafczy |
Add some simple jUnit tests
|
|
|
|
@195
|
10 years |
krafczy |
Implement additional constraints in ModelExtender?
|
|
|
|
@194
|
10 years |
krafczy |
Implement addition of new constraint
|
|
|
|
@193
|
10 years |
krafczy |
Implement writing of .dimacs file by using DimacsWriter? from …
|
|
|
|
@192
|
10 years |
krafczy |
Implement reading of .dimacs files
|
|
|
|
@191
|
10 years |
krafczy |
Add Eclipse project settings
|
|
|
|
@190
|
10 years |
krafczy |
Initial import.
|
|
|
|
@189
|
10 years |
elshar |
Added additional test.
|
|
|
|
@188
|
10 years |
elshar |
Code cleanup
Solved one bug regarding variable names surrounded in …
|
|
|
|
@187
|
10 years |
elshar |
Added empty method for new visit methods of CST-Visitor
|
|
|
|
@186
|
10 years |
elshar |
Updated scripts
|
|
|
|
@185
|
10 years |
krafczy |
Add CSTExpander and CSTNegater to simplify constraints
|
|
|
|
@184
|
10 years |
krafczy |
WIP CSTSimplifier
|
|
|
|