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

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

..

api

Change the default proof format to ALF (#10231)

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

base

Update copyright headers. (#9736)

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

context

Remove ContextObj constructor for context memory managed (#9721)

2023-05-10 19:27:25 +00:00

main

Readd support for sygus + interactive (#10122)

2023-11-28 18:22:30 +00:00

node

Convert enum Kind_t to an enum class. (#10070)

2023-09-28 08:37:06 -05:00

options

Add --safe-options (#10159)

2023-12-13 18:07:34 +00:00

parser

Add parser to the java api (#10088)

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

preprocessing

Convert enum Kind_t to an enum class. (#10070)

2023-09-28 08:37:06 -05:00

printer

Convert enum Kind_t to an enum class. (#10070)

2023-09-28 08:37:06 -05:00

proof

Update copyright headers. (#9736)

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

prop

Convert enum Kind_t to an enum class. (#10070)

2023-09-28 08:37:06 -05:00

theory

ff parsing & bitsum preprocessing pass (#10176)

2023-12-06 16:35:40 +00:00

util

Convert enum Kind_t to an enum class. (#10070)

2023-09-28 08:37:06 -05:00

CMakeLists.txt

Added GTest include directories to unit tests. (#9879)

2023-07-11 14:04:00 +00:00

test_api.h

Update copyright headers. (#9736)

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

test_context.h

Update copyright headers. (#9736)

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

test_env.h

Update copyright headers. (#9736)

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

test_node.h

Update copyright headers. (#9736)

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

test_parser.h

Adding API checks, unit tests, and examples for the parser API (#10048)

2023-10-02 15:51:32 +00:00

test_smt.h

Track inference ids to theory engine (#10062)

2023-10-30 15:19:55 +00:00

test_with_smt_parser.h

Add setStringInput to the parser APIs (#10230)

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

test.h

Update copyright headers. (#9736)

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