nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e99333) | patch
nitsaf: add flow merge on `if..else` blocks
authorAlexandre Terrasa <alexandre@moz-code.org>
Sat, 17 Oct 2015 02:40:22 +0000 (22:40 -0400)
committerAlexandre Terrasa <alexandre@moz-code.org>
Sat, 19 Dec 2015 08:40:58 +0000 (03:40 -0500)
commit35ec1c46be1cf2c839c36a614f2af3b34352e5c0
tree5aba667a76e73b90d8e129ea2d8a7f00339961cetree | snapshot
parent9e9933394684f4273cdd737d77420a620e36d232commit | diff
nitsaf: add flow merge on `if..else` blocks

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/saf/saf_base.nit diff | blob | history
tests/nitsaf.args diff | blob | history
tests/sav/nitsaf_args3.res [new file with mode: 0644] blob
tests/sav/nitsaf_args4.res [new file with mode: 0644] blob
tests/sav/nitsaf_args5.res [new file with mode: 0644] blob
tests/test_saf/flow_if1.nit [new file with mode: 0644] blob
tests/test_saf/flow_if2.nit [new file with mode: 0644] blob
tests/test_saf/flow_if3.nit [new file with mode: 0644] blob
Nit language project; an oo programing language and its tool suite.