summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2020-05-16better cleanup of temporary files, more .gitignoresAndreas Baumann
2020-04-10updated .gitconfigAndreas Baumann
2020-03-27allow assignment in constant definitions from constant expressions (numbers a...Andreas Baumann
2020-03-26comparing emulatation run to a must stateAndreas Baumann
2020-03-26adapted .gitignoreAndreas Baumann
2020-01-30updated .gitignoreAndreas Baumann
2018-06-24some work on the lexer of minic (reading comments)Andreas Baumann
2018-06-14cleaned up doc and linksAndreas Baumann