tangled
alpha
login
or
join now
dekker.one
/
dekker-phd-thesis
Jip Dekker's PhD Thesis
0
fork
atom
overview
issues
pulls
pipelines
commits
Author
Commit
Message
Date
dekker.one
b0643824
Final changes to the acknowledgements
develop
4y ago
dekker.one
2afd9c80
Small changes to glossary
4y ago
dekker.one
2a17d406
Fix last errors spotted by Guido
4y ago
dekker.one
bc443a3d
Another final few changes
4y ago
dekker.one
f0d6cc40
Update acknowledgements
4y ago
dekker.one
ab98b78b
Mark everything as ready in the README
4y ago
dekker.one
b36d4929
Fix some final formatting issues
4y ago
dekker.one
6d4481b8
Attempt at remaining feedback
4y ago
dekker.one
b22e75b0
Fix typos from examiner feedback
4y ago
dekker.one
a5c8823b
Pre submission changes to the acknowledgements
4y ago
dekker.one
e4143f81
Add initial acknowledgement section
4y ago
dekker.one
81d94ed5
Change general public abstract file format
4y ago
dekker.one
b60e3c42
Final changes
4y ago
dekker.one
e6be2ca5
Add acronyms to glossary entries
4y ago
dekker.one
13432e75
Add signature
4y ago
dekker.one
4f614b1a
Before dinner editing
4y ago
dekker.one
8f94781a
Edit draft for general public draft in meeting
4y ago
dekker.one
c0740840
Add abstract draft for general public
4y ago
dekker.one
b31cd335
More readable figures
4y ago
dekker.one
31786c71
Additional source code
4y ago
dekker.one
e84fce6a
Morning editing
4y ago
dekker.one
47dcc6e3
Fix reference naming
4y ago
dekker.one
2efce9ef
Guido's feedback on the summary sections
4y ago
dekker.one
5a6b6385
Notes from guido
4y ago
dekker.one
b962b84d
Not so mighty now
4y ago
dekker.one
a0b83a59
Notes from Andreas
4y ago
dekker.one
72662f05
Tiny change
4y ago
dekker.one
ce174030
Grammar check
4y ago
dekker.one
d91d600e
Add missing example to reification chapter
4y ago
dekker.one
ef4fbc65
Feedback from Julie
4y ago
dekker.one
b510c3ed
Minor glossary fixes
4y ago
dekker.one
affa257a
Final work on the incremental chapter
4y ago
dekker.one
4562bb68
Guido's abstract / intro notes
4y ago
dekker.one
fe0234b0
A better try for the introduction connections
4y ago
dekker.one
900c9200
Small corrections
4y ago
dekker.one
1041eda4
Start at introduction transition
4y ago
dekker.one
fb24a5dc
Update glossary with SICStus
4y ago
dekker.one
69819d62
Work on the abstract
4y ago
dekker.one
d8287551
Fix long line in intro example code
4y ago
dekker.one
0b6ec372
More fixes from Guido
4y ago
dekker.one
a05ba139
Better transition between incremental methods
4y ago
dekker.one
3389133f
Editing with Cait
4y ago
dekker.one
a0b85fda
Small grammar check
4y ago
dekker.one
dfa29c41
Initial drafts of the summary sections
4y ago
dekker.one
edf81a9b
Add nicer box for line numbered listings
4y ago
dekker.one
3f5b0939
Remove mention of flattener
4y ago
dekker.one
91d26459
Remaining questions after Guido's notes
4y ago
dekker.one
b6327496
Incorporate Guido's Feedback on Incremental Constraint Modelling
4y ago
dekker.one
c3c54f5c
Small changes
4y ago
dekker.one
47265d44
A global grammar check
4y ago
dekker.one
ac4dfb75
Fix background information about bounds consistency
4y ago
dekker.one
39faee6c
Use sections instead of paragraphs in conclusions
4y ago
dekker.one
19cb6a11
Remove unused command
4y ago
dekker.one
205b25d7
Mention specific maxsat solvers and version used
4y ago
dekker.one
06294171
Update figures in Incremental chapter
4y ago
dekker.one
77722f0f
Fix the pareto front predicate
4y ago
dekker.one
b94eb66e
Incorporate Peter's feedback
4y ago
dekker.one
87c05960
Enable more grammar rules
4y ago
dekker.one
1114894d
Fix reference capitalization
4y ago
dekker.one
f480d6fe
Do not show line numbers for listings without references to lines
4y ago
Final changes to the acknowledgements
develop
b0643824
dekker.one
4y
Small changes to glossary
2afd9c80
dekker.one
4y
Fix last errors spotted by Guido
2a17d406
dekker.one
4y
Another final few changes
bc443a3d
dekker.one
4y
Update acknowledgements
f0d6cc40
dekker.one
4y
Mark everything as ready in the README
ab98b78b
dekker.one
4y
Fix some final formatting issues
b36d4929
dekker.one
4y
Attempt at remaining feedback
6d4481b8
dekker.one
4y
Fix typos from examiner feedback
b22e75b0
dekker.one
4y
Pre submission changes to the acknowledgements
a5c8823b
dekker.one
4y
Add initial acknowledgement section
e4143f81
dekker.one
4y
Change general public abstract file format
81d94ed5
dekker.one
4y
Final changes
b60e3c42
dekker.one
4y
Add acronyms to glossary entries
e6be2ca5
dekker.one
4y
Add signature
13432e75
dekker.one
4y
Before dinner editing
4f614b1a
dekker.one
4y
Edit draft for general public draft in meeting
8f94781a
dekker.one
4y
Add abstract draft for general public
c0740840
dekker.one
4y
More readable figures
b31cd335
dekker.one
4y
Additional source code
31786c71
dekker.one
4y
Morning editing
e84fce6a
dekker.one
4y
Fix reference naming
47dcc6e3
dekker.one
4y
Guido's feedback on the summary sections
2efce9ef
dekker.one
4y
Notes from guido
5a6b6385
dekker.one
4y
Not so mighty now
b962b84d
dekker.one
4y
Notes from Andreas
a0b83a59
dekker.one
4y
Tiny change
72662f05
dekker.one
4y
Grammar check
ce174030
dekker.one
4y
Add missing example to reification chapter
d91d600e
dekker.one
4y
Feedback from Julie
ef4fbc65
dekker.one
4y
Minor glossary fixes
b510c3ed
dekker.one
4y
Final work on the incremental chapter
affa257a
dekker.one
4y
Guido's abstract / intro notes
4562bb68
dekker.one
4y
A better try for the introduction connections
fe0234b0
dekker.one
4y
Small corrections
900c9200
dekker.one
4y
Start at introduction transition
1041eda4
dekker.one
4y
Update glossary with SICStus
fb24a5dc
dekker.one
4y
Work on the abstract
69819d62
dekker.one
4y
Fix long line in intro example code
d8287551
dekker.one
4y
More fixes from Guido
0b6ec372
dekker.one
4y
Better transition between incremental methods
a05ba139
dekker.one
4y
Editing with Cait
3389133f
dekker.one
4y
Small grammar check
a0b85fda
dekker.one
4y
Initial drafts of the summary sections
dfa29c41
dekker.one
4y
Add nicer box for line numbered listings
edf81a9b
dekker.one
4y
Remove mention of flattener
3f5b0939
dekker.one
4y
Remaining questions after Guido's notes
91d26459
dekker.one
4y
Incorporate Guido's Feedback on Incremental Constraint Modelling
b6327496
dekker.one
4y
Small changes
c3c54f5c
dekker.one
4y
A global grammar check
47265d44
dekker.one
4y
Fix background information about bounds consistency
ac4dfb75
dekker.one
4y
Use sections instead of paragraphs in conclusions
39faee6c
dekker.one
4y
Remove unused command
19cb6a11
dekker.one
4y
Mention specific maxsat solvers and version used
205b25d7
dekker.one
4y
Update figures in Incremental chapter
06294171
dekker.one
4y
Fix the pareto front predicate
77722f0f
dekker.one
4y
Incorporate Peter's feedback
b94eb66e
dekker.one
4y
Enable more grammar rules
87c05960
dekker.one
4y
Fix reference capitalization
1114894d
dekker.one
4y
Do not show line numbers for listings without references to lines
f480d6fe
dekker.one
4y
next
dekker.one