verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

Python3 compatibility #59

Closed MaxGaukler closed 4 years ago

MaxGaukler commented 4 years ago

After a one day of work I now claim that hypy works with python3 (and still with python2). There are still some gaps on which I'd be happy about collaboration:

This fixes #57.

MaxGaukler commented 4 years ago

As far as I tested, hypy works fine under python3, so this pull request should be ready to merge.

ttj commented 4 years ago

Thanks for fixing the other one Max, this one now has some new conflicts, could you please check and fix?

MaxGaukler commented 4 years ago

Thanks, I'm working on it. Could you please have a look at #52?

ttj commented 4 years ago

Ok, thanks, I think I've enabled it:

https://travis-ci.com/github/verivital/hyst/builds/154621891

Please let me know if I can merge this one or if there are still changes needed.

ttj commented 4 years ago

thanks!