mirror/erigon-pulse
1
0
Fork 0
mirror of https://gitlab.com/pulsechaincom/erigon-pulse.git synced 2024-12-25 21:17:16 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
12,741 Commits 5 Branches 14 Tags 294 MiB
1240e7bcac
Commit Graph

2 Commits

Author SHA1 Message Date
Giulio rebuffo
56700620b2
Tx retrace extension for Rest API (#436) 
* added extension

* added api

* lint

* more lint

* better response

* added README.md

* README Fixed

* README updated

* fixed lint
 2020-04-10 19:47:45 +01:00
ledgerwatch
f210116e65
Semantics: Integrate Z3 into the build (#370) 
* Just files

* Fix lint

* First attempt at linking

* More semantics

* Add more arguments

* Added z3 dependency

* Added integration with z3

* Try to fix build

* Add m library

* Try to fix ints

* Separate init/destroy, create sorts
 2020-03-06 08:54:21 +00:00