Commit 075a89da authored by Dario Pinto's avatar Dario Pinto
Browse files

2 new articles update urls.ml

parent db70f6fb
title=New updates on TzScan
authors=Çagdas Bozman
date=2018-03-14
category=Blockchains
tags=tzscan,block,explorer
> Update - [TZScan.io](https://tzscan.io/) can now work on top of the zeronet ([zeronet.tzscan.io](https://zeronet.tzscan.io/)), we hope it can help the developers community monitor the network. You can now switch between the alphanet & zeronet networks!
OCamlPro is pleased to announce an update of TzScan
(https://tzscan.io), its Tezos block explorer to ease the use of the
Tezos network.
In addition to some minor bugfixes, the main novelties are:
- [Health](https://tzscan.io/health) of the network with stats about the blocks, endorsements, bakers, etc.
- Display of future[ baker’s rights](https://tzscan.io/baking-rights) in the current cycle
- For each account, a more [detailed balance](https://tzscan.io/tz1UsgSSdRwwhYrqq7iVp2jMbYvNsGbWTozp) including the bonds, rewards, fees, etc. for the current cycle and its future basking positions
- A new feature to [inject signed](http://tzscan.io/inject-signed-operation) operations in the network
- In the detailed block’s view, all blocks are displayed at the same level in alternative chains
- UI improvements on desktop, tablet and mobile
We are still working hard trying to improve and add new features to
TzScan. Further enhancements and optimizations are to come. Enjoy and
play with our explorer.
If you have suggestions or bugs, please send us reports at contact@tzscan.io
title=Release of Alt-Ergo 2.1.0
authors=Mohamed Iguernlala
date=2018-03-14
category=Formal Methods
tags=alt-ergo
A new release of Alt-Ergo (version 2.1.0) is available on Alt-Ergo's website: [https://alt-ergo.ocamlpro.com/#releases](https://alt-ergo.ocamlpro.com/#releases). An OPAM package for it will be published soon.
In this release, we mainly improved the CDCL-based SAT solver to get performances similar to/better than the old Tableaux-like SAT. The CDCL solver is now the default Boolean reasoner. The full list of CHANGES is available [here](https://github.com/OCamlPro/alt-ergo/blob/2.1.0/sources/CHANGES).
Despite our various tests, you may still encounter some issues with this new solver. Please, don't hesitate to report bugs, ask questions, and give your feedback!
......@@ -8,8 +8,6 @@ let old_to_new =
; ("/fr/recrutement-ocamlpro/", "/jobs")
; ( "https://www.ocamlpro.com/pre-inscription-a-une-session-de-formation-inter-entreprises/"
, "/" )
; ("https://www.ocamlpro.com/2018/03/14/new-updates-on-tzscan/", "/")
; ("https://www.ocamlpro.com/2018/03/14/release-of-alt-ergo-2-1-0/", "/")
; ( "https://www.ocamlpro.com/2018/04/13/taskforce-on-the-tezos-protocol-and-tzscan-evolution/"
, "/" )
; ("https://www.ocamlpro.com/2018/04/23/release-of-alt-ergo-2-2-0/", "/")
......@@ -186,6 +184,10 @@ let old_to_new =
; ( "/2018/02/08/ocamlpros-liquidity-lang-demo-at-jfla2018-a-smart-contract-design-language/"
, "/blog/2018_02_08_liquidity_smart_contract_deploy_live_demo_on_tezos_alphanet_jfla2018"
)
; ( "/2018/03/14/new-updates-on-tzscan/"
, "/blog/2018_03_14_new_updates_on_tzscan" )
; ( "/2018/03/14/release-of-alt-ergo-2-1-0/"
, "/blog/2018_03_14_release_of_alt_ergo_2_1_0" )
; ("/2018/04/01/ocaml-jtrt/", "/blog/2018_04_01_ocaml_jtrt")
; ( "/2018/05/22/opam-2-0-0-release-candidate-2-is-out/"
, "/blog/2018_05_22_opam_2.0.0_release_candidate_2_is_out" )
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment