Version used for Engagement 5
Version corresponding to ICSE'25 artifact
FoxDec with NASM generation
Used for NASM paper
version used during DARPA engagement E3
FoxDec version 0.3
Version used during first DARPA VSPELLS evaluation