mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

ML API refactoring (z3native.c -> z3native_stubs.c)

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2014-04-16 13:06:29 +01:00
parent 4687aa208d
commit ec0b12ecd1
1 changed files with 5 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
.gitignore vendored
View file

@ -1,5 +1,8 @@
*~ *~
*.pyc *.pyc
*.pyo
# Ignore callgrind files
callgrind.out.*
# .hpp files are automatically generated # .hpp files are automatically generated
*.hpp *.hpp
.z3-trace .z3-trace
@ -42,7 +45,6 @@ bld_rel_x64/*
# Auto generated files. # Auto generated files.
config.log config.log
config.status config.status
configure
install_tactic.cpp install_tactic.cpp
mem_initializer.cpp mem_initializer.cpp
gparams_register_modules.cpp gparams_register_modules.cpp
@ -54,6 +56,8 @@ src/api/api_log_macros.cpp
src/api/dll/api_dll.def src/api/dll/api_dll.def
src/api/dotnet/Enumerations.cs src/api/dotnet/Enumerations.cs
src/api/dotnet/Native.cs src/api/dotnet/Native.cs
src/api/dotnet/Properties/AssemblyInfo.cs
src/api/dotnet/Microsoft.Z3.xml
src/api/python/z3consts.py src/api/python/z3consts.py
src/api/python/z3core.py src/api/python/z3core.py
src/ast/pattern/database.h src/ast/pattern/database.h
@ -61,21 +65,7 @@ src/util/version.h
src/api/java/Native.cpp src/api/java/Native.cpp
src/api/java/Native.java src/api/java/Native.java
src/api/java/enumerations/*.java src/api/java/enumerations/*.java
*.bak
doc/api
doc/code
src/api/ml/z3_native.c
src/api/ml/z3_native.ml
src/api/ml/native.c
src/api/ml/z3.ml
src/api/ml/enumerations.ml
src/api/ml/z3native.c
src/api/ml/z3native_stubs.c src/api/ml/z3native_stubs.c
src/api/ml/z3native.ml src/api/ml/z3native.ml
src/api/ml/z3enums.ml src/api/ml/z3enums.ml
src/api/ml/z3.mllib src/api/ml/z3.mllib
src/api/ml/z3_native.c
src/api/ml/z3_native.ml
src/api/ml/native.c
src/api/ml/z3.ml
src/api/ml/enumerations.ml