Collapse file tree

Files

 master

Search this repository

/

stratego.example

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

Apanatshka

Update symbolic link to code from thesis

success

Sep 13, 2024

e1cf665 · Sep 13, 2024

History

History

Open commit details

/

stratego.example

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
real-world		real-world	Add some examples	Sep 15, 2021
test-pmc		test-pmc	Change guard keyword & add examples	Nov 30, 2021
thesis		thesis	Change guard keyword & add examples	Nov 30, 2021
.gitignore		.gitignore	Merge branch 'benchmarks'	Oct 29, 2021
alias2.str2		alias2.str2	Update examples to use imports	Jul 23, 2021
benchexpr10.str2		benchexpr10.str2	Update some examples	Sep 30, 2021
calc.str2		calc.str2	Update symbolic link to code from thesis	Sep 13, 2024
deep.str2		deep.str2	Update examples to use imports	Jul 23, 2021
dynamic-rules.str2		dynamic-rules.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
evalexpr.str2		evalexpr.str2	Update examples to use imports	Jul 23, 2021
evalsym.str2		evalsym.str2	Update examples to use imports	Jul 23, 2021
evaltree.str2		evaltree.str2	Update examples to use imports	Jul 23, 2021
example.str2		example.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example01.str2		example01.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example02.str2		example02.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example03.str2		example03.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example04.str2		example04.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example05.str2		example05.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example06.str2		example06.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example07.str2		example07.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example08.str2		example08.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example09.str2		example09.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example10.str2		example10.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example11.str2		example11.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example12.str2		example12.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example13.str2		example13.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example14.str2		example14.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example15.str2		example15.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
example16.str2		example16.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
exploded.str2		exploded.str2	Fix bug in exploded term guards	Dec 16, 2021
guarded_alt.str2		guarded_alt.str2	Change guard keyword & add examples	Nov 30, 2021
guarded_default.str2		guarded_default.str2	Change guard keyword & add examples	Nov 30, 2021
jasmin.str2		jasmin.str2	Change integration test to gpp library	Dec 23, 2021
libstratego-lib.str		libstratego-lib.str	WIP: Mostly implement guard codegen before meeting	May 7, 2021
list-merge.str2		list-merge.str2	Change some examples	Jun 14, 2021
lists.str2		lists.str2	Change guard keyword & add examples	Nov 30, 2021
matchbuild.str2		matchbuild.str2	Fix some examples for use with stricter compiler	Jun 3, 2021
matrix2dfa.str2		matrix2dfa.str2	Add two more example files and allow libstratego-lib import in examples	Jul 19, 2021
merge_cases_choices.str2		merge_cases_choices.str2	Fix flattening of MMs	Sep 15, 2021
metaborg.yaml		metaborg.yaml	Make metaborgVersion explicit in metaborg.yaml	May 27, 2024
multimatch.str2		multimatch.str2	Move from .stra extension to .str2	Jun 1, 2021
occan.str2		occan.str2	More example programs	Oct 29, 2021
one-tuple.str2		one-tuple.str2	Update test and example projects new files / gitignore	Oct 5, 2021
pom.xml		pom.xml	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
sdefp.str2		sdefp.str2	More example programs	Oct 29, 2021
strategolang.str2		strategolang.str2	Add two more example files and allow libstratego-lib import in examples	Jul 19, 2021
test-nabl2.str2		test-nabl2.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
test.str2		test.str2	Add some examples	Sep 15, 2021
test_mixed.str2		test_mixed.str2	Update (breaking) examples	Aug 31, 2021
tp-double-typedef.str2		tp-double-typedef.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
type-preserving-problem.str2		type-preserving-problem.str2	Clean up: remove duplicate old projects, move dead experiments to cel…	Apr 14, 2021
type-preserving.str2		type-preserving.str2	Add sort checking	Jul 28, 2021
wildcard.str2		wildcard.str2	Move from .stra extension to .str2	Jun 1, 2021
View all files