Andrew Reynolds bb82ecf511 Change the default proof format to ALF (#10231)

2023-12-19 23:01:25 +00:00

..

CMakeLists.txt

Add parser to the java api (#10088)

2023-11-28 11:53:30 -06:00

CommandTest.java

Do not print newlines in Command::toString (#10225)

2023-12-15 22:46:41 +00:00

DatatypeTest.java

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

FiniteFieldTest.java

cpp api: Extend the FiniteField related initialization functions (#9926)

2023-12-13 22:21:14 +00:00

GrammarTest.java

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

InputParserTest.java

Add setStringInput to the parser APIs (#10230)

2023-12-15 19:50:57 +00:00

OpTest.java

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

ParserTest.java

Add parser to the java api (#10088)

2023-11-28 11:53:30 -06:00

ProofTest.java

Add API for Proofs (#9895)

2023-10-12 12:05:01 -05:00

ResultTest.java

Add conflict, unsoundness and negation tracking to assertion pipeline (#10141)

2023-11-07 14:56:21 -06:00

SolverTest.java

Change the default proof format to ALF (#10231)

2023-12-19 23:01:25 +00:00

SortTest.java

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

SymbolManagerTest.java

Add parser to the java api (#10088)

2023-11-28 11:53:30 -06:00

SynthResultTest.java

Update copyright headers. (#9736)

2023-05-09 18:06:18 +00:00

TermTest.java

Add missing guard to RAN API (#9945)

2023-08-10 09:14:41 -07:00

UncoveredTest.cpp

Fix java api coverage failure (#10210)

2023-12-07 20:00:28 +00:00