|
|
@321
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@320
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@319
|
10 years |
krafczy |
Add conditions to RSFReader (WIP)
|
|
|
@318
|
10 years |
krafczy |
Use Variable cache
|
|
|
@317
|
10 years |
krafczy |
Finish the MaxTermConverter2, which uses a backtracking algorithm
Better …
|
|
|
@316
|
10 years |
elshar |
Bug fix in IVMLWriter
|
|
|
@315
|
10 years |
elshar |
Continued implementation of RSFReader
|
|
|
@314
|
10 years |
elshar |
Started implementation of RSFReader
|
|
|
@313
|
10 years |
elshar |
Removed unused imports
|
|
|
@312
|
10 years |
elshar |
Removed Iterator to reduce memory overhead
Prepared recursive AND …
|
|
|
@311
|
10 years |
elshar |
Reduced memory consumption of MaxTermConverter?
|
|
|
@310
|
10 years |
elshar |
CNFConverter: Reduced memory consumption
MaxTermConverter?: Removed …
|
|
|
@309
|
10 years |
krafczy |
Add handling for constraint with more than 15 variables
|
|
|
@308
|
10 years |
krafczy |
Refactor ModelReader? a bit
|
|
|
@307
|
10 years |
krafczy |
Finish DimacsWriter?
|
|
|
@306
|
10 years |
krafczy |
Improve test-cases for ModelReader? and MaxTermConverter?.
Add comments.
|
|
|
@305
|
10 years |
elshar |
Added new test case
|
|
|
@304
|
10 years |
elshar |
Enhance runtime
Added new test case
|
|
|
@303
|
10 years |
elshar |
Added example scripts
|
|
|
@302
|
10 years |
krafczy |
Finish MaxTermConverter?
WIP DimacsWriter?
|
|
|
@301
|
10 years |
elshar |
Added test target
|
|
|
@300
|
10 years |
elshar |
Added jacoco and build script
|
|
|
@299
|
10 years |
elshar |
|
|
|
@298
|
10 years |
elshar |
Initial implementation of convert mechanism
|
|
|
@297
|
10 years |
elshar |
Added DisjunctionChecker?
|
|
|
@296
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@295
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@294
|
10 years |
elshar |
Improvements in IVMLWriter
More Command line arguments
|
|
|
@293
|
10 years |
elshar |
Added IVMLWriter
|
|
|
@292
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@291
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@290
|
10 years |
krafczy |
Add ModelReader?.parseLine()
Add DimacsWriter? (WIP)
|
|
|
@289
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@288
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@287
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@286
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@285
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@284
|
10 years |
anonymous |
This is an empty revision for padding.
|
|
|
@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
|
|
|