sec-certs.git - Tool for analysis of security certificates (Common Criteria, FIPS 140...).

	Commit message (Collapse)	Author	Age	Files	Lines
*	fix docker build	Adam Janovsky	2022-05-27	1	-6/+2
\|
*	merge main	Adam Janovsky	2022-05-20	1	-0/+3
\|\
* \|	move dockerfile so that binder can find it	Adam Janovsky	2022-05-01	1	-0/+57
\|/
*	delete dockerfile from root repository	Adam Janovsky	2021-05-25	1	-45/+0
\|
*	trying to workout the dockerfile for binder	Adam Janovsky	2021-05-14	1	-0/+12
\|
*	CC CLI	Adam Janovsky	2021-05-13	1	-1/+1
\|
*	Update Dockerfile	Léo Vansimay	2021-04-23	1	-1/+1
\| \| \|	Modified the path of the demo script.
*	Create Dockerfile	Léo Vansimay	2021-04-16	1	-0/+33
	Adding the Dockerfile to the repo, we can build the container with it, and run the demo script (/!\reminder: 3 hours long to run) Next step is to push the image to DockerHub, so we won't need to build the image anymore.