M2-Planet/test/test07/.gitignore

# Ignore the files created by script
*.M1
*.hex2
proof

# A place to put a good run for comparison
actual.M1
Proving M2-Planet can compile real programs with the help of mescc-tools 2018-01-20 22:24:45 +00:00			`# Ignore the files created by script`
Minor reordering of tests and the addition of unary - and ! support 2018-01-21 19:42:09 +00:00			`*.M1`
			`*.hex2`
Added additional functionality such as mixed structs, do while loops, gotos and tests for the new functionality 2018-01-25 01:00:22 +00:00			`proof`
Converted for.c example into a test 2018-01-20 23:21:20 +00:00
			`# A place to put a good run for comparison`
			`actual.M1`