Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 89c0e10141f0addfb0a2054adcca7d5fcfbbaa3d
  • master default protected
  • attribute-cost
  • enum-sorts
  • maxsat
  • quantifiers
  • rules
  • timer-and-incremental
8 results
Created with Raphaël 2.2.026Aug14Jul1Apr29Nov1Oct21Sep1716151411May1032130Apr282120141298762122Mar21151485125Feb2321872131Jan3029251514116526Dec2517161510826Nov25Added fixes for new modelsmastermasterupgrading the gradle wrapperUpdate README.mdlatest threatget syntax supportDeleted .vscode/launch.json, .vscode/threatget-solver.code-workspaceMerge branch 'attribute-cost' into 'master'Merge branch 'master' into 'attribute-cost'attribute-costattribute-costadding more resultssome bug fixesimplemented attribute costattribute cost sample model and csv parsingimproved the distincttimer-and-incre…timer-and-incrementaladding gitkeepdistinct clause addedelements are placed in seperate folderlatest changesdouble checks!maxsatmaxsatfinding conflicting pairs for optimizers.Incrementalminor.added attributes filtering for each rule.manually leaving out unrepairables.added all 3 versions discussed with Dejan.Print model to the standard output.unnecessary check removed.details on threats.minor.fasters MaxSMT yet.minor fix.first attempt on MaxSMT.reducing cognitive complexity of assesRules.cleanup importschmod +xminor.added fatJar task.TT Control Model originalfixed handeling of tagged valuesadded key exampleiot modeladded additional checks