Commit Graph

Select branches

Hide Pull Requests

develop

Mono Color

• b064382477
  Final changes to the acknowledgements develop Jip J. Dekker 2021-11-09 09:42:50 +11:00
• 2afd9c8048
  Small changes to glossary Jip J. Dekker 2021-11-08 19:50:33 +11:00
• 2a17d4066a
  Fix last errors spotted by Guido Jip J. Dekker 2021-11-08 19:50:07 +11:00
• bc443a3d4f
  Another final few changes Jip J. Dekker 2021-11-08 15:03:20 +11:00
• f0d6cc40f6
  Update acknowledgements Jip J. Dekker 2021-11-08 14:23:43 +11:00
• ab98b78b8a
  Mark everything as ready in the README Jip J. Dekker 2021-11-08 13:04:38 +11:00
• b36d49292b
  Fix some final formatting issues Jip J. Dekker 2021-11-08 13:03:08 +11:00
• 6d4481b843
  Attempt at remaining feedback Jip J. Dekker 2021-11-05 16:49:10 +11:00
• b22e75b0cf
  Fix typos from examiner feedback Jip J. Dekker 2021-10-25 10:57:42 +11:00
• a5c8823b40
  Pre submission changes to the acknowledgements Jip J. Dekker 2021-10-25 10:57:08 +11:00
• e4143f811a
  Add initial acknowledgement section Jip J. Dekker 2021-08-05 16:48:35 +10:00
• 81d94ed55e
  Change general public abstract file format Jip J. Dekker 2021-08-05 11:17:25 +10:00
• b60e3c426b
  Final changes Jip J. Dekker 2021-07-29 22:19:08 +10:00
• e6be2ca5af
  Add acronyms to glossary entries Jip J. Dekker 2021-07-29 19:29:08 +10:00
• 13432e7512
  Add signature Jip J. Dekker 2021-07-29 19:28:50 +10:00
• 4f614b1a6c
  Before dinner editing Jip J. Dekker 2021-07-29 19:00:31 +10:00
• 8f94781ac1
  Edit draft for general public draft in meeting Jip J. Dekker 2021-07-29 15:47:23 +10:00
• c0740840eb
  Add abstract draft for general public Jip J. Dekker 2021-07-29 14:44:32 +10:00
• b31cd335a0
  More readable figures Jip J. Dekker 2021-07-29 14:44:20 +10:00
• 31786c719d
  Additional source code Jip J. Dekker 2021-07-29 14:44:00 +10:00
• e84fce6ac8
  Morning editing Jip J. Dekker 2021-07-29 14:45:28 +10:00
• 47dcc6e3bf
  Fix reference naming Jip J. Dekker 2021-07-29 10:19:21 +10:00
• 2efce9ef96
  Guido's feedback on the summary sections Jip J. Dekker 2021-07-29 10:07:02 +10:00
• 5a6b638567
  Notes from guido Jip J. Dekker 2021-07-29 09:41:19 +10:00
• b962b84d19
  Not so mighty now Jip J. Dekker 2021-07-29 09:41:05 +10:00
• a0b83a5934
  Notes from Andreas Jip J. Dekker 2021-07-29 09:34:18 +10:00
• 72662f0508
  Tiny change Jip J. Dekker 2021-07-28 17:39:27 +10:00
• ce1740308d
  Grammar check Jip J. Dekker 2021-07-28 17:34:48 +10:00
• d91d600e14
  Add missing example to reification chapter Jip J. Dekker 2021-07-28 17:26:18 +10:00
• ef4fbc658c
  Feedback from Julie Jip J. Dekker 2021-07-28 17:14:36 +10:00
• b510c3edea
  Minor glossary fixes Jip J. Dekker 2021-07-28 16:17:44 +10:00
• affa257ac0
  Final work on the incremental chapter Jip J. Dekker 2021-07-28 15:55:06 +10:00
• 4562bb685d
  Guido's abstract / intro notes Jip J. Dekker 2021-07-28 13:53:53 +10:00
• fe0234b009
  A better try for the introduction connections Jip J. Dekker 2021-07-28 10:24:32 +10:00
• 900c920057
  Small corrections Jip J. Dekker 2021-07-27 23:38:21 +10:00
• 1041eda4c7
  Start at introduction transition Jip J. Dekker 2021-07-27 21:56:54 +10:00
• fb24a5dc25
  Update glossary with SICStus Jip J. Dekker 2021-07-28 10:25:05 +10:00
• 69819d629f
  Work on the abstract Jip J. Dekker 2021-07-27 23:38:39 +10:00
• d828755167
  Fix long line in intro example code Jip J. Dekker 2021-07-27 22:29:02 +10:00
• 0b6ec37227
  More fixes from Guido Jip J. Dekker 2021-07-27 22:24:32 +10:00
• a05ba139ae
  Better transition between incremental methods Jip J. Dekker 2021-07-27 20:52:41 +10:00
• 3389133fc9
  Editing with Cait Jip J. Dekker 2021-07-27 20:52:25 +10:00
• a0b85fda42
  Small grammar check Jip J. Dekker 2021-07-27 18:07:29 +10:00
• dfa29c41d0
  Initial drafts of the summary sections Jip J. Dekker 2021-07-27 17:57:05 +10:00
• edf81a9b77
  Add nicer box for line numbered listings Jip J. Dekker 2021-07-27 14:49:26 +10:00
• 3f5b093944
  Remove mention of flattener Jip J. Dekker 2021-07-27 14:47:42 +10:00
• 91d264597c
  Remaining questions after Guido's notes Jip J. Dekker 2021-07-27 12:56:54 +10:00
• b63274965f
  Incorporate Guido's Feedback on Incremental Constraint Modelling Jip J. Dekker 2021-07-26 20:51:03 +10:00
• c3c54f5c5a
  Small changes Jip J. Dekker 2021-07-26 18:08:32 +10:00
• 47265d441d
  A global grammar check Jip J. Dekker 2021-07-26 15:38:10 +10:00
• ac4dfb75d7
  Fix background information about bounds consistency Jip J. Dekker 2021-07-26 14:05:49 +10:00
• 39faee6c40
  Use sections instead of paragraphs in conclusions Jip J. Dekker 2021-07-26 13:14:37 +10:00
• 19cb6a114e
  Remove unused command Jip J. Dekker 2021-07-26 13:13:47 +10:00
• 205b25d74b
  Mention specific maxsat solvers and version used Jip J. Dekker 2021-07-26 13:13:32 +10:00
• 062941712c
  Update figures in Incremental chapter Jip J. Dekker 2021-07-26 13:00:09 +10:00
• 77722f0f87
  Fix the pareto front predicate Jip J. Dekker 2021-07-26 12:01:17 +10:00
• b94eb66e12
  Incorporate Peter's feedback Jip J. Dekker 2021-07-26 11:44:31 +10:00
• 87c059609a
  Enable more grammar rules Jip J. Dekker 2021-07-26 09:35:20 +10:00
• 1114894da5
  Fix reference capitalization Jip J. Dekker 2021-07-26 09:34:36 +10:00
• f480d6fea4
  Do not show line numbers for listings without references to lines Jip J. Dekker 2021-07-25 18:45:35 +10:00
• 669ad29176
  Remove journal abbreviations from references Jip J. Dekker 2021-07-25 18:04:06 +10:00
• d771d3ec3e
  Clear warning on the glossary Jip J. Dekker 2021-07-25 17:22:30 +10:00
• 9ad2019622
  Style changes for captions Jip J. Dekker 2021-07-25 16:57:58 +10:00
• c53d492e11
  Fix small spelling inconsistencies Jip J. Dekker 2021-07-25 15:32:42 +10:00
• 3325a77cc1
  Remove "you" Jip J. Dekker 2021-07-25 14:35:17 +10:00
• 4e91fa20a3
  Avoid the use of "no <dummy>" Jip J. Dekker 2021-07-25 14:22:45 +10:00
• 4b007951a5
  Add configuration for LTeX Jip J. Dekker 2021-07-25 11:23:52 +10:00
• 504606ec06
  Add missing glossary description Jip J. Dekker 2021-07-25 11:22:09 +10:00
• 3ffe2463ac
  Fix URLS Jip J. Dekker 2021-07-25 11:15:21 +10:00
• 9dab14ab46
  Grammar pass over Incremental Constraint Modelling Jip J. Dekker 2021-07-25 11:12:16 +10:00
• 37bb92b3b9
  Update README.md Jip J. Dekker 2021-07-25 10:57:46 +10:00
• 51db6b5703
  Grammar pass over Rewriting Jip J. Dekker 2021-07-25 10:55:57 +10:00
• 63dc091a73
  Slightly simplify the monotone definition Jip J. Dekker 2021-07-25 10:44:24 +10:00
• bd6a9f9d44
  Small changes to a few files Jip J. Dekker 2021-07-25 10:43:41 +10:00
• b84118430f
  Grammar pass over Conclusions Jip J. Dekker 2021-07-25 10:24:58 +10:00
• 31770d0c98
  Grammar pass over Half Reification Jip J. Dekker 2021-07-25 10:24:42 +10:00
• e3a864effe
  Incorporate Guido's feedback on Half-Reification Jip J. Dekker 2021-07-24 22:17:56 +10:00
• 167fda8755
  Grammar check of Benchmark section Jip J. Dekker 2021-07-24 13:50:20 +10:00
• b4f42220e0
  Grammar check of the Abstract Jip J. Dekker 2021-07-24 13:50:08 +10:00
• e1c17122ee
  Small style fixes Jip J. Dekker 2021-07-24 13:49:46 +10:00
• 6cc7e377b3
  Grammar check of the Background Jip J. Dekker 2021-07-24 13:44:15 +10:00
• e25e0d46c4
  Grammar check for the glossary Jip J. Dekker 2021-07-24 12:07:12 +10:00
• b6a54d384b
  Grammar check of the introduction Jip J. Dekker 2021-07-24 11:35:43 +10:00
• f6d869885b
  Remove unused short hands Jip J. Dekker 2021-07-24 11:35:15 +10:00
• b29d355a6f
  Move a model in the introduction to after first reference Jip J. Dekker 2021-07-23 21:59:04 +10:00
• a6be2980b7
  Add initial section on Essence compilation Jip J. Dekker 2021-07-23 21:58:39 +10:00
• 88d1fb41af
  Incorporate Guido's feedback on the Conclusions Jip J. Dekker 2021-07-23 16:16:19 +10:00
• 7a7069dcc4
  Fix TSP model Jip J. Dekker 2021-07-23 16:15:43 +10:00
• 5ade8a1ff6
  Fix double dots Jip J. Dekker 2021-07-23 11:55:52 +10:00
• a267db1e81
  Final (non-essence) feedback from Guido Jip J. Dekker 2021-07-23 11:47:47 +10:00
• 2c3bd8bef9
  Full draft of the abstract Jip J. Dekker 2021-07-23 11:00:54 +10:00
• 4cf69764f7
  Lose qualifier in the title Jip J. Dekker 2021-07-23 10:57:53 +10:00
• f9e199d699
  Beginning to an abstract Jip J. Dekker 2021-07-22 21:58:00 +10:00
• c399924c89
  Incorporate most of Guido's feedback on Background Jip J. Dekker 2021-07-22 21:57:28 +10:00
• da2158ab87
  Fix references Jip J. Dekker 2021-07-21 14:27:06 +10:00
• f470a1c61d
  Update status Jip J. Dekker 2021-07-21 13:48:33 +10:00
• 730066b5f2
  Incorporate feedback from Guido on introduction Jip J. Dekker 2021-07-21 11:17:29 +10:00
• 147e691063
  Use of floating listings in rewriting chapter Jip J. Dekker 2021-07-20 21:22:20 +10:00
• 2f0a576f4f
  Some slight changes on minted file reading Jip J. Dekker 2021-07-20 19:03:16 +10:00
• c4e8296e74
  Work on the reification chapter Jip J. Dekker 2021-07-20 18:40:23 +10:00