Skip to content
Snippets Groups Projects
Select Git revision
  • 3541
  • 3690
  • 3838
  • 4072
  • backup
  • master default protected
  • safety_functions
7 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.07Dec6223Nov211311629Oct281916615Sep11Aug29Jul2715141329May23211413121186129Apr282417874Dec27Nov2219118Oct1519Sep1817151312111098765429Aug22730Jul293126Jun251817161412111076330May29282322211715109726Apr252423161514131211109631Mar2928262521201815141312112127Feb2624222018141322Jan18161411104231Dec2119181716141211828Nov2019137630Oct2322227Sep2625241715139722Aug1254131Jul30141043227Jun26827Apr1728Mar2219148727Feb2113129865125Jan2422191821Dec1813875428Nov24232220171614826Oct128Aug18Jul1029Jun27221422May23Mar15133124Feb232124Jan20Fixup joint Platform + Partition ExplorationsmastermasterFixup PartitionArchitecture ExplorationFixup Separation/Coupling Constraint ProcessingMerge remote-tracking branch 'origin/safety_functions'Fixes for PlatformExplorationDo not use multithreading for nowConstraints: Do not reuse Collections when Copying ConstraintMapsFix the dependency discovery for goodConstraints: Do not Share the COnstraint Map in GenotypesRemove warningFixpu Dependency Identification and Constraint HandlingClean D3SEModule Constraints After ExecutionFixes for the Constraint Handling.Synth Categories for Objectives40724072Constraint adoption for platform explorationFixesOpt4J: Fix source lib refsDo not use toString for the IDSEBackend NameMerge remote-tracking branch 'origin/3541'Adapt to SMT Scheduler Changes35413541Use the JFX settings Dialog from the DSE perspective.Adapt to Synthesis types being classes againCompatibility with the new SolverSettingsAdd type info to mappings for multi-layer constraint supportGeneralize the pipeline constraint handlingImplement the decoupling pattern conversionRework the evaluator serviceMerge branch 'master' of https://git.fortiss.org/af3/exploration-algRemove the Genotyped annotationMerge branch '3365' into 'master'Adapt to the new way of creating ExplorationResultsReplace old references to SMTConstraints/-ObjectivesAdapt to EMM changesAdapt to AF3 masterAdapt to FileProject changesFix the output transformation.Generalized encoding checks and fixed partition incrementFix the guard for not removing all partitionsPartitions: Do not remove all resources during mutationGuicyGenotype: Remove size() override from debugging