Changes
Page history
+AST-Generation in overview
authored
May 28, 2015
by
rschoene
Show whitespace changes
Inline
Side-by-side
Home.md
View page @
11473bc7
...
...
@@ -3,4 +3,6 @@ Page | Description
[
Formalization thoughts
](
Formalization
thoughts) | Thoughts about the formal specification of the problem
[
ILP Generation
](
ILP-Generation
)
| Sketch on how to generate the ILP
[
Thoughts on constraints
](
Thoughts
on constraints) | Thoughts on constraints and their generation
[
Test scenario
](
Test-scenario
)
| Scenario for evaluating the ILP generation
[
Test scenario
](
Test-scenario
)
| Scenario for evaluating the ILP generation (correctness and profiling)
[
AST Generation
](
AST-Generation
)
| Documentation of the
`create-system`
method
