Nikolaj Bjorner
|
93a4afe5d2
|
add multi-argument select for C#
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-03-17 11:36:29 -07:00 |
|
Nikolaj Bjorner
|
d953bdd2e4
|
add multi-argument select for C#
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-03-17 11:35:03 -07:00 |
|
Nikolaj Bjorner
|
834cf962a1
|
expose nth over API, change _getitem_ in python bindings to use nth instead of at, add 'at' operator for the purpose of the previous semantics
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2019-03-17 11:23:01 -07:00 |
|
Nikolaj Bjorner
|
3d37060fa9
|
remove dependencies on contracts
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-20 10:24:36 -07:00 |
|
Nikolaj Bjorner
|
520ce9a5ee
|
integrate lambda expressions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-06-26 07:23:04 -07:00 |
|
Christoph M. Wintersteiger
|
ee2c9095c6
|
.NET FPA API overhaul
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2015-01-08 17:21:29 +00:00 |
|
Christoph M. Wintersteiger
|
7defd469bb
|
Managed API: Refactoring and formatting.
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
|
2012-11-23 18:30:51 +00:00 |
|