mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-12-26 05:56:37 +00:00
Code Activity
z3/src/cmd_context
History
Nikolaj Bjorner ff480d1183 fix #5238
2021-05-02 16:09:01 -07:00
..
extra_cmds call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
basic_cmds.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
basic_cmds.h
CMakeLists.txt
cmd_context.cpp fix #5238 2021-05-02 16:09:01 -07:00
cmd_context.h
cmd_context_to_goal.cpp
cmd_context_to_goal.h
cmd_util.cpp
cmd_util.h
echo_tactic.cpp
echo_tactic.h
eval_cmd.cpp
eval_cmd.h
parametric_cmd.cpp
parametric_cmd.h
pdecl.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
pdecl.h call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
README
simplify_cmd.cpp
simplify_cmd.h
tactic_cmds.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
tactic_cmds.h
tactic_manager.cpp
tactic_manager.h

README 

Command context provides the infrastructure for executing commands in front-ends such as SMT-LIB 2.0.
It is also provides the solver abstraction to plugin solvers in this kind of front-end.