| Zilin Chen | c65c758 | 2016-05-02 09:53:14 +1000 | [diff] [blame] | 1 | [submodule "l4v"] |
| 2 | path = l4v | ||||
| 3 | url = https://github.com/seL4/l4v.git | ||||
| Zilin Chen | 4e62e6c | 2016-05-02 10:01:36 +1000 | [diff] [blame] | 4 | [submodule "isabelle"] |
| 5 | path = isabelle | ||||
| 6 | url = https://github.com/seL4/isabelle.git | ||||
| Zilin Chen | ffc55f3 | 2018-04-20 14:44:21 +1000 | [diff] [blame^] | 7 | [submodule "z3"] |
| 8 | path = z3 | ||||
| 9 | url = git@github.com:Z3Prover/z3.git | ||||