mirrors/z3 - Libre-Chip.org

mirrors/z3

mirror of https://github.com/Z3Prover/z3 synced 2025-04-17 14:25:35 +00:00

Author	SHA1	Message	Date
Nikolaj Bjorner	6f65051f2c	silence some build warnings Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 17:11:34 -07:00
Nikolaj Bjorner	8cb59fe8a6	na Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 17:06:06 -07:00
Nikolaj Bjorner	426e4cc75c	fix #3557 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 16:37:59 -07:00
Nikolaj Bjorner	0b856638e9	fix #3721 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 15:31:44 -07:00
Nikolaj Bjorner	3bd340af44	fix #3705 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 15:08:35 -07:00
Nikolaj Bjorner	759fb03daf	fix #3695 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 14:39:56 -07:00
Nikolaj Bjorner	918b6a8c03	trace & threads = undef Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 13:58:22 -07:00
Nikolaj Bjorner	a839017cc6	fix #3709 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 13:53:09 -07:00
Nikolaj Bjorner	b642686dca	fix #3678 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 13:28:37 -07:00
Shaoyuan CHEN	a119953676	z3py: fix And/Or context deduction (#3687 )	2020-04-03 13:13:51 -07:00
Lev Nachmanson	9d58fccd41	fix in random_update() Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-03 12:43:20 -07:00
Lev Nachmanson	7890555455	fix in random_update() Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-03 12:37:57 -07:00
Nikolaj Bjorner	c25975a429	fix #3703 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 12:35:20 -07:00
Nikolaj Bjorner	bbc63cd5b5	fix #3714 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 12:28:05 -07:00
Nikolaj Bjorner	f92c6ad170	fix #3708 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 12:23:54 -07:00
Nikolaj Bjorner	cd2f6705aa	fix #3715 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 12:05:48 -07:00
Nikolaj Bjorner	8e033c1e71	fix #3716 fix #3719 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 12:05:48 -07:00
Lev Nachmanson	7fe46de266	trace random update Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-03 12:00:19 -07:00
Nikolaj Bjorner	fd2eab85f1	fix #3717 , non-linear requires reflection Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 10:55:48 -07:00
Nikolaj Bjorner	9092cdc3a5	remove stdout Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 10:42:17 -07:00
Nikolaj Bjorner	50624723af	fix #3704 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-03 10:38:31 -07:00
Nikolaj Bjorner	c431a100b7	fix #3707 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 21:31:01 -07:00
Nikolaj Bjorner	64a0e62648	fix #3699 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 21:17:01 -07:00
Nikolaj Bjorner	be3a9b227c	fix #3699 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 20:35:15 -07:00
Nikolaj Bjorner	26192e848c	fix #3675 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 17:41:06 -07:00
Lev Nachmanson	afce09efe4	assert that the sdi is infinite by default Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-02 15:58:46 -07:00
Lev Nachmanson	b45311cc7c	use only scoped intervals Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-02 15:58:46 -07:00
Lev Nachmanson	cf3f06ee26	use scoped interval Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-02 15:58:46 -07:00
Nikolaj Bjorner	896a1b2048	fix #3679 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 15:04:56 -07:00
Nikolaj Bjorner	f98b94bdbc	fix #3680 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 15:04:56 -07:00
Nikolaj Bjorner	bab879c832	fix #3685 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 15:04:56 -07:00
Lev Nachmanson	55329ea935	more fixes in patching of monomials Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-02 14:47:06 -07:00
Nikolaj Bjorner	2d01c64d2c	fix #3682 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 12:30:25 -07:00
Nikolaj Bjorner	700ad1f2b9	fix #3689 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 11:33:22 -07:00
Nikolaj Bjorner	a7aff1bcf0	fix regression on string ops Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 10:03:35 -07:00
Nikolaj Bjorner	3eefd18c58	fix #3688 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 09:59:16 -07:00
Nikolaj Bjorner	8290cfadcc	fix #3694 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 08:05:43 -07:00
Nikolaj Bjorner	57d430b3fd	fix #3700 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 06:38:14 -07:00
Nikolaj Bjorner	78ebe0a94c	fix #3701 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-02 06:22:32 -07:00
Nikolaj Bjorner	b686bb61fe	fix #3673 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-01 18:18:44 -07:00
Nikolaj Bjorner	2ac8d3461e	fix #3670 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-01 15:35:53 -07:00
Nikolaj Bjorner	4c69f9e31b	invalid model regression Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-01 15:27:06 -07:00
Nikolaj Bjorner	f0a6837c67	invalid model regression Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-01 15:17:09 -07:00
Nikolaj Bjorner	ea08fcf65c	invalid model regression Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-01 15:15:48 -07:00
Lev Nachmanson	0dc5bad6e4	fix in patching of monics Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-01 12:58:34 -07:00
Lev Nachmanson	5e2927aa96	Merge branch 'master' of https://github.com/z3prover/z3	2020-04-01 12:31:49 -07:00
Lev Nachmanson	ec1f449d34	avoid patching vars in powers Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2020-04-01 12:31:32 -07:00
Nikolaj Bjorner	be1109e80f	turn on model evaluation for as-array, #2420 #3646 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-01 12:25:12 -07:00
Nikolaj Bjorner	4f22e8c698	fix #3663 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-01 11:57:07 -07:00
Nikolaj Bjorner	06a64669a2	heap issue of #3655 ? Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2020-04-01 11:52:32 -07:00

1 2 3 4 5 ...

13334 commits