more implementation of scanalysis...
[model-checker.git] / common.cc
2013-04-04 Brian Norriscommon: improve redirect_output() error handling
2013-04-04 Brian Norriscommon: make model_print() use OS file descriptor,...
2013-01-03 Brian Norrisfixup style
2012-12-11 Brian Norriscommon: bugfix - always display backtrace output
2012-11-20 Brian Norrisoutput: don't redirect any output for DEBUG builds
2012-11-17 Brian Norriscommon: update comment
2012-11-17 Brian Norrisoutput redirection
2012-11-16 Brian Norrisprintf -> model_print
2012-11-16 Brian Norrismodel: rework assert_bug() and assert_user_bug() interfaces
2012-11-16 Brian Norrisassert bugs through common interface
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-14 Brian Norriscommon: early quit on MODEL_ASSERT()
2012-11-14 Brian Norrismodel-assert: add MODEL_ASSERT() for user programs
2012-11-04 Brian NorrisMerge branch 'master' into pldi13
2012-11-04 Brian Norriscommon: early quit on MODEL_ASSERT()
2012-11-03 Brian Norrismodel-assert: add MODEL_ASSERT() for user programs
2012-10-08 Brian Demskymerge massive speedup with release sequence support...
2012-10-08 Brian NorrisMerge branch 'norris'
2012-10-07 Brian Norriscommon: improve backtrace function
2012-10-02 Brian DemskyTwo change:
2012-09-19 Brian Demskyfix
2012-09-19 Brian Demskymerge in master
2012-09-18 Brian NorrisMerge branch 'norris'
2012-09-18 Brian Norriscommon: print tracing info for ASSERT() failures
2012-09-13 Brian Norriscommon: add print_trace() for backtracing