{"push_id":2635119020,"size":14,"distinct_size":14,"ref":"refs/heads/development","head":"1ab222f43cb859f606f6d1fa50d068bb35ae3719","before":"c0e2b640bc1b5631c12d2f8333d487fd5078dab1","commits":[{"sha":"46be634095c07c2de5c771a817bf4e8d067e07fc","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@192.168.0.22"},"message":"Updated the semantic and syntax metamodels for:\n\n- Feature models including all the verification operations\n- Constraint Graphs with the new attributes for medic.\n\nAdded the file test.vmum with an example model for testing medic","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/46be634095c07c2de5c771a817bf4e8d067e07fc"},{"sha":"f514aa96ef41b5f414e5b3d625d6a2893d128f0b","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Medic using feature models","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/f514aa96ef41b5f414e5b3d625d6a2893d128f0b"},{"sha":"56c7bb28737c5a5ce32d2c1a81265ce038625f55","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Merge branch 'development' of https://github.com/SPLA/VARIAMOS into development","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/56c7bb28737c5a5ce32d2c1a81265ce038625f55"},{"sha":"390344d908f9b3af62c17f8290a231117194f46d","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Merge branch 'master' of https://github.com/SPLA/VARIAMOS into development","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/390344d908f9b3af62c17f8290a231117194f46d"},{"sha":"a125234059bcb2408d374d543582d6473c8c01a4","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Class RangeDomain:\n included a new constructor to declares a domain of the type INF .. SUP\nwhere INF is the lower bound and SUP is the upper value of a sequence ,\nwith precision 0.","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/a125234059bcb2408d374d543582d6473c8c01a4"},{"sha":"1d072da7cdf703ab992f68ca9cb40b40b520bf36","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"l","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/1d072da7cdf703ab992f68ca9cb40b40b520bf36"},{"sha":"33cb8a94a539dd76c565a5cad667b8cd31c21c94","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Commit con un archivo de cambio para pruebas","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/33cb8a94a539dd76c565a5cad667b8cd31c21c94"},{"sha":"9503757d4abd13a2b194684f13931c24392070c3","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"latest changes for medic with feature models","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/9503757d4abd13a2b194684f13931c24392070c3"},{"sha":"fb2903737bc926d3fd38cfaaa64e96d53fe7e855","author":{"name":"angievig","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Variamos with support for running Medic with feature models.\nChanges in:\nProject Dynsup:\n**Class com.variamos.dynsup.translation.SolverOpersTask.java\nIn method medic execution:\n- Updated the way for obtaining the id of the concept to be updated in\nthe graphic interface.\n- the empty id's were excluded from the list of concept to be updated.\n**Class com.variamos.dynsup.translation.TranslationExpressionSet.java\n- included a conditional in lines 810-816 to obtain the identifiers of\nconcepts in feature models, then the concepts and the constraints are\nincluded in the table.\n\nProject Reasoning\n**Class\ncom.variamos.reasoning.medic.model.graph.VertexHLCL.java\nto modify the order of the inclusion of vertices in the neighbors list.\nThis order affects the order of the depth first search.","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/fb2903737bc926d3fd38cfaaa64e96d53fe7e855"},{"sha":"8a792d9b964f864718ec23fd4320fccba43754e3","author":{"name":"Angela Villota","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Including symbolic constraints with more than one parameter\n\n- In: HLCL\n- Class: model.expressions.SymbolicExpression\n- Changes:\n1. Constant RELATION_OP=”tuples_in” with the operator for a relation\nglobal constraint\n2. Constants TYPE_REGULAR =1 and TYPE_RELATION\n3. Attribute type int\n4. Attribute tuples matrix of numericIdentifiers\n5. Constructors: initialize the type as regular\n6. New constructor for relations\n\n- IN: Solver\n- Class: core.compiler.Hlcl2Prolog\n- Changes:\n1. Method transformSymbolic with an if-else clause to transform relation\nconstraints\n2. Method writeTuples to obtain the list of tuples in the prolog syntax","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/8a792d9b964f864718ec23fd4320fccba43754e3"},{"sha":"f0ae3d66dfc0a3e1c234ac3db72b28cb9226e4bd","author":{"name":"Angela Villota","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Changes in HLCL\n\nIn class:model.expressions.SymbolicExpression\n1. Constant RELATION_OP=”tuples_in” with the operator for a relation\nglobal constraint\n2. Constants TYPE_REGULAR =1 and TYPE_RELATION \n3. Attribute type int\n4. Attribute tuples matrix of numericIdentifiers\n5. Constructors: initialize the type as regular\n6. New constructor for relations\n\nIn class com.variamos.hlcl.model.expressions.HlclFactory\n\n1. Inclusion of the method newSymbolicRelation to create symbolic\noperations of type relation with a set of identifiers and a set of\ntuples \n2. Inclusion of the method xor\n\nIn class com.variamos.hlcl.model.BooleanOperatorEnum\n1. Including the Xor enumeration to implement the IntBooleanExpression\nxor in the HlclFactory\n\nChanges in Solver\nIn class core.compiler.Hlcl2Prolog\n1. Method transformSymbolic with an if-else clause to transform relation\nconstraints\n2. Method writeTuples to obtain the list of tuples in the prolog syntax","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/f0ae3d66dfc0a3e1c234ac3db72b28cb9226e4bd"},{"sha":"5410e9d52d089b08cf6999292920f4cc5538e59a","author":{"name":"Angela Villota","email":"ca921ae2084f5da748f01838252805b0749cf5a5@gmail.com"},"message":"Merge branch 'development' of https://github.com/spla/VARIAMOS.git into\ndevelopment\n\nConflicts:\n\tcom.variamos.hlcl/.classpath\n\tcom.variamos.hlcl/.gitignore\n\tcom.variamos.reasoning/.classpath\n\tcom.variamos.reasoning/.gitignore","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/5410e9d52d089b08cf6999292920f4cc5538e59a"},{"sha":"7dcfb0ba9fa2920a7f8f38f843ac71d9147b8293","author":{"name":"lufe089","email":"6fca93bde74250bc0a4fbc185668fd5ff0bc27a4@gmail.com"},"message":"Merge pull request #294 from angievig/development\n\nDevelopment","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/7dcfb0ba9fa2920a7f8f38f843ac71d9147b8293"},{"sha":"1ab222f43cb859f606f6d1fa50d068bb35ae3719","author":{"name":"DanielGara","email":"c41975d1dae1cc69b16ad8892b8c77164e84ca39@danielgara.com"},"message":"Adding Missing file","distinct":true,"url":"https://api.github.com/repos/danielgara/VARIAMOS/commits/1ab222f43cb859f606f6d1fa50d068bb35ae3719"}]}
{"actor":{"display_login":"danielgara"}}