tree f5abedc79a29160c1a535c7fc1deb263ebd2dcdd
parent 3a1e3537904c34612db08fdfcf89c3ecbdb9a55a
author Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1603849322 +0200
committer Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1603918709 +0200

Add a global defines.v and rely less on parameters

- This is mainly to avoid "accidents" with default parameter values