Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | finished first impl that works sometimes (issue w/ SAT in Dreal rerun) | Aren Babikian | 2021-02-14 |
| | |||
* | add vsconfig flag to allow running dreal locally | Aren Babikian | 2021-01-19 |
| | |||
* | complete change of real representation BigDecimal->Double | Aren Babikian | 2021-01-14 |
| | |||
* | Add config flag for selecting numeric solver. Integ with Z3 | Aren Babikian | 2021-01-06 |
| | |||
* | implement isSatisfiable with Dreal integration | Aren Babikian | 2021-01-06 |
| | |||
* | Optimizing generator with linear objective functions | Kristóf Marussy | 2020-11-02 |
| | |||
* | Must unit propagation | Kristóf Marussy | 2020-08-28 |
| | |||
* | MoDeS3 unit propagation WIP | Kristóf Marussy | 2020-08-06 |
| | |||
* | Optimizations | Kristóf Marussy | 2020-07-14 |
| | |||
* | Restore inverse punishSize | Kristóf Marussy | 2020-07-07 |
| | |||
* | Trying to fix performance regressions | Kristóf Marussy | 2020-07-07 |
| | |||
* | Fix scope + numerical solver interaction | Kristóf Marussy | 2020-06-28 |
| | |||
* | Merge branch 'kris' | Kristóf Marussy | 2020-06-25 |
|\ | |||
| * | Measurements WIP | Kristóf Marussy | 2019-08-14 |
| | | |||
| * | Configurability and better statistics for measurements | Kristóf Marussy | 2019-08-01 |
| | | |||
| * | Polyhedron scope propagator for non-containment references | Kristóf Marussy | 2019-07-30 |
| | | |||
| * | 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 | ||
| * | Make diversity checking work with optimization | Kristóf Marussy | 2019-04-09 |
| | | | | | | | | | | Proof of concept implementation, mixing diversity checking and optimization may not be very effective in practice | ||
| * | Fix solution store for optimization | Kristóf Marussy | 2019-04-08 |
| | | |||
| * | Objective POC implementation | Kristóf Marussy | 2019-04-08 |
| | | |||
| * | Infrastructure for objective functions | Kristóf Marussy | 2019-04-07 |
| | | |||
* | | Measurements framework fixes | Kristóf Marussy | 2020-06-23 |
| | | |||
* | | 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 |
| | | |||
* | | detailed runtimes + counting defined objects only | Oszkar Semerath | 2020-05-17 |
| | | |||
* | | fixes for the measurement | Oszkar Semerath | 2020-05-14 |
| | | |||
* | | logging detailed measurement data for the numerical solver | Oszkar Semerath | 2020-05-12 |
| | | |||
* | | measurement time statistics + activation selection strategies | Oszkar Semerath | 2020-05-10 |
| | | |||
* | | Numeric Solver integration to exploration | Oszkar Semerath | 2020-05-09 |
| | | |||
* | | multiple object additions fixes | Oszkar Semerath | 2020-05-07 |
| | | |||
* | | (lipstick) | Oszkar Semerath | 2020-04-15 |
|/ | |||
* | Solver gives partial solutions even if it fails due to timeout or unsat | OszkarSemerath | 2018-11-07 |
| | |||
* | If scope available, then it is maintained during generation via VS | OszkarSemerath | 2018-09-14 |
| | |||
* | Lowered documentation level requirement for initial partial models | OszkarSemerath | 2018-08-10 |
| | | | As handling primitive types requires more complex initialisation. | ||
* | Fixing multiple true/false + bug preventing generation without PS | OszkarSemerath | 2018-06-25 |
| | |||
* | Visualisation potentionally gets the patterns | OszkarSemerath | 2018-06-14 |
| | |||
* | ViatraSolver reports progress and stops at cancel | OszkarSemerath | 2018-03-03 |
| | |||
* | Translated PQueryies are added to annotation. | OszkarSemerath | 2018-02-24 |
| | |||
* | Viatra Solver result support for primitive types | OszkarSemerath | 2017-08-15 |
| | |||
* | 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. | ||
* | Support for generationg multiple difference models by VIATRA-Solver | OszkarSemerath | 2017-07-05 |
| | |||
* | Divers Generation times are added to statisticsexample scenario | OszkarSemerath | 2017-06-16 |
| | |||
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |