Add license to source code

src/alloc.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 // TODO: Heap cloning, with two optimizations:
 //
 // - Stack allocations with non-pointer-containing types need not have contexts

src/analysis.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 pub mod callgraph;
 pub use callgraph::*;
 pub mod int;

src/analysis/callgraph.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 //! Callgraph analysis
 //!
 //! TODO:

src/analysis/int.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 //! Integer analysis
 
 use std::collections::HashMap;

src/analysis/pointer.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 // TODO: Handle global aliases
 use std::collections::{HashMap, HashSet};
 

src/arc.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 #[cfg(not(feature = "precompute"))]
 mod cached;
 #[cfg(not(feature = "precompute"))]

src/arc/cached.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 use std::ops::Deref;

src/arc/precomputed.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 use std::ops::Deref;

src/arc/uarc.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::Display;
 use std::hash::Hash;
 use std::ptr;

src/bin/int.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 use std::io::{self, Write};
 

src/cli.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt;
 use std::path::PathBuf;
 

src/hash.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 mod cached;
 mod precomputed;
 pub(crate) use precomputed::*;

src/hash/cached.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 // TODO(lb): Add LICENSE from OnceCell
 
 #![allow(unused)]

src/hash/precomputed.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::hash::Hash;
 use std::marker::PhantomData;
 

src/hash/prehashed.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::{Debug, Display};
 use std::hash::Hash;
 

src/hash/ref.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::Display;
 use std::hash::Hash;
 use std::ptr;

src/klimited.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 // TODO: Specialize for 1-9 or so? `pushed` is where many heap allocations happen.
 use std::collections::VecDeque;
 

src/lattice.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 //! Lattice for values of integer variables
 
 use ascent::{lattice::constant_propagation::ConstPropagation, Lattice};

src/layers.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 pub mod counts;
 pub use counts::*;
 pub mod nanos;

src/layers/counts.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use tracing::{Id, Subscriber};
 use tracing_subscriber::{layer::Context, registry::LookupSpan, Layer};
 

src/layers/nanos.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::time::{Duration, SystemTime};
 
 use dashmap::DashMap;

src/lib.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 mod alloc;
 pub use alloc::*;
 pub mod analysis;

src/llvm.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 //! Representation of an LLVM module that is amenable to analysis. In
 //! particular, Ascent values must implement `Clone`, `Hash`, and `Eq`. Since
 //! the LLVM AST contains floats, and floats don't implement `Eq`, we must

src/llvm/constant.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::{collections::HashMap, fmt::Display};
 
 use crate::arc::{Arc, UArc};

src/llvm/error.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 #[derive(Clone, Debug, Default, Hash, PartialEq, Eq, thiserror::Error)]
 pub struct Error(pub String);
 

src/llvm/instruction.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 
 use either::Either;

src/llvm/name.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::fmt::Display;
 
 use llvm_ir::{

src/llvm/operand.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 
 use llvm_ir::Name;

src/llvm/terminator.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 
 use either::Either;

src/main.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 use std::io::{self, Write};
 

src/signatures.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::collections::HashMap;
 
 use regex::RegexSet;

src/union.rs

@@ -1,3 +1,4 @@
+// SPDX-License-Identifier: BSD-3-Clause
 use std::ops::{Deref, DerefMut};
 
 use crate::arc::Arc;