Merge incomplete recursion code#125

Open

sarbojit4 wants to merge 9 commits intodiffblue:masterfrom

sarbojit4:master

Commits on Sep 13, 2018

modified: src/2ls/2ls_parse_options.cpp
Sarbojit Das
committed

Commits on Sep 14, 2018

modified: src/2ls/summary_checker_base.cpp
Sarbojit Das
committed

Commits on Sep 18, 2018

modified: src/2ls/2ls_parse_options.cpp
Sarbojit Das
committed
Merge branch 'master' of https://github.com/sarbojit4/2ls
Sarbojit Das
committed

Commits on Nov 21, 2018

modified: src/2ls/summary_checker_rect.cpp
Sarbojit Das
committed
modified: src/domains/ssa_analyzer.cpp
Sarbojit Das
committed

Commits on Nov 24, 2018

modified: src/2ls/summary_checker_rect.cpp
Sarbojit Das
committed

Commits on Nov 28, 2018

modified: src/2ls/summary_checker_rect.cpp
Sarbojit Das
committed
Merge branch 'master' of https://github.com/sarbojit4/2ls
Sarbojit Das
committed