2022-07-03 | Jannis Harder | Merge pull request #170 from programmerjake/add-simchec... | commit | commitdiff |
2022-06-29 | Jannis Harder | Merge pull request #158 from jix/autotune | commit | commitdiff |
2022-06-27 | Jannis Harder | autotune: Initial documentation | commit | commitdiff |
2020-10-23 | Miodrag Milanovic | Extract installation procedure to separate file | commit | commitdiff |
2018-03-06 | Clifford Wolf | Add more documentation | commit | commitdiff |
2017-05-22 | Clifford Wolf | Add "Reactive Synthesis" as TBD to documentation | commit | commitdiff |
2017-03-01 | Clifford Wolf | Update docs | commit | commitdiff |
2017-02-26 | Clifford Wolf | Improve super_prove integration | commit | commitdiff |
2017-02-06 | Clifford Wolf | Update docs | commit | commitdiff |
2017-02-05 | Clifford Wolf | Add "cover" mode | commit | commitdiff |
2017-01-30 | Clifford Wolf | Add some docs for "prove" mode | commit | commitdiff |
2017-01-29 | Clifford Wolf | Improve documentation | commit | commitdiff |
2017-01-22 | Clifford Wolf | Initial import | commit | commitdiff |