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 |
|