package nuscr
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=fbd17793416c225702a93f52e200e48faa37721cab4d16c3d997500407c6fede
sha512=da005593f3ae30c2566121452535c2405508f197f26962ac25d402e40245b3c8344d5a654cd3e3069f85458b232a845bc4a0371bacc59741dfb067e88cd3d6d0
CHANGES.md.html
2.0.0 (2021-09-03)
Added
A new pragma system for extensions:
(*# PRAGMA #*)
at the beginning of the input file can enable theory extensions.Nested Protocol extension, via
NestedProtocols
pragma (by Benito Echarren Serrano)Refinement Type extension, via
RefinementTypes
pragma (by Fangyi Zhou)
Changed
New, improved command line interface with cmdliner
Reorganise code layout
Recursions immediately after a choice is permitted under some circumstances
Fixed
Non-distinct choice prefixes now raise an error
Degenerate recursions in protocols will be removed
Catch an uncaught exception when user enters a non-existent protocol from CLI
Merging [end] and [\mu t.t] after projection is now possible
1.1.0 (2020-01-10)
Added
Export code generation APIs in Lib
Changed
Modernised Web Interface
Change signature of
generate_fsm
in LibAnnotate signature of
project_role
,generate_fsm
with namesUpdate ppxlib dependency version
Remove js_of_ocaml dependencies
Deprecated
Fixed
Fix usage in executable
Fix non-monadic code generation
Removed
Security
1.0.0 (2019-12-04)
Initial Release