|
|
8f7c849990
|
Correctly reset acronym usage
|
2021-05-17 10:42:13 +10:00 |
|
|
|
6b40d52644
|
Update compilation structure figures
|
2021-05-16 15:58:41 +10:00 |
|
|
|
cc5d1fd016
|
Work on the flattening section
|
2021-05-16 15:18:41 +10:00 |
|
|
|
7c131f7412
|
More work on the background sections
|
2021-05-15 17:07:53 +10:00 |
|
|
|
5f09ec6d02
|
Reorganise background sections
|
2021-05-15 11:04:44 +10:00 |
|
|
|
a4eccf08d6
|
A lot of work on the old interpreter
|
2021-05-13 19:22:12 +10:00 |
|
|
|
ba97125027
|
Some work on CLP
|
2021-05-11 16:57:41 +10:00 |
|
|
|
1c4b9b4eb1
|
Does it ever end?
|
2021-05-11 15:31:51 +10:00 |
|
|
|
aae2191bf0
|
Add description of OPL and Essence
|
2021-05-05 16:47:21 +10:00 |
|
|
|
383cfee9fc
|
Add bar plot for interpreter comparison
|
2021-04-28 15:07:40 +10:00 |
|
|
|
8358375892
|
Add initial introduction for the term rewriting
|
2021-04-27 14:33:09 +10:00 |
|
|
|
ce5c3c8e58
|
Grammar / spelling for incremental chapter
|
2021-04-27 10:08:54 +10:00 |
|
|
|
1ab2442c8d
|
Small introduction and spell checking
|
2021-04-26 18:06:13 +10:00 |
|
|
|
87ff8426f3
|
Add more about the MiniZinc structure
|
2021-04-26 16:41:38 +10:00 |
|
|
|
d320377c3a
|
Add more parts about MiniZinc
|
2021-04-26 14:08:58 +10:00 |
|
|
|
04a11aef70
|
Fixes in the rewriting rules
|
2021-04-20 09:26:22 +10:00 |
|
|
|
04d951aa80
|
Add brainstorm for some MiniZinc structural sections
|
2021-04-13 12:58:58 +10:00 |
|
|
|
0ebb7a72a9
|
Add section on undefined behaviour
|
2021-04-13 12:58:38 +10:00 |
|
|
|
ef1ad4107f
|
Remove unused equation number
|
2021-04-13 12:57:46 +10:00 |
|
|
|
c484fea52e
|
Update chapter numbers
|
2021-04-13 12:57:25 +10:00 |
|
|
|
29b31b2a09
|
Update background section
|
2021-04-12 17:07:50 +10:00 |
|
|
|
893a8d9d5f
|
Update MiniZinc background example
|
2021-04-12 15:44:27 +10:00 |
|
|
|
651abd0b53
|
Small fixes in the first parts of the background
|
2021-04-12 14:37:59 +10:00 |
|
|
|
b975d4e170
|
Work on the intro to the background
|
2021-04-12 14:02:20 +10:00 |
|
|
|
5c031fe4ac
|
Add section on Aggregation
|
2021-04-12 11:00:20 +10:00 |
|
|
|
7d1fdfe6c0
|
Add section on constraint aggregation
|
2021-04-09 16:48:14 +10:00 |
|
|
|
bbe7ecb848
|
Add correct index references for CSE
|
2021-04-09 16:47:50 +10:00 |
|
|
|
cda3338543
|
Extend MiniZinc to MicroZinc transformation
|
2021-04-09 14:15:02 +10:00 |
|
|
|
99bf877a94
|
Adjust rewriting introduction
|
2021-04-09 14:14:50 +10:00 |
|
|
|
cf889791cb
|
Add rewriting summary
|
2021-04-08 18:07:14 +10:00 |
|
|
|
67b806b378
|
Work on the Experiments section
|
2021-04-08 18:07:04 +10:00 |
|
|
|
1d20312a30
|
Remove seperate chapter for related technologies
|
2021-04-08 18:06:28 +10:00 |
|
|
|
91919eedd2
|
Change structure in the background chapter
|
2021-04-08 18:05:17 +10:00 |
|
|
|
906ad4737c
|
Work on the rewriting introduction
|
2021-04-08 18:04:51 +10:00 |
|
|
|
2f5fbbacd9
|
Add rewriting rule for array access
|
2021-04-08 14:20:46 +10:00 |
|
|
|
9d2b6fd070
|
Move tuple construction to the correct place in the grammar
|
2021-04-08 09:34:49 +10:00 |
|
|
|
548a482b6e
|
Update the rewrite rules with correct projection rules
|
2021-04-07 15:50:06 +10:00 |
|
|
|
e5e8b9d7ec
|
Adjust nanozinc descriptions to match new syntax
|
2021-04-07 11:35:27 +10:00 |
|
|
|
eb67f0635d
|
Adjust grammar and proofs in Rewriting chapter
|
2021-04-07 10:10:11 +10:00 |
|
|
|
3a3e249b9e
|
Change proofs to the ebproof package
|
2021-03-26 13:30:23 +11:00 |
|
|
|
8cfcc7dfe8
|
Some work on rewriting introduction
|
2021-03-26 13:28:18 +11:00 |
|
|
|
3d2132f90e
|
Fix the rewriting rules to work with tuples
|
2021-03-18 14:27:15 +11:00 |
|
|
|
4c54084bf6
|
Initial syntax swtich for MicroZinc and NanoZinc
|
2021-03-18 13:25:48 +11:00 |
|
|
|
a5c1fa012e
|
Some work on half reification chapter
|
2021-03-15 11:54:53 +11:00 |
|
|
|
a43620b68f
|
Convert math contexts in remaining chapters
|
2021-03-11 13:03:51 +11:00 |
|
|
|
46ab4b39e4
|
Convert math context of the HR chapter
|
2021-03-11 13:03:12 +11:00 |
|
|
|
7665f6beda
|
Convert math context for rewriting chapter
|
2021-03-11 12:09:47 +11:00 |
|
|
|
873d277fe7
|
Update HR chapter
|
2021-03-11 11:42:09 +11:00 |
|
|
|
73d7c2cded
|
Work on half-reification chapter
|
2021-03-10 15:27:07 +11:00 |
|
|
|
78b627a88b
|
Fixing things
|
2021-03-09 15:55:10 +11:00 |
|
