Commit History

Author SHA1 Message Date
  Leo a47f5f9cff Merge branch 'dev' into basic-cli 10 years ago
  Leo a349efc45e Update version number 10 years ago
  Leo 2e94229e40 Update todo list 10 years ago
  Leo fe992226e1 Update todo list 10 years ago
  Leo ac4f80f2c1 Add value for version, build information... 10 years ago
  Leo 78f1877b9d Update comment 10 years ago
  Leo de3b170890 Merge branch '0.1' into basic-cli 10 years ago
  Leo 6a4f2982d2 Delete out-dated comment 10 years ago
  Leo ab89c9daf8 First command line interface 10 years ago
  Leo 86f0919238 Update .gitignore 10 years ago
  Leo f88c21aeba Merge branch 'dev' into 0.1 10 years ago
  Leo 49976e2ca7 Fix compilator warning 10 years ago
  Leo 6002bc538d Restructure .gitignore 10 years ago
  Leo 8a7f88b942 Adapt .gitignore to oasis 10 years ago
  Leo 9177f209c1 Add gitignore 10 years ago
  Leo 8b6ada9f37 Use atdgen through OASIS 10 years ago
  Leo fab41bd6a4 Update oasis file 10 years ago
  Leo c9fc03f28f First oasis setup 10 years ago
  Leo 2ad2b7bd13 Fix compilator warning 10 years ago
  Leo 50337290ca Merge branch 'oasis' into dev 10 years ago
  Leo 935e41d95c Merge branch 'dev' into 0.1 10 years ago
  Leo ce58949aa7 Fix compiler warning 10 years ago
  Leo c5b0f10668 Restructure .gitignore 10 years ago
  Leo 6024b80cde Adapt .gitignore to oasis 10 years ago
  Leo 83ce175615 Merge branch 'master' into oasis 10 years ago
  Leo 54c21acd3f Use atdgen through OASIS 10 years ago
  Leo cc1330d796 Merge remote-tracking branch 'origin/0.1' into 0.1 10 years ago
  Leo 7cb08cbe3c More explicit title in TODO.md 10 years ago
  Leo 69dcc6c49a Update oasis file 10 years ago
  Leo 9100518e8a First oasis setup 10 years ago