# Build artefacts
bench/results/*.txt
bench/results/*.json

# dudect harness artefacts
ct/dudect/dudect/
ct/dudect/dudect_verify
ct/dudect/dudect_combine
ct/dudect/libpulsar_verify.so
ct/dudect/libpulsar_verify.dylib
ct/dudect/libpulsar_verify.h
ct/dudect/libpulsar_combine.so
ct/dudect/libpulsar_combine.dylib
ct/dudect/libpulsar_combine.h
ct/dudect/libpulsar_verify.so
ct/dudect/libpulsar_verify.dylib
ct/dudect/libpulsar_verify.h
ct/dudect/libpulsar_combine.so
ct/dudect/libpulsar_combine.dylib
ct/dudect/libpulsar_combine.h
ct/dudect/results/*.log
ct/dudect/results/*.stdout
spec/*.pdf
spec/*.aux
spec/*.bbl
spec/*.blg
spec/*.fdb_latexmk
spec/*.fls
spec/*.log
spec/*.out
spec/*.toc
spec/*.synctex.gz

# Editor / OS
.DS_Store
*.swp
*~

# Go workspace
go.work
go.work.sum

# jasmin2ec extraction artifacts (regenerated by scripts/extract-jasmin-ec.sh)
proofs/easycrypt/extraction/build/

# EasyCrypt compiled object files
proofs/easycrypt/*.eco
proofs/easycrypt/lemmas/*.eco

# pq-crystals reference impl (regenerated by test/interoperability/pq_crystals/fetch.sh)
test/interoperability/pq_crystals/dilithium/
test/interoperability/pq_crystals/obj.*/
test/interoperability/pq_crystals/libpqcrystals_*.a
test/interoperability/pq_crystals/libpqcrystals_*.so
test/interoperability/pq_crystals/libpqcrystals_*.dylib
