Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • aconjunctive default
  • api-docs
  • cool-copy
  • cool2mlsolver
  • ctl-testcases
  • fix-testsuite protected
  • fix-testsuite-flatmu
  • gen2
  • latex
  • master
  • pgsolver
  • pgsolver-old
  • pgsolver-tmp
  • remove-gmlmip
  • tmp/leakdebug
15 results
Created with Raphaël 2.2.021Apr201914131211106431Mar2726252322211817167Dec14Oct29Aug272423May211714121096428Apr2719181413121110987529Feb2216151195126Jan25137Dec124Nov181716109330Oct2817Sep156Jul5Feb4223Jan2227Jul2120191716111016May156543123Apr221110731Mar1Feb31Jan3029282726251917161514131210917Dec16124Oct3Fix alternation level computationDisable backjumping for nowTemporarily add some debug outputFix priority for empty fociSwap priorities of partial permutationsInclude priority of nodes in dot outputCorrectly add new formulas if deferral changesEnable new focus tracking by defaultFix a few bugs with the new focus trackerActually use depth first trackingImplement depth-first tracking for deferral setsInitialize arrayAlternationLevelFirst try at depth first trackingProperly calculate priority for partial permutationsCalculate and save alternation depth of input formulaImplement equality and hashing for partial permutationsFirst implementation of tracking for partial permutationExpose computed alternation level for other modulesCalculate alternation level for every formulaCalculate alternation level for every formulacool-copycool-copyActually used polymorphic focus trackingModularize reasoner by focus tracking strategySet states without children to Sat earlyCorrectly represent root Core in parity gamesChange game algorithm from Stratimprlocal2 to StratimprlocalAdd a single satisfiable game node to states without childrenOnly iterate through open states in PG solutionRemove last call to propagateUnsatMuKeep node mapping to parity game on the flyDon't set all expandable cores to unsatSolve game twice to accommodate for partial gamesTMP: Add script to convert a cool formula to mlsolvercool2mlsolvercool2mlsolverWIP: First steps towards using pgsolverImport pgsolver as git submoduleMerge branch 'aconjunctive'mastermasterAdd command line flag for fragmentaconjunctiveaconjunctiveAdd tests for command line option parserGeneralize command line argument parsingcoalg: Make 'graph' subcommand more cli-friendlytests: Add dividing example for aconjunctive fragment