17 commits

Author	SHA1	Message	Date
Robert O'Callahan	e0ae7b7af4	Remove .c_str() calls from log()/log_error() ... There are some leftovers, but this is an easy regex-based approach that removes most of them.	2025-09-11 20:59:37 +00:00
Emil J. Tywoniak	a58481e9b7	mark all hash_into methods nodiscard	2025-01-14 12:39:15 +01:00
Emil J. Tywoniak	b9b9515bb0	hashlib: hash_eat -> hash_into	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	4e29ec1854	hashlib: acc -> eat	2024-12-18 15:09:25 +01:00
Emil J. Tywoniak	d071489ab1	hashlib: redo interface for flexibility	2024-12-18 14:49:25 +01:00
Emil J. Tywoniak	bc5d9d1bd3	functional: fix std::move usage in Factory::constant	2024-10-14 06:28:14 +02:00
Emily Schmidt	4eeb8d326a	functional backend: rename "type" to either "kind" or "sort" to make the terminology consistent	2024-08-28 12:39:41 +01:00
Emily Schmidt	b428bf4600	functional backends: identifiers in c++/smtlib may not start with digits	2024-08-27 13:10:34 +01:00
Emily Schmidt	459e6b913a	add functional ir documentation	2024-08-27 11:11:02 +01:00
Emily Schmidt	f456761e88	add sandia copyright notice to the functional backend	2024-08-21 11:04:11 +01:00
Emily Schmidt	50047d25b3	functional backend: add different types of input/output/state variables	2024-08-21 11:04:11 +01:00
Emily Schmidt	8f77494263	silence some warnings	2024-08-21 11:04:11 +01:00
Emily Schmidt	850b3a6c29	convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h	2024-08-21 11:04:08 +01:00
Emily Schmidt	8c0f625c3a	functional backend: topological sort starts with the output and next states nodes, other nodes get deleted	2024-08-21 11:03:29 +01:00
Emily Schmidt	55c2c17853	document functionalir.h and change visitors to derive from AbstractVisitor. remove extraneous widths arguments from visitors.	2024-08-21 11:03:29 +01:00
Emily Schmidt	6f9e21219b	add new generic compute graph and rewrite c++ functional backend to use it	2024-08-21 11:02:29 +01:00
Jannis Harder	d4e3daa9d0	ComputeGraph datatype for the upcoming functional backend	2024-08-21 11:01:09 +01:00