Andrew Reynolds 42e503ba7d More preparation for strict type rules (#8733) ...

This is work towards making equalities and substitutions between terms of equal types.

2022-05-07 02:22:12 +00:00

..

boilerplate.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

CMakeLists.txt

Move tests around (#8670)

2022-04-28 18:30:46 +00:00

issue4889.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

issue5074.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

issue6111.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

ouroborous.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue306.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue334.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue344.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue345.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue377.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue388.cpp

Move tests around (#8670)

2022-04-28 18:30:46 +00:00

proj-issue395.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue399.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue421.cpp

Move tests around (#8670)

2022-04-28 18:30:46 +00:00

proj-issue445.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue455.cpp

Move tests around (#8670)

2022-04-28 18:30:46 +00:00

proj-issue484.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

reset_assertions.cpp

More preparation for strict type rules (#8733)

2022-05-07 02:22:12 +00:00

sep_log_api.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

smt2_compliance.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

two_solvers.cpp

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00