sec-certs.git/notebooks, branch mainTool for analysis of security certificates (Common Criteria, FIPS 140...).
https://git.neuromancer.sk/sec-certs.git/atom?h=main2025-11-19T11:41:26ZApply ruff fixes.2025-11-19T11:41:26ZJ08nY2025-11-19T11:41:26Zurn:sha1:b16bbbcc83c017267f0401347ef8119ba80f782c
Also needed a mypy ignore on the extract monstrosity.
merge main2025-03-10T07:12:53ZAdam Janovsky2025-03-10T07:12:53Zurn:sha1:66d4cae9fe932d4d341cf8b09e9709ade8c6effasemantic search demo2025-03-07T17:17:40Zfedorst2025-03-05T15:31:47Zurn:sha1:c0288b91aaf6222d618b4b068b2fb78f75e3aa4a
precommit fix
ci fix
another ci fix
merge conflict squash2025-02-27T13:45:47Zfedorst2025-02-27T13:45:47Zurn:sha1:313936c6ef070cbb6514165539c28dd0b3e45064llm on segmentsgst2025-02-27T13:40:05Zfedorst2025-02-27T13:40:05Zurn:sha1:1703fc3b39e35032855bc612e98e836bb991d3adcompile, update metrics, prompt2025-02-27T12:24:12Zfedorst2025-02-26T15:01:01Zurn:sha1:8255bb66d87856393ca9b97473cbff13c760b824proof-of-concept2025-02-27T12:24:12Zfedorst2025-02-25T12:46:40Zurn:sha1:3da109713ac12c02df2a13b6d45ebf76cc6699fcfix typos in protection profile example notebook2025-02-13T10:07:20ZAdam Janovsky2025-02-13T10:07:20Zurn:sha1:b36f6675d8b88efae85eacbf19850340931c3ff5docs: Add protection profiles2025-02-01T21:58:23ZAdam Janovsky2025-01-29T08:16:20Zurn:sha1:f712d2fd90d6b2b8f3060274df5987a6b7fc41bdreplace from_web_latest() with from_web()2025-02-01T21:58:16ZAdam Janovsky2025-01-29T07:51:23Zurn:sha1:69be843d48b70ac62e54370e7763be262ab9ee63