Default Branch

master 7db3720739 · Update Jenkinsfile · Updated 2023-12-02 10:12:28 +01:00

ZIP  TAR.GZ

Branches

develop 0fcd5426d8 · Merge pull request #4 from Minres/master · Updated 2023-12-02 10:14:23 +01:00	0 3	Compare	ZIP  TAR.GZ
feature/interpreter 31c4d467ee · [WIP] implement basic infrastructure · Updated 2020-04-12 12:46:20 +02:00	44 0	Included	ZIP  TAR.GZ
feature/pythonized 81ffde3c12 · Initial pythonized version running · Updated 2019-07-16 15:55:42 +02:00	53 1	Compare	ZIP  TAR.GZ