Mode Type Size Ref File
040000 tree - 92b999acd3bfe9ab36e7e144e41c8bb644d21595 @dual_homo_measurement
040000 tree - b9d84996f6a03abd5d2cebd503aa32b702dbed61 @homo_measurement
100644 blob 1392 7653daf9f4de393959c9bff019460ac543f5be8f quickcheck_dualhomo.m
100644 blob 4211 3cffe485d25e1ea9caa20e98c26f6bc5c7f6d7f4 quickcheck_dualhomo_long.m
Hints:
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://rocketgit.com/user/gutc61/Membrane

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@ssh.rocketgit.com/user/gutc61/Membrane

Clone this repository using git:
git clone git://git.rocketgit.com/user/gutc61/Membrane

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a merge request:
... clone the repository ...
... make some changes and some commits ...
git push origin main