/Cargo.lock
/target/
*.swp

editor/editor_state
editor/sim_state
data/*.abst
data/input/*