Project

General

Profile

« Previous | Next » 

Revision 6cbbe1c1

Added by LĂ©lio Brun 8 months ago

start again with spec representation

View differences:

src/spec_types.ml
14 14
type predicate_t =
15 15
  (* | Memory_pack *)
16 16
  | Clocked_on of ident
17
  | Transition
17
  | Transition of ident * int option
18 18
  | Initialization
19 19

  
20 20
type 'a formula_t =

Also available in: Unified diff