projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1364389) | patch
fix for hiding prompt/header in shell, error-behavior options as in SMTLIB
authorKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 6 Apr 2014 10:25:08 +0000 (06:25 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 6 Apr 2014 10:56:54 +0000 (06:56 -0400)
commitab83b7f8d4cc25580cf140d753e0bfe3c76cb36c
tree471742f4e54178327c9c3413c70927f288dae300tree
parent1364389f19e55984cc52589b3af42322c300e00fcommit | diff
fix for hiding prompt/header in shell, error-behavior options as in SMTLIB
src/main/driver_unified.cpp diff | blob | history
src/main/interactive_shell.cpp diff | blob | history
src/main/options diff | blob | history