Commit 9ea0739c authored by Dario Pinto's avatar Dario Pinto
Browse files

Merge branch 'master' into 'master'

new article

See merge request OCamlPro/www!61
parents db70f6fb 9e81eabc
......@@ -261,5 +261,5 @@ The call should also succeed. When we examine the contract, we can now see that
We have seen how to compile, deploy, call and examine Liquidity contracts on the Tezos alphanet using our online editor. Experiment with your own contracts and let us know how that works for you!
- Slides in [English](/wp-content/uploads/2018/02/liquidity_slides.en_.pdf)
- and [French](/wp-content/uploads/2018/02/liquidity_slides.pdf)
- Slides in [English](
- and [French](
title=New updates on TzScan
authors=Çagdas Bozman
> Update - []( can now work on top of the zeronet ([](, 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
(, its Tezos block explorer to ease the use of the
Tezos network.
In addition to some minor bugfixes, the main novelties are:
- [Health]( of the network with stats about the blocks, endorsements, bakers, etc.
- Display of future[ baker’s rights]( in the current cycle
- For each account, a more [detailed balance]( including the bonds, rewards, fees, etc. for the current cycle and its future basking positions
- A new feature to [inject signed]( 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
title=Release of Alt-Ergo 2.1.0
authors=Mohamed Iguernlala
category=Formal Methods
A new release of Alt-Ergo (version 2.1.0) is available on Alt-Ergo's website: []( 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](
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")
; ( ""
, "/" )
; ("", "/")
; ("", "/")
; ( ""
, "/" )
; ("", "/")
......@@ -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