| .. |
|
analysis.str
|
feat: Add SPT as an alternate means of running Stratego strategies
|
2021-01-16 15:11:47 -08:00 |
|
chap6.str
|
feat: Add Chapter 6
|
2021-01-19 22:09:21 -08:00 |
|
chap7.str
|
feat: implement Chapter 7
|
2021-01-20 11:05:33 -08:00 |
|
chap8.str
|
feat: Implement chapter 8
|
2021-01-20 19:35:07 -08:00 |
|
outline.str
|
init: Spoofax language project as generated
|
2020-12-15 00:24:59 -08:00 |
|
pp.str
|
init: Spoofax language project as generated
|
2020-12-15 00:24:59 -08:00 |
|
prop-cnf3.str
|
feat: Add section 5.1.2 of manual
|
2021-01-17 08:43:03 -08:00 |
|
prop-desugar.str
|
feat: Finish Chapter 5
|
2021-01-19 21:00:56 -08:00 |
|
prop-dnf-rules.str
|
docs: Update to reflect pending changes in the Spoofax Tutorial/Reference
|
2021-02-03 16:24:47 -08:00 |
|
prop-dnf.str
|
docs: Add section 4.2
|
2021-01-15 09:57:30 -08:00 |
|
prop-dnf3.str
|
docs: Update to reflect pending changes in the Spoofax Tutorial/Reference
|
2021-02-03 16:24:47 -08:00 |
|
prop-dnf4.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
prop-dnf5.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
prop-dnf6.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
prop-dnf7.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
prop-dnf8.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
prop-dnf9.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
prop-dnf10.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
prop-dnf11.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
prop-eval-rules.str
|
docs: Update to reflect pending changes in the Spoofax Tutorial/Reference
|
2021-02-03 16:24:47 -08:00 |
|
prop-eval.str
|
docs: Initiate building documentation with mkdocs
|
2021-01-12 08:41:01 -08:00 |
|
prop-eval2.str
|
feat: Finish Chapter 5
|
2021-01-19 21:00:56 -08:00 |
|
prop-laws.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
sec9_1.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
sec9_2.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
spoofax_propositional_language.str
|
feat: Implement Chapter9
|
2021-01-22 09:29:57 -08:00 |
|
statics.nabl2
|
init: Spoofax language project as generated
|
2020-12-15 00:24:59 -08:00 |
Glen Whitney
ae0a798c7b