|
|
b94c1cb386
|
Switch glossary to an index
|
2021-04-08 18:04:03 +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 |
|
|
|
afe132845c
|
Do not abbreviate references
|
2021-03-26 13:28:36 +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 |
|
|
|
79f115597d
|
Add Monash preliminary pages
|
2021-03-17 14:17:04 +11:00 |
|
|
|
a5c1fa012e
|
Some work on half reification chapter
|
2021-03-15 11:54:53 +11:00 |
|
|
|
7d5d634829
|
Add nzn environment to chktex ignore list
|
2021-03-12 14:44:38 +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 |
|
|
|
bc5d82ae2a
|
Add nzn environment
|
2021-03-11 12:08:56 +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 |
|
|
|
25c23ae378
|
Add MiniZinc syntax specification in the appendix
|
2021-03-08 11:42:49 +11:00 |
|
|
|
cfd7c5a960
|
Ignore directory to keep local copy of full text cited works
|
2021-03-08 09:56:37 +11:00 |
|
|
|
cd10988667
|
Fix link in references
|
2021-03-08 09:55:43 +11:00 |
|
|
|
645ae1fa3a
|
Fix final references
|
2021-03-04 13:35:14 +11:00 |
|
|
|
5f8553d8cc
|
Small style fixes
|
2021-03-03 15:26:31 +11:00 |
|
|
|
a55350fde6
|
Update shorthands from half-reification
|
2021-03-03 15:26:11 +11:00 |
|
|
|
d0871d7451
|
Update to tree-sitter lexer for pygments
|
2021-03-03 15:06:34 +11:00 |
|
|
|
a77444b5d2
|
Add half-reification text
|
2021-03-03 15:05:41 +11:00 |
|
|
|
3c168f3e12
|
Number pdf contents
|
2021-03-03 09:23:16 +11:00 |
|
|
|
0be42e0a02
|
Add initial import of machine model paper
|
2021-03-02 17:25:54 +11:00 |
|
|
|
2a16d5c2ba
|
Switch project to use minted
|
2021-03-02 13:45:53 +11:00 |
|
|
|
9e58fbfaab
|
Append description of Lex and Pareto
|
2021-02-25 14:29:20 +11:00 |
|
|
|
a04e3bee7e
|
More work on the incremental chapter
|
2021-02-24 17:09:07 +11:00 |
|
|
|
ae8be07972
|
Work on incremental chapter
|
2021-02-24 13:08:23 +11:00 |
|
|
|
0bb8c4da8d
|
Add table of contents possibilities
|
2021-02-22 16:17:03 +11:00 |
|
|
|
ab6adde55c
|
Some work on the incremental chapter
|
2021-02-22 15:37:13 +11:00 |
|
|
|
9475102e5a
|
Reorganise incremetal chapter and add other experiments
|
2021-02-11 14:43:11 +11:00 |
|
|
|
6289555fa7
|
Update syntax highlighting for MiniZinc fragments
|
2021-02-10 15:57:01 +11:00 |
|
|
|
6a5fe8d077
|
Add initial incremental section from Abstract Machine paper
|
2021-02-10 13:58:42 +11:00 |
|
|
|
c48148ffaf
|
Initial import from LNS paper
|
2021-02-09 14:10:12 +11:00 |
|
|
|
e29db0e8fc
|
Fix small font error
|
2021-02-09 14:09:43 +11:00 |
|
|
|
33072b7758
|
Keep generation commands in Makefile
|
2021-02-09 14:08:57 +11:00 |
|
|
|
04a0f91ef9
|
Change publications to singular
|
2021-02-04 15:36:25 +11:00 |
|
|
|
b6e4b755f5
|
Edit log output format to ensure that git ignores them
|
2021-02-04 15:35:58 +11:00 |
|
|
|
16d40592f6
|
Add pyproject.toml for black settings
|
2021-02-04 15:35:22 +11:00 |
|
|
|
56b891ccc9
|
Add partial draft for background chapter
|
2021-02-04 15:35:06 +11:00 |
|
|
|
a15e017665
|
Update mzn-lns bibliography entry
|
2021-02-04 15:29:06 +11:00 |
|
|
|
29739c95ba
|
Update latexmkrc to correctly generate glossaries and pygments
|
2021-02-04 15:28:07 +11:00 |
|
|
|
939089480e
|
Add fonts for headings and main text
|
2021-01-19 13:22:35 +11:00 |
|
