Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | measurement setup is ready for server | Aren Babikian | 2021-02-07 |
| | |||
* | implement ignored attribute values as a config option | Aren Babikian | 2021-01-22 |
| | |||
* | almost finish crossscen VQL + implement ITE handling + prelim results | Aren Babikian | 2021-01-20 |
| | |||
* | add vsconfig flag to allow running dreal locally | Aren Babikian | 2021-01-19 |
| | |||
* | Add config flag for selecting numeric solver. Integ with Z3 | Aren Babikian | 2021-01-06 |
| | |||
* | Optimizing generator with linear objective functions | Kristóf Marussy | 2020-11-02 |
| | |||
* | MoDeS3 unit propagation WIP | Kristóf Marussy | 2020-08-06 |
| | |||
* | Restore inverse punishSize | Kristóf Marussy | 2020-07-07 |
| | |||
* | Trying to fix performance regressions | Kristóf Marussy | 2020-07-07 |
| | |||
* | Fix scope + numerical propagation WIP | Kristóf Marussy | 2020-06-27 |
| | |||
* | Merge branch 'kris' | Kristóf Marussy | 2020-06-25 |
|\ | |||
| * | Scope unsat benchmarks | Kristóf Marussy | 2020-05-07 |
| | | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-14 |
| | | |||
| * | Counting scope propagator (simpler than BasicTypeHierarchy) | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Configurability and better statistics for measurements | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Fix CBC timeout | Kristóf Marussy | 2019-07-29 |
| | | |||
| * | Cardinality propagator WIP | Kristóf Marussy | 2019-07-24 |
| | | |||
| * | Polyhedron abstraction with Z3 for cardinality propagation | Kristóf Marussy | 2019-07-14 |
| | | |||
| * | Try fix statecode bug | Kristóf Marussy | 2019-06-15 |
| | | | | | | | | Modified graph width calculation to not depend on order of nodes | ||
| * | Objective POC implementation | Kristóf Marussy | 2019-04-08 |
| | | |||
| * | Infrastructure for objective functions | Kristóf Marussy | 2019-04-07 |
| | | |||
* | | option to calculate object creation costs in fitness | Oszkar Semerath | 2020-05-19 |
| | | |||
* | | TransformationExecutionTime + weights can be controlled from config | Oszkar Semerath | 2020-05-17 |
| | | |||
* | | fixes for the measurement | Oszkar Semerath | 2020-05-14 |
|/ | |||
* | Translated PQueryies are added to annotation. | OszkarSemerath | 2018-02-24 |
| | |||
* | Rearranged the solver configuration into different subsections | OszkarSemerath | 2017-07-12 |
| | | | | | | | | | | | | | | DiversityDescriptor * Describes the required diversity between the solutions. * Null means that the solutions have to have different state codes only. InternalConsistencyCheckerConfiguration * A logic solver that able to check the consistency of an intermediate solution. * Null means that no solver is called. DebugConfiguration * Configuration for debugging support. SearchSpaceConstraint * Configuration for cutting search space. | ||
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |