mirror/erigon-pulse
1
0
Fork 0
mirror of https://gitlab.com/pulsechaincom/erigon-pulse.git synced 2025-01-05 18:42:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9d85e7f2b0
erigon-pulse/cmd/semantics/main.go

10 lines
84 B
Go
Raw Normal View History

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
package main
import (
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 18:47:45 +00:00
"fmt"
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
)
func main() {
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 18:47:45 +00:00
fmt.Printf("Hello, semantics!\n")
}
Reference in New Issue Copy Permalink