Nikolaj Bjorner
|
fd1f4b9191
|
fix bugs reported by Anvesh
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-09-23 04:07:08 +03:00 |
|
Nikolaj Bjorner
|
76a269c85a
|
clean up parity computation
Signed-off-by: unknown <nbjorner@NIKOLAJ-ZEN.redmond.corp.microsoft.com>
|
2013-06-01 17:14:18 -07:00 |
|
Nikolaj Bjorner
|
c0895e5548
|
remove hassel table from unstable: does not compile under other plantforms
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-05-31 17:48:19 -07:00 |
|
Nikolaj Bjorner
|
ef2a9994a9
|
fix UTVPI model generation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-05-16 19:58:14 -07:00 |
|
Nikolaj Bjorner
|
69b7c3ede7
|
fixing parity bug in model generation for UTVPI
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-05-16 15:36:27 -07:00 |
|
Nikolaj Bjorner
|
5eed106ffe
|
fix parameters in utvpi and make Karr invariants use backward propagation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-05-12 17:02:25 -07:00 |
|
Nikolaj Bjorner
|
717f131942
|
fix warnings and errors from the mint64 build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-05-01 19:54:40 +01:00 |
|
Nikolaj Bjorner
|
7cb9e7381d
|
fix build errors on ubuntu and gcc
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-05-01 02:35:57 -07:00 |
|
Nikolaj Bjorner
|
21b0a4fcbb
|
testing utvpi
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-04-30 11:53:10 -07:00 |
|
Nikolaj Bjorner
|
9158fb17c1
|
add special procedures for UTVPI and horn arithmetic
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-04-28 12:47:55 -07:00 |
|