search

GaloisInc / hacrypto

Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
46 stars 14 forks source link

Add a copy of LICENSE to TestGen/. #100

Open briansmith opened 8 years ago

briansmith commented 8 years ago

This is the first step toward splitting TestGen into a submodule so that other projects can use TestGen without needing to clone the entire hacrypto repository.

After this, the split of TestGen can be done like so:

git subtree split --prefix=TestGen/

This will output the hash $X. Then you can do

git remote add TestGen https://github.com/GaloisInc/TestGen && \
git branch TestGen $X && \
git push TestGen TestGen:master && \
git checkout master && \
git remote remove TestGen && \
git rm -r TestGen && \
git submodule add https://github.com/GaloisInc/TestGen TestGen && \
git commit -m "Move TestGen to a submodule."

Note that there is other work that can/should be done to improve TestGen. If Galois splits TestGen into its own repository then I'll file the issues & pull requests against the new repo.