Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Nov 24, 2018

• Add section about sat solver, cryptominisat, docker. Fix method descriptions

  Lipen

  committed
  08972ab

  Copy full SHA for 08972ab

• Fix some important debug messages

  Lipen

  committed
  13af96c

  Copy full SHA for 13af96c

• Fix missing targets in Makefile

  Lipen

  committed
  c358afd

  Copy full SHA for c358afd

• Remove old file with hardcoded version

  Lipen

  committed
  44fd9ce

  Copy full SHA for 44fd9ce

• Add R script for plotting experimental results

  Lipen

  committed
  2b8e5e3

  Copy full SHA for 2b8e5e3

• Add runner script

  Lipen

  committed
  4532385

  Copy full SHA for 4532385

• Update path to scenarios in Makefile

  Lipen

  committed
  0712df8

  Copy full SHA for 0712df8

• Move old files with pnp in/out names into data folder

  Lipen

  committed
  506e1d5

  Copy full SHA for 506e1d5

• Move scripts into separate folder

  Lipen

  committed
  2962809

  Copy full SHA for 2962809

• Fix little things

  Lipen

  committed
  5f4525a

  Copy full SHA for 5f4525a

• Move scenarios to data folder, move old Minizinc file to legacy dir

  Lipen

  committed
  228d319

  Copy full SHA for 228d319

• Ignore csv,pdf,bat,sh

  Lipen

  committed
  9165881

  Copy full SHA for 9165881

• Add more example pictures for tests-1

  Lipen

  committed
  88c3811

  Copy full SHA for 88c3811

• Add README

  Lipen

  committed
  dfe11f0

  Copy full SHA for dfe11f0

• Refactor everything

  Lipen

  committed
  c374e37

  Copy full SHA for c374e37

Commits on Nov 23, 2018

• Add *args and *kwargs to the Task ABC

  Lipen

  committed
  7135c7b

  Copy full SHA for 7135c7b

• Add parse_name callback, simplify .gz suffix check

  Lipen

  committed
  6bfc0c6

  Copy full SHA for 6bfc0c6

• Refactor CLI entrypoint

  Lipen

  committed
  168ada6

  Copy full SHA for 168ada6

Commits on Nov 11, 2018

• Add replicator

  Lipen

  committed
  f5bc74c

  Copy full SHA for f5bc74c

• Move repeated code about folder existence assurance into separate util file

  Lipen

  committed
  8168fd7

  Copy full SHA for 8168fd7

• Fix cli arguments hints

  Lipen

  committed
  826c9e8

  Copy full SHA for 826c9e8

• Allow pass in/out names directly to scenario tree constructor

  Lipen

  committed
  3d6a9cc

  Copy full SHA for 3d6a9cc

• Move scenario preprocessing directly in constructor

  Lipen

  committed
  6f2520e

  Copy full SHA for 6f2520e

Commits on Nov 10, 2018

• Fix variable passing to task, fix N_new name

  Lipen

  committed
  c938040

  Copy full SHA for c938040

• Finish global tasks overhaul

  Lipen

  committed
  09ab890

  Copy full SHA for 09ab890

• Add fancy subtask_call wrappers, continue global tasks overhaul

  Lipen

  committed
  bf81440

  Copy full SHA for bf81440

• WIP global tasks overhaul

  Lipen

  committed
  8c832f9

  Copy full SHA for 8c832f9

• Add evaluator

  Lipen

  committed
  f7b3eff

  Copy full SHA for f7b3eff

• Fix help message, variable naming, unused import

  Lipen

  committed
  9e42bfa

  Copy full SHA for 9e42bfa

• Fix help message

  Lipen

  committed
  2857287

  Copy full SHA for 2857287

• Add printing of tree size after verification

  Lipen

  committed
  029a360

  Copy full SHA for 029a360

• Add verification of simulated scenarios

  Lipen

  committed
  25440da

  Copy full SHA for 25440da

• Add some comments in generator

  Lipen

  committed
  99696f6

  Copy full SHA for 99696f6

Commits on Nov 9, 2018

• Fix comments in simulator

  Lipen

  committed
  ab5971f

  Copy full SHA for ab5971f

• Run isort, remove unnecessary code

  Lipen

  committed
  9f65c03

  Copy full SHA for 9f65c03