3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-14 23:05:26 +00:00
Commit graph

9 commits

Author SHA1 Message Date
Leonardo de Moura
9a523defa2 Add pp (debugging function) for params_ref
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-12-28 09:13:18 -08:00
Leonardo de Moura
7f210d55be fixed warnings on Win64
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-12-10 07:52:33 -08:00
Leonardo de Moura
840d0aef6d fixed bug in generated code
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-12-09 18:59:32 -08:00
Leonardo de Moura
6d7d205e13 fixed more problems in the new param framework
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-12-03 15:02:34 -08:00
Leonardo de Moura
91096b638a better help
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-12-02 17:18:25 -08:00
Leonardo de Moura
589f096e6e working on new parameter framework
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-12-01 15:54:34 -08:00
Leonardo de Moura
9246a7a673 checkpoint
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-11-30 13:14:42 -08:00
Leonardo de Moura
cf28cbab0a saved params work
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-11-29 17:19:12 -08:00
Leonardo de Moura
8a6997960a Reorganizing code. Added script for generating VS project files
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-10-20 15:16:37 -07:00
Renamed from lib/params.cpp (Browse further)