mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 20:38:43 +00:00
Code Activity
10400 commits 23 branches 48 tags 157 MiB
Commit graph

5 commits

Author SHA1 Message Date
Yatao Li 43ee345f01 dotnet deps hack for test 2019-01-15 03:06:36 +09:00
Yatao Li 209ebecb86 cmake: dotnet: example: dotnet.csproj is NETCOREAPP 2019-01-14 00:51:44 +08:00
Yatao Li f0f9a16f85 cmake: dotnet: example: program -> Program 2019-01-14 00:22:51 +08:00
Yatao Li 08adc1bf97 ... 2019-01-13 23:15:40 +08:00
Yatao Li 8ebde41f35 dotnet: example: copy to binary dir before build 2019-01-13 22:45:05 +08:00