search

Alex23087 / Failure-SSIL-Analyser

GNU General Public License v3.0
1 stars 3 forks source link

Implement analysis of programs from their CFG representation. #35

Closed Yurand2000 closed 4 months ago

Yurand2000 commented 4 months ago

Issues #10, decomposed to issues: #20 #23 #24 #25 #26

Yurand2000 commented 4 months ago

The analysis branch now constains most of the updated code and will be later merged, after review, to the main branch