Commit Graph

Select branches

Hide Pull Requests

develop

Mono Color

• 4ff0e5c7b5
  Description for complete Jip J. Dekker 2021-07-20 15:18:33 +10:00
• 584b9ef664
  Experiments for incremental chapter Jip J. Dekker 2021-07-20 14:35:04 +10:00
• 80b32f11e7
  Update half reification chapter with SAT experiment numbers Jip J. Dekker 2021-07-19 18:26:51 +10:00
• 81a5efb646
  Work on the incremental chapter Jip J. Dekker 2021-07-19 16:48:03 +10:00
• eda9a60711
  Fix overfull errors Jip J. Dekker 2021-07-18 16:51:48 +10:00
• 13a2416910
  Work on conclusions Jip J. Dekker 2021-07-18 16:31:34 +10:00
• b75926195e
  Eliminate other emph usage Jip J. Dekker 2021-07-18 16:06:19 +10:00
• ab35d612ca
  Work on the glossary and references to them Jip J. Dekker 2021-07-18 14:44:02 +10:00
• 925a2c1101
  Work on half reification Jip J. Dekker 2021-07-17 16:22:29 +10:00
• 05aad6c64a
  Comment on call by name Jip J. Dekker 2021-07-17 14:28:30 +10:00
• b64b9178d8
  Comments from Peter Jip J. Dekker 2021-07-17 14:11:05 +10:00
• 1771f3e6f9
  Work on half-reification rephrasing Jip J. Dekker 2021-07-15 17:13:58 +10:00
• ee7d13ab53
  Add new figures for the incremental techniques Jip J. Dekker 2021-07-15 15:29:13 +10:00
• 19e5e976a9
  Update arrow distances in flow figure Jip J. Dekker 2021-07-15 09:27:50 +10:00
• 5bfe2af4e0
  Notes by Guido Jip J. Dekker 2021-07-14 20:42:24 +10:00
• d0125970cd
  Fix iteration bug found by Henk Jip J. Dekker 2021-07-14 18:27:25 +10:00
• e566a353ee
  Update compilation structure figures Jip J. Dekker 2021-07-14 10:17:57 +10:00
• d2e08fd612
  CML flow figure and more details when comparing languages Jip J. Dekker 2021-07-13 18:51:37 +10:00
• f81a077d82
  Fixes for most things pointed out by Andreas Jip J. Dekker 2021-07-12 17:07:07 +10:00
• 8f6d5f1835
  Update lexicographic_minimize definition Jip J. Dekker 2021-07-09 13:32:31 +10:00
• 3a623816c8
  Add the AMPL model from the introduction Jip J. Dekker 2021-07-08 14:36:54 +10:00
• a35f42b456
  Initial cumulative objective graphs for LNS experiments Jip J. Dekker 2021-07-08 14:36:31 +10:00
• b3bfc58d0d
  Small fixes suggested by Peter Jip J. Dekker 2021-07-08 11:06:39 +10:00
• 9c321fb273
  Change reification reference. Jip J. Dekker 2021-07-08 11:03:41 +10:00
• b50d87ce33
  APA in text reference fixes Jip J. Dekker 2021-07-08 09:59:14 +10:00
• 622a3255f9
  Fix typo Jip J. Dekker 2021-07-07 18:08:34 +10:00
• 2bd95d1abd
  Notes by Peter Jip J. Dekker 2021-07-07 18:08:19 +10:00
• 7cd31c628c
  Change \jip to \todo Jip J. Dekker 2021-07-07 17:25:00 +10:00
• b7d0a3e3a3
  Fix all concrete feedback from Andreas Jip J. Dekker 2021-07-07 17:10:25 +10:00
• a139905a20
  Next introduction pass Jip J. Dekker 2021-07-07 16:11:33 +10:00
• 595ca2246a
  A lot of work on the background section Jip J. Dekker 2021-07-04 17:07:19 +10:00
• e9c7b6ffca
  Some initial fixes in background Jip J. Dekker 2021-07-01 18:52:03 +10:00
• 3a13580ed9
  Temporarily disable example in incremental chapter Jip J. Dekker 2021-07-01 18:51:39 +10:00
• 1d401c1255
  Use correct terminology in rewriting chapter Jip J. Dekker 2021-07-01 18:50:43 +10:00
• 2a200fe725
  Add explicit background preamble Jip J. Dekker 2021-06-30 17:14:24 +10:00
• cb263e3b9d
  Mark shorthands as short commands Jip J. Dekker 2021-06-30 17:14:05 +10:00
• b5512a1c89
  Small glossary update Jip J. Dekker 2021-06-30 17:13:40 +10:00
• 6e50784318
  A lot of small fixes Jip J. Dekker 2021-06-30 15:57:55 +10:00
• ebac6af4c2
  Adjust legend position of interpreter comparison Jip J. Dekker 2021-06-30 11:50:39 +10:00
• 6b74975608
  Remove old images Jip J. Dekker 2021-06-30 11:48:07 +10:00
• b6a20cac9c
  Generate assets in separate build processes Jip J. Dekker 2021-06-30 11:42:53 +10:00
• fef9cdf90a
  Fix the label for rewriting chapter Jip J. Dekker 2021-06-29 14:21:43 +10:00
• d6ca88584c
  Some small glossary changes Jip J. Dekker 2021-06-29 12:57:03 +10:00
• 7c68da1447
  Work on aggregation in rewriting chapter Jip J. Dekker 2021-06-29 12:43:16 +10:00
• 3a89916276
  Work on CSE in rewriting chapter Jip J. Dekker 2021-06-29 12:07:08 +10:00
• 32597b50a1
  Work on rewriting chapter Jip J. Dekker 2021-06-29 11:00:15 +10:00
• c513bfdbd5
  More work on the glossary Jip J. Dekker 2021-06-28 15:55:00 +10:00
• 4c276cdfa6
  Revert index to a glossary Jip J. Dekker 2021-06-28 13:16:42 +10:00
• e05140062f
  Initial rewriting adjustments to match background Jip J. Dekker 2021-06-26 17:45:04 +10:00
• eb59f6771f
  Complete MiniZinc Models section in experiment resources appendix Jip J. Dekker 2021-06-26 16:12:24 +10:00
• a478c80436
  Fix rewriting chapter based on Peter's notes Jip J. Dekker 2021-06-26 14:27:57 +10:00
• 83cc139503
  Correctly set tab size Jip J. Dekker 2021-06-26 13:52:35 +10:00
• 4143e53087
  Add the readme with the chapter status Jip J. Dekker 2021-06-26 11:34:11 +10:00
• 8d0eed852f
  Remove old journal paper Jip J. Dekker 2021-06-25 14:53:47 +10:00
• c028e84fb7
  Sentence based formatting Jip J. Dekker 2021-06-25 14:53:18 +10:00
• cb82213d85
  Notes from Peter Jip J. Dekker 2021-06-25 14:33:03 +10:00
• 63dd1bed74
  Split rewriting chapter lines based on sentences Jip J. Dekker 2021-06-25 13:45:35 +10:00
• 5699b08621
  Tiny reformatting Jip J. Dekker 2021-06-24 19:39:44 +10:00
• 574a40ea43
  First draft of the conclusions Jip J. Dekker 2021-06-24 19:39:22 +10:00
• 03e917dbce
  Change font to "Text" weight Jip J. Dekker 2021-06-24 17:56:31 +10:00
• 8a73209de6
  Yesterdays work on the conclusions Jip J. Dekker 2021-06-23 11:06:44 +10:00
• 9c53a8a1b6
  Work on the benchmarks appendix Jip J. Dekker 2021-06-22 15:39:33 +10:00
• 8f88cfb86f
  Add initial version for conclusion preamble Jip J. Dekker 2021-06-22 14:09:47 +10:00
• 5ced7ae5c1
  Add degrees to the title page Jip J. Dekker 2021-06-22 14:04:44 +10:00
• d12ba5d918
  Add PDF bookmark for the title page Jip J. Dekker 2021-06-22 14:03:57 +10:00
• 037bf3cc12
  Fix sync target when latex.out does not yet exist Jip J. Dekker 2021-06-22 13:50:35 +10:00
• 586ef648ae
  Move contents to the final pages Jip J. Dekker 2021-06-21 17:29:13 +10:00
• ac7d64292a
  Some notes on structure for the conclusion Jip J. Dekker 2021-06-21 16:53:29 +10:00
• 232cac1a81
  Ensure Abstract has a bookmark Jip J. Dekker 2021-06-21 16:40:31 +10:00
• 15b1a63e77
  Add first real version of the introduction Jip J. Dekker 2021-06-19 17:11:53 +10:00
• e3dcae4d29
  Stupid reformatting Jip J. Dekker 2021-06-16 17:53:14 +10:00
• ed4a7b8a4f
  Benchmark Design section Jip J. Dekker 2021-06-16 15:50:58 +10:00
• b3eca9df7c
  Some thoughts and copying for the introduction/conclusion Jip J. Dekker 2021-06-16 15:50:41 +10:00
• 3d172bc06c
  Add initial number of the SAT half-reification statistics Jip J. Dekker 2021-06-16 15:43:49 +10:00
• d4d53c488b
  Ensure Abstract is not given a chapter number Jip J. Dekker 2021-06-16 15:38:10 +10:00
• a31b35859c
  Update build system Jip J. Dekker 2021-06-16 15:36:19 +10:00
• ca9c5725db
  Add table of content to Thesis Jip J. Dekker 2021-06-14 16:24:40 +10:00
• 90bb70e430
  Add structure for introduction Jip J. Dekker 2021-06-14 16:24:18 +10:00
• 55b7a0a9db
  Split background preamble Jip J. Dekker 2021-06-14 16:23:52 +10:00
• 815f5ece56
  Work on half-reification (most intro) Jip J. Dekker 2021-06-13 15:41:16 +10:00
• 93192f7bb0
  A lot of work on the half-reificaiton chapter Jip J. Dekker 2021-06-12 17:20:45 +10:00
• 2b27cd9ad9
  Remove dots after table number Jip J. Dekker 2021-06-12 17:20:15 +10:00
• 63c047335a
  Cleanup packages Jip J. Dekker 2021-06-12 17:19:53 +10:00
• cfd29fc909
  Work on half-reif experiments Jip J. Dekker 2021-06-10 12:12:28 +10:00
• 6fd413b2ed
  Ignore most hbox errors for now Jip J. Dekker 2021-06-10 12:11:56 +10:00
• 662b199579
  Fix Makefile Jip J. Dekker 2021-06-10 12:11:39 +10:00
• 4c68cfb176
  Work on decomposition Jip J. Dekker 2021-06-09 09:32:06 +10:00
• 128aecfca0
  Work on the propagation of half-reified constraint Jip J. Dekker 2021-06-07 21:01:57 +10:00
• 835f425d48
  Add separate dekker_preamble.pdf target that combines all guiding text Jip J. Dekker 2021-06-07 18:03:05 +10:00
• 3559dea29b
  More work on automatic analysis Jip J. Dekker 2021-06-07 17:35:22 +10:00
• 2af1fe99a0
  Work on the automatic HR analysis Jip J. Dekker 2021-06-07 12:09:00 +10:00
• 953f3c8735
  Silence long make command Jip J. Dekker 2021-06-03 20:07:48 +10:00
• 13dcf34826
  Fix package ordering Jip J. Dekker 2021-06-03 20:07:25 +10:00
• e563306543
  Move latexrun into vendor directory Jip J. Dekker 2021-06-03 19:24:51 +10:00
• c6d6b977dc
  Explicitly use makeglossaries Jip J. Dekker 2021-06-01 12:47:39 +10:00
• 3b5a6976a1
  Do not indent at the start of a chapter Jip J. Dekker 2021-06-01 12:18:24 +10:00
• 2861f4e9f6
  Change the symbols for examples to fit in the line Jip J. Dekker 2021-06-01 11:59:13 +10:00
• 54b2c5b8db
  Remove strange dot after figure numbers Jip J. Dekker 2021-06-01 11:58:44 +10:00
• 3f5cf3aad3
  Simplify the example environments Jip J. Dekker 2021-06-01 11:32:22 +10:00
• 3faa5602df
  Count algorithms per chapter Jip J. Dekker 2021-06-01 11:32:10 +10:00