Commit Graph

Select branches

Hide Pull Requests

develop

Mono Color

• 8e21f972be
  Update figure output develop Jip J. Dekker 2021-07-26 12:59:31 +10:00
• 2ca68eb05b
  Complete incremental benchmarks Jip J. Dekker 2021-07-26 12:39:48 +10:00
• a8ef3e1312
  Merge commit 'c6a967f23a254ec85f50a83266826f74c7f77ef5' into develop Jip J. Dekker 2021-07-13 15:23:55 +10:00
• c6a967f23a Squashed 'software/mza/' changes from 15b5b1ca03..b74e0a6989 Jip J. Dekker 2021-07-13 15:23:55 +10:00
• 17c3b07111
  Merge commit 'de3359c8ebda7c605760e41bd1f4387633424709' into develop Jip J. Dekker 2021-07-13 11:54:18 +10:00
• de3359c8eb Squashed 'software/gecode/' changes from 70a1cfa856..0a39b58153 Jip J. Dekker 2021-07-13 11:54:18 +10:00
• 6a3055587e
  Merge commit '4fe5775e57bcf3d5b6c7df13f11a1f7c3c3615cb' into develop Jip J. Dekker 2021-07-12 20:10:19 +10:00
• 4fe5775e57 Squashed 'software/mza/' changes from bf2c1f31bc..15b5b1ca03 Jip J. Dekker 2021-07-12 20:10:19 +10:00
• fb797c8876
  Merge commit '2c8ad0004aacbd87b80f67970c2da0d051ff8279' into develop Jip J. Dekker 2021-07-12 20:09:34 +10:00
• 2c8ad0004a Squashed 'software/minizinc/' changes from 4f10c82056..93be33a6c2 Jip J. Dekker 2021-07-12 20:08:41 +10:00
• 9e7a53acdd
  Change to pyflow Jip J. Dekker 2021-07-12 20:08:20 +10:00
• b5ed4bc90e
  Merge commit '5df85436d574a843ea4c3f7107149d5b494b94a1' into develop Jip J. Dekker 2021-07-12 17:09:13 +10:00
• 5df85436d5 Squashed 'software/mza/' changes from 9c048083d6..bf2c1f31bc Jip J. Dekker 2021-07-12 17:08:49 +10:00
• 1ec86bc709
  Merge commit '0e88ebc728dfa90111db66372bbbb37cefe77c20' into develop Jip J. Dekker 2021-07-12 11:05:20 +10:00
• 0e88ebc728 Squashed 'software/mza/' changes from f970a59b17..9c048083d6 Jip J. Dekker 2021-07-12 11:05:20 +10:00
• 4b50f50602 Merge commit '2572df06639bafaae65b2e919291f0306da6b010' as 'software/gecode_base' Jip J. Dekker 2021-07-11 17:26:05 +10:00
• 2572df0663 Squashed 'software/gecode_base/' content from commit bbefcea214 Jip J. Dekker 2021-07-11 17:26:05 +10:00
• edcced7f58 Merge commit 'f2a1c4e38910290dc9c0caf84e7d104e58eb7b49' as 'software/mza' Jip J. Dekker 2021-07-11 16:34:30 +10:00
• f2a1c4e389 Squashed 'software/mza/' content from commit f970a59b17 Jip J. Dekker 2021-07-11 16:34:30 +10:00
• 93c38edc9f
  Merge commit '67191769756e84fc5b7b3c401048fef6b8adff67' into develop Jip J. Dekker 2021-07-11 16:26:15 +10:00
• 6719176975 Squashed 'software/gecode/' changes from 313e87646d..70a1cfa856 Jip J. Dekker 2021-07-11 16:26:15 +10:00
• 9b50450c4c
  Initial changes to merge incremental benchmarks Jip J. Dekker 2021-07-11 16:25:56 +10:00
• 5d0f0cbcff
  Add Pipfile Jip J. Dekker 2021-07-09 14:08:06 +10:00
• 36bc2de0da
  Add script for cumulative graphs Jip J. Dekker 2021-07-09 14:07:47 +10:00
• 9c494bac60
  Update analysis scripts Jip J. Dekker 2021-07-09 14:07:26 +10:00
• ac89bcb3da
  Add solver output Jip J. Dekker 2021-06-23 13:46:35 +10:00
• ac2c1ccd23
  Use separate models for record/replay so chuffed behaves correctly Jip J. Dekker 2021-06-21 10:28:12 +10:00
• 9071b2aa0f
  Update analysis script for Gecode Jip J. Dekker 2021-06-21 10:17:16 +10:00
• d23f68f293
  Fix time flag for new version of chuffed Jip J. Dekker 2021-06-21 10:16:49 +10:00
• 332a237d2f
  Bash variable style in gecode restart scripts Jip J. Dekker 2021-06-17 17:25:18 +10:00
• a46e5d70d5
  Fix chuffed restarting script (Output and timing flags have changed) Jip J. Dekker 2021-06-17 17:24:53 +10:00
• 89528a184e
  Adjust analysis scripts for Python and solver versions Jip J. Dekker 2021-06-17 17:23:34 +10:00
• 494892dbc3 Merge commit 'fad1b0701819594e9eaaa4fd50a9d7e6dd187510' as 'software/minizinc' Jip J. Dekker 2021-06-16 14:06:46 +10:00
• fad1b07018 Squashed 'software/minizinc/' content from commit 4f10c8205 Jip J. Dekker 2021-06-16 14:06:46 +10:00
• 37038547f3 Merge commit '394edc7c8de7946c50e0260c7b9c24ea4ae878a2' as 'software/chuffed' Jip J. Dekker 2021-06-16 14:06:14 +10:00
• 394edc7c8d Squashed 'software/chuffed/' content from commit 4b88dae8a Jip J. Dekker 2021-06-16 14:06:14 +10:00
• 8977d3498f Merge commit '981be2067eb416f6e993d02a13989d8392283a9a' as 'software/gecode_on_replay' Jip J. Dekker 2021-06-16 14:04:29 +10:00
• 981be2067e Squashed 'software/gecode_on_replay/' content from commit 8051d92b9 Jip J. Dekker 2021-06-16 14:04:29 +10:00
• cfbd04f911 Merge commit '3e72b0e85711db8245c5a5a7eb473c54b2f042fe' as 'software/gecode_on_record' Jip J. Dekker 2021-06-16 14:03:52 +10:00
• 3e72b0e857 Squashed 'software/gecode_on_record/' content from commit 37ed9bda4 Jip J. Dekker 2021-06-16 14:03:52 +10:00
• bc93357f30 Merge commit '1d9faf38deff0765e571fde89caae52a99362c5b' as 'software/gecode' Jip J. Dekker 2021-06-16 14:02:33 +10:00
• 1d9faf38de Squashed 'software/gecode/' content from commit 313e8764 Jip J. Dekker 2021-06-16 14:02:33 +10:00
• 8f027a0b82
  Remove submodules (to be replaced by subtrees) Jip J. Dekker 2021-06-16 14:01:10 +10:00
• 15043f0d55
  Adjust models to use newest restart library (suing lastval) Jip J. Dekker 2021-06-16 13:36:28 +10:00
• 12a32b4a0e
  Adjust scripts for bash Jip J. Dekker 2021-06-16 13:35:08 +10:00
• f2ad55057a
  Link solver libraries into MiniZinc Jip J. Dekker 2021-06-16 13:34:22 +10:00
• 69f55d8f98
  Add correct version of the MiniZinc compiler Jip J. Dekker 2021-06-16 13:15:25 +10:00
• 313deabd13
  Add readme file Jip J. Dekker 2021-06-16 11:22:45 +10:00
• 957122efde
  Use bash instead of zsh Jip J. Dekker 2021-06-16 10:23:14 +10:00
• c6a6b1795f
  Format python files Jip J. Dekker 2021-06-16 10:22:47 +10:00
• b3e1dfe446
  Build using multiple threads Jip J. Dekker 2021-06-16 10:22:06 +10:00
• 65e1b4288e
  Adjust scripts for new MiniZinc version and solver location Jip J. Dekker 2021-06-15 17:37:18 +10:00
• 13baf4eeb4
  Use same binary for restart and normal run Jip J. Dekker 2021-06-15 17:29:34 +10:00
• 7c82ed140c
  Add scripts for compiling Jip J. Dekker 2021-06-15 17:11:20 +10:00
• cae2b43dcc
  Add software submodules for versioning Jip J. Dekker 2021-06-15 16:55:12 +10:00
• 636185c841
  Add original benchmarks Jip J. Dekker 2021-06-15 16:32:27 +10:00