Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Complx: Improve pretty-printing after simplification
  2. Complx: Improve VCG for nested parallels and sequential sections
  3. Complx: Implement non-deterministic assign using Spec
  4. Complx: Improve performance by using PARALLEL_ALLGOALS
Changeset 7570:f030821c10a7 by corey lewis _corey.lewis@nicta.com.au_:
Complx: Improve pretty-printing after simplification
The file was modified metadata/metadata (diff)
The file was modified thys/Complx/OG_Syntax.thy (diff)
Changeset 7569:30739dbc3dcb by corey lewis _corey.lewis@nicta.com.au_:
Complx: Improve VCG for nested parallels and sequential sections
The file was modified thys/Complx/OG_Tactics.thy (diff)
Changeset 7568:54dc08baf538 by corey lewis _corey.lewis@nicta.com.au_:
Complx: Implement non-deterministic assign using Spec
The file was modified thys/Complx/OG_Soundness.thy (diff)
The file was modified thys/Complx/OG_Syntax.thy (diff)
Changeset 7567:f9bd774a5df9 by corey lewis _corey.lewis@nicta.com.au_:
Complx: Improve performance by using PARALLEL_ALLGOALS
The file was modified thys/Complx/ex/SumArr.thy (diff)