Btor2Xcfa #348

Draft

szaboeva2004 wants to merge 76 commits intoftsrg:masterfrom

szaboeva2004:btor2xcfa

Commits on Feb 25, 2025

Commits on Mar 3, 2025

Commits on Mar 4, 2025

Commits on Mar 12, 2025

Visitors, models are reworked (ongoing)
szaboeva2004
committed

Commits on Mar 17, 2025

Commits on Mar 25, 2025

Commits on Apr 9, 2025

Small changes in models and visitors
szaboeva2004
committed

Commits on Apr 12, 2025

Btor2 config added
szaboeva2004
committed

Commits on Apr 15, 2025

Commits on May 8, 2025

Added more resources and minuses
Szabó Éva Mária
committed

Commits on May 9, 2025

Minus still doesn't work
Szabó Éva Mária
committed

Commits on May 12, 2025

Added visitors and operations, still not working minuses
Szabó Éva Mária
committed
Binary operators working, comparison still not
Szabó Éva Mária
committed

Commits on May 13, 2025

Constants have a problem
Szabó Éva Mária
committed
create instead of of in getExpr in btor2
AdamZsofi
committed
removed booltype, todo ite
AdamZsofi
committed
Btor2Const reworked
Szabó Éva Mária
committed
package eqexpr in ite to make it bv
AdamZsofi
committed

Commits on May 14, 2025

If the types are bv why does it say it's not
Szabó Éva Mária
committed

Commits on May 15, 2025

Slice corrected
Szabó Éva Mária
committed
ITS ALIVE
Szabó Éva Mária
committed

Commits on Jun 24, 2025

Hex numbers work
Szabó Éva Mária
committed

Commits on Jun 25, 2025

Sub added, fixed grammar
Szabó Éva Mária
committed

Commits on Jun 26, 2025

Fixed ite and init
Szabó Éva Mária
committed

Commits on Jul 5, 2025

Ite might be fixed
Szabó Éva Mária
committed

Commits on Jul 6, 2025

Added some more specific TODOs and extended some
Szabó Éva Mária
committed
Idk what else is wrong with ite but let's try this one
Szabó Éva Mária
committed
Took out logger from Btor2Visitor
Szabó Éva Mária
committed
Maybe ha kicserélem Notra?
Szabó Éva Mária
committed
Binary operations improvement?
Szabó Éva Mária
committed
ITE operation is the bane of my existence
Szabó Éva Mária
committed

Commits on Jul 7, 2025

Unary ops statement added
Szabó Éva Mária
committed
Refactored Expressions and Stmts
Szabó Éva Mária
committed
Added some resources
Szabó Éva Mária
committed

Commits on Jul 8, 2025

Fixed some operators, bad property, decimal numbers
Szabó Éva Mária
committed
Bad now has getStmt
Szabó Éva Mária
committed

Commits on Jul 9, 2025

Slice works in some cases
Szabó Éva Mária
committed
Resource added, slice might be fixed
Szabó Éva Mária
committed
fix typo in grammar
AdamZsofi
committed
patched btor2 grammar symbol issue; improved check message
AdamZsofi
committed

Commits on Jul 10, 2025

Slice, next update
Szabó Éva Mária
committed

Commits on Jul 11, 2025

Operation negations updated
Szabó Éva Mária
committed
We need bitwise negation so that is switched
Szabó Éva Mária
committed
Next edge adding
Szabó Éva Mária
committed
added gcd example
AdamZsofi
committed
States, inputs edges improved
Szabó Éva Mária
committed

Commits on Jul 16, 2025

Commits on Jul 18, 2025

over-cautious check removed
AdamZsofi
committed

Commits on Oct 6, 2025

added some refs instead of expr
AdamZsofi
committed

Commits on Nov 29, 2025

Mathsat added for local bechmarks
Szabó Éva Mária
committed
Adding bads right after operations
Szabó Éva Mária
committed

Commits on Dec 2, 2025

Test file added
Szabó Éva Mária
committed
merge mainline theta
AdamZsofi
committed

Commits on Dec 6, 2025

Enabling all or no optimizations
Szabó Éva Mária
committed