Issues

• Introduce get_replica_id() function when implemented in the IDE

  CLEARSY/CSSP-Programming-Handbook#16 · Filter by author TProver opened on Mar 9, 2020

• Reorganize the book in 2 main parts: SK0 and SC0

  CLEARSY/CSSP-Programming-Handbook#15 · Filter by author TProver opened on Mar 6, 2020

• Add a chapter "CSSP at the limits"

  CLEARSY/CSSP-Programming-Handbook#14 · Filter by author TProver opened on Mar 5, 2020

• Introduce automatic refinement for producing B0 code

  CLEARSY/CSSP-Programming-Handbook#13 · Filter by author TProver opened on Mar 4, 2020

• Add an example

  CLEARSY/CSSP-Programming-Handbook#11 · Filter by author TProver opened on Mar 2, 2020

• Update release date April 2020

  CLEARSY/CSSP-Programming-Handbook#10 · Filter by author TProver opened on Mar 2, 2020
  1

• Add a chapter on the internal of code generation

  CLEARSY/CSSP-Programming-Handbook#7 · Filter by author TProver opened on Feb 20, 2020

• Add a chapter on interactive proof

  CLEARSY/CSSP-Programming-Handbook#6 · Filter by author TProver opened on Feb 20, 2020

• Add a chapter on B modelling

  CLEARSY/CSSP-Programming-Handbook#5 · Filter by author TProver opened on Feb 20, 2020