Commit Graph

Select branches

Hide Pull Requests

develop

Mono Color

• 70f10a2da1
  Fix typo Jip J. Dekker 2021-06-01 10:18:19 +10:00
• 3294400a15
  More half-reification work and split on sentence Jip J. Dekker 2021-05-28 11:44:25 +10:00
• 83c77ab568
  Half Reification Jip J. Dekker 2021-05-27 17:13:54 +10:00
• 9e7118dd6a
  Add paragraph on interaction between delaying and aggregation Jip J. Dekker 2021-05-26 18:21:57 +10:00
• e358213997
  Update pygments version Jip J. Dekker 2021-05-26 18:21:34 +10:00
• 1c7f0f81ad
  Allow the use of tab characters in minted blocks Jip J. Dekker 2021-05-26 18:21:15 +10:00
• 3edf8638bd
  Some reflowing of paragraphs Jip J. Dekker 2021-05-25 15:05:52 +10:00
• bc7d05cc2d
  Add chessboard visualisations Jip J. Dekker 2021-05-25 12:10:09 +10:00
• 7cdd112321
  Update flattening benchmark in rewriting chapter Jip J. Dekker 2021-05-24 16:47:16 +10:00
• 3687260209
  Incorporate Background feedback from Peter Jip J. Dekker 2021-05-24 14:41:37 +10:00
• b5ff72e95f
  Fix warning message form pgfplots Jip J. Dekker 2021-05-24 10:52:53 +10:00
• c58478355a
  work work Jip J. Dekker 2021-05-22 14:38:14 +10:00
• 3469458307
  Small fixes Jip J. Dekker 2021-05-21 14:47:36 +10:00
• 372c1557aa
  Change Makefile to use latexrun Jip J. Dekker 2021-05-21 14:31:20 +10:00
• fb565cf28c
  Fix indentation using latexindent Jip J. Dekker 2021-05-21 14:30:42 +10:00
• 097d359724
  Grammar and formatting work Jip J. Dekker 2021-05-20 19:12:01 +10:00
• 0c5ede4581
  Work on HR Jip J. Dekker 2021-05-20 16:50:54 +10:00
• 2941ab6a32
  Move current version of the HR chapter to a temporary appendix Jip J. Dekker 2021-05-20 11:38:25 +10:00
• 0f9dbab55d
  Create shorthands for some commond glossary entries Jip J. Dekker 2021-05-20 11:35:14 +10:00
• 1946918038
  Add example from the half-reification section into the handling of undefined expressions Jip J. Dekker 2021-05-20 11:15:51 +10:00
• ca60459058
  Change attaching symbol to one available in the font Jip J. Dekker 2021-05-19 13:29:46 +10:00
• 1fe8190c14
  Work on the Optimisation Phase text Jip J. Dekker 2021-05-18 20:04:39 +10:00
• b3a497f71d
  Fix the diagonals for the MIP N-Queens Jip J. Dekker 2021-05-18 19:33:16 +10:00
• df40f93cf1
  Adapt AMPL part Jip J. Dekker 2021-05-18 17:17:58 +10:00
• 369e21134e
  Small adjustments Jip J. Dekker 2021-05-18 16:07:47 +10:00
• 5b49833905
  Change description font Jip J. Dekker 2021-05-18 12:47:01 +10:00
• 7fcf6ff042
  More work on the CP section Jip J. Dekker 2021-05-18 12:46:51 +10:00
• 1e64cf304d
  Fix spacing issues in align environment Jip J. Dekker 2021-05-18 11:02:12 +10:00
• cbec0bea7e
  More work on constraint programming Jip J. Dekker 2021-05-17 20:33:07 +10:00
• 771c450ea2
  Add background on MIP and SAT Jip J. Dekker 2021-05-17 19:59:51 +10:00
• 2fad33d550
  Switch fonts to IBM Plex Jip J. Dekker 2021-05-17 17:34:57 +10:00
• 8f7c849990
  Correctly reset acronym usage Jip J. Dekker 2021-05-17 10:42:13 +10:00
• 6b40d52644
  Update compilation structure figures Jip J. Dekker 2021-05-16 15:58:41 +10:00
• cc5d1fd016
  Work on the flattening section Jip J. Dekker 2021-05-16 15:18:41 +10:00
• 7c131f7412
  More work on the background sections Jip J. Dekker 2021-05-15 17:07:53 +10:00
• 5f09ec6d02
  Reorganise background sections Jip J. Dekker 2021-05-15 11:04:44 +10:00
• e662ff1510
  Update title page logo Jip J. Dekker 2021-05-13 20:22:39 +10:00
• 82e3a6e7fa
  Adjust fonts Jip J. Dekker 2021-05-13 19:37:21 +10:00
• a4eccf08d6
  A lot of work on the old interpreter Jip J. Dekker 2021-05-13 19:22:12 +10:00
• 3c404e7f96
  Fix the markup of the grammar rules Jip J. Dekker 2021-05-13 19:21:43 +10:00
• d466f7fbdf
  Changes to the fonts Jip J. Dekker 2021-05-12 16:56:07 +10:00
• ba97125027
  Some work on CLP Jip J. Dekker 2021-05-11 16:57:36 +10:00
• 1c4b9b4eb1
  Does it ever end? Jip J. Dekker 2021-05-11 15:31:51 +10:00
• aae2191bf0
  Add description of OPL and Essence Jip J. Dekker 2021-05-05 16:47:21 +10:00
• 383cfee9fc
  Add bar plot for interpreter comparison Jip J. Dekker 2021-04-28 14:53:47 +10:00
• 8358375892
  Add initial introduction for the term rewriting Jip J. Dekker 2021-04-27 14:33:09 +10:00
• ce5c3c8e58
  Grammar / spelling for incremental chapter Jip J. Dekker 2021-04-27 10:08:54 +10:00
• 1ab2442c8d
  Small introduction and spell checking Jip J. Dekker 2021-04-26 18:06:13 +10:00
• 87ff8426f3
  Add more about the MiniZinc structure Jip J. Dekker 2021-04-26 16:41:38 +10:00
• d320377c3a
  Add more parts about MiniZinc Jip J. Dekker 2021-04-26 14:08:58 +10:00
• 04a11aef70
  Fixes in the rewriting rules Jip J. Dekker 2021-04-20 09:26:22 +10:00
• 04d951aa80
  Add brainstorm for some MiniZinc structural sections Jip J. Dekker 2021-04-13 12:58:58 +10:00
• 0ebb7a72a9
  Add section on undefined behaviour Jip J. Dekker 2021-04-13 12:58:38 +10:00
• ef1ad4107f
  Remove unused equation number Jip J. Dekker 2021-04-13 12:57:46 +10:00
• c484fea52e
  Update chapter numbers Jip J. Dekker 2021-04-13 11:57:26 +10:00
• 29b31b2a09
  Update background section Jip J. Dekker 2021-04-12 17:07:50 +10:00
• 8c6f4572e8
  Fix small paper size issue Jip J. Dekker 2021-04-12 17:07:28 +10:00
• 893a8d9d5f
  Update MiniZinc background example Jip J. Dekker 2021-04-12 15:44:27 +10:00
• 651abd0b53
  Small fixes in the first parts of the background Jip J. Dekker 2021-04-12 14:37:59 +10:00
• d7db80ec78
  Fix the long-short occurrence of acronyms. Jip J. Dekker 2021-04-12 14:37:36 +10:00
• d11e2c256c
  Set page size to A4 for now Jip J. Dekker 2021-04-12 14:36:45 +10:00
• b975d4e170
  Work on the intro to the background Jip J. Dekker 2021-04-12 14:02:20 +10:00
• 5c031fe4ac
  Add section on Aggregation Jip J. Dekker 2021-04-12 11:00:20 +10:00
• 7d1fdfe6c0
  Add section on constraint aggregation Jip J. Dekker 2021-04-09 16:48:14 +10:00
• bbe7ecb848
  Add correct index references for CSE Jip J. Dekker 2021-04-09 16:47:50 +10:00
• cda3338543
  Extend MiniZinc to MicroZinc transformation Jip J. Dekker 2021-04-09 14:15:02 +10:00
• 99bf877a94
  Adjust rewriting introduction Jip J. Dekker 2021-04-09 14:14:50 +10:00
• 6909231242
  Change footnote style Jip J. Dekker 2021-04-09 14:14:34 +10:00
• cf889791cb
  Add rewriting summary Jip J. Dekker 2021-04-08 18:07:14 +10:00
• 67b806b378
  Work on the Experiments section Jip J. Dekker 2021-04-08 18:07:04 +10:00
• 1d20312a30
  Remove seperate chapter for related technologies Jip J. Dekker 2021-04-08 18:06:28 +10:00
• 91919eedd2
  Change structure in the background chapter Jip J. Dekker 2021-04-08 18:05:17 +10:00
• 906ad4737c
  Work on the rewriting introduction Jip J. Dekker 2021-04-08 18:04:51 +10:00
• b94c1cb386
  Switch glossary to an index Jip J. Dekker 2021-04-08 18:04:03 +10:00
• 2f5fbbacd9
  Add rewriting rule for array access Jip J. Dekker 2021-04-08 14:20:46 +10:00
• 9d2b6fd070
  Move tuple construction to the correct place in the grammar Jip J. Dekker 2021-04-08 09:34:49 +10:00
• 548a482b6e
  Update the rewrite rules with correct projection rules Jip J. Dekker 2021-04-07 15:50:06 +10:00
• e5e8b9d7ec
  Adjust nanozinc descriptions to match new syntax Jip J. Dekker 2021-04-07 11:35:27 +10:00
• eb67f0635d
  Adjust grammar and proofs in Rewriting chapter Jip J. Dekker 2021-04-07 10:10:11 +10:00
• 3a3e249b9e
  Change proofs to the ebproof package Jip J. Dekker 2021-03-26 13:30:23 +11:00
• afe132845c
  Do not abbreviate references Jip J. Dekker 2021-03-26 13:28:36 +11:00
• 8cfcc7dfe8
  Some work on rewriting introduction Jip J. Dekker 2021-03-26 13:28:18 +11:00
• 3d2132f90e
  Fix the rewriting rules to work with tuples Jip J. Dekker 2021-03-18 14:27:15 +11:00
• 4c54084bf6
  Initial syntax swtich for MicroZinc and NanoZinc Jip J. Dekker 2021-03-18 13:25:48 +11:00
• 79f115597d
  Add Monash preliminary pages Jip J. Dekker 2021-03-17 14:17:04 +11:00
• a5c1fa012e
  Some work on half reification chapter Jip J. Dekker 2021-03-15 11:54:53 +11:00
• 7d5d634829
  Add nzn environment to chktex ignore list Jip J. Dekker 2021-03-12 14:44:38 +11:00
• a43620b68f
  Convert math contexts in remaining chapters Jip J. Dekker 2021-03-11 13:03:51 +11:00
• 46ab4b39e4
  Convert math context of the HR chapter Jip J. Dekker 2021-03-11 13:03:12 +11:00
• 7665f6beda
  Convert math context for rewriting chapter Jip J. Dekker 2021-03-11 12:09:47 +11:00
• bc5d82ae2a
  Add nzn environment Jip J. Dekker 2021-03-11 12:08:56 +11:00
• 873d277fe7
  Update HR chapter Jip J. Dekker 2021-03-11 11:42:09 +11:00
• 73d7c2cded
  Work on half-reification chapter Jip J. Dekker 2021-03-10 15:27:07 +11:00
• 78b627a88b
  Fixing things Jip J. Dekker 2021-03-09 15:03:59 +11:00
• 25c23ae378
  Add MiniZinc syntax specification in the appendix Jip J. Dekker 2021-03-08 11:42:49 +11:00
• cfd7c5a960
  Ignore directory to keep local copy of full text cited works Jip J. Dekker 2021-03-08 09:56:37 +11:00
• cd10988667
  Fix link in references Jip J. Dekker 2021-03-08 09:55:43 +11:00
• 645ae1fa3a
  Fix final references Jip J. Dekker 2021-03-04 13:35:14 +11:00
• 5f8553d8cc
  Small style fixes Jip J. Dekker 2021-03-03 15:26:31 +11:00
• a55350fde6
  Update shorthands from half-reification Jip J. Dekker 2021-03-03 15:26:11 +11:00