Commit Graph

7 Commits

Author SHA1 Message Date
chriseth
3429b8cf33 Simplify AlgebraicExpression. 2023-10-30 18:36:12 +01:00
chriseth
960ed7c572 Introduce AlgebraicExpression. 2023-10-30 16:16:42 +01:00
Georg Wiese
5345624947 Block machine queries 2023-10-26 16:37:36 +00:00
chriseth
6565b056b2 Properly print local variables. 2023-09-29 12:36:45 +02:00
chriseth
3b31c670a7 Unify parsed and analyzed expressions. 2023-09-19 16:33:56 +02:00
Georg Wiese
062969885b Witgen: Detect VM Submachines (#516) 2023-09-12 14:08:00 +02:00
Georg Wiese
c2f5ce2746 Refactor Main Machine Witness Generation #470 2023-08-14 09:45:58 +00:00