| Zilin Chen | 4e62e6c | 2016-05-02 10:01:36 +1000 | [diff] [blame] | 1 | [submodule "isabelle"] |
| 2 | path = isabelle | ||||
| 3 | url = https://github.com/seL4/isabelle.git | ||||
| Zilin Chen | f09740c | 2019-11-12 15:06:48 +1100 | [diff] [blame] | 4 | ignore = untracked |
| Zilin Chen | ffc55f3 | 2018-04-20 14:44:21 +1000 | [diff] [blame] | 5 | [submodule "z3"] |
| 6 | path = z3 | ||||
| Zilin Chen | f45c439 | 2018-04-23 15:52:00 +1000 | [diff] [blame] | 7 | url = https://github.com/Z3Prover/z3.git |