-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex.jade
190 lines (190 loc) · 6.84 KB
/
index.jade
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
doctype html
html
head
block head
meta(charset='utf-8')
title
block title
| WKTool - WCCS Model Checker
link(rel='stylesheet', href='http://fonts.googleapis.com/css?family=Open+Sans')
for source in style
link(rel='stylesheet', href="#{source}")
for source in scripts
script(src="#{source}")
body
div#main.container-fluid
//- Menu bar
div.navbar
div.navbar-inner
a.brand WKTool
ul.nav
li.divider-vertical
li
input#project-name.input-xlarge(type='text',placeholder='Project name...')
ul.nav.pull-right
li.divider-vertical
li
a#save-menu Save
li.dropdown
a.dropdown-toggle(data-toggle="dropdown",data-target='#')
| Load
b.caret
ul#load-menu.dropdown-menu
li#examples-menu.dropdown-submenu
a Load example
ul#examples.dropdown-menu
for example in args.examples
li
a #{example}
li.dropdown
a#delete-menu.disabled.dropdown-toggle(data-toggle="dropdown",data-target='#')
| Delete
b.caret
ul#delete-menu-items.dropdown-menu
li
a#download-file(target='_blank') Export
li
a#visualize Visualize
li
a#show-help Help
//- Splitter
div#splitter
//- Editor
div#editor.ui-layout-center
div#editor-options
div.btn-group
div#editor-message.btn.btn-mini.btn-warning.disabled
span.label.label-warning Error:
span.message(style='padding-left:10px')
div#model-lang.btn-group
div.btn.btn-mini.disabled WCCS
div.btn.btn-mini WKS
div#verifier.ui-layout-south
// Property List
div#property-list
div(style="margin-right: 10px;")
table.table#properties
colgroup
col(width='10%')
col(width='10%')
col(width='70%')
col(width='15%')
col(width='2%')
thead
tr
th Status
th State
th Formula
th Time
tbody
button.btn#add-property
i.icon-plus
| Add Property
//- Property Editor
div#edit-property
div#edit-form.form-horizontal
div.control-group
label.control-label Initial state
div.controls
select#edit-prop-init-state.input-block-level
div.control-group
label.control-label Formula
div.controls
div#edit-prop-formula.input-block-level
div#property-error.alert.alert-error
button.close#property-error-close ×
strong#property-error-name
span#property-error-message
div.control-group
label.control-label Encoding
div.controls
div#edit-prop-encoding.btn-group
div.btn(style='width: 8ex',data-encoding='MinMax') Min-Max
div.btn.disabled(style='width: 7ex',data-encoding='Symbolic') Symbolic
div.btn(style='width: 6ex',data-encoding='Naive') Direct
label#stats-check-label
input(type='checkbox')#stats-check
| Enable runtime statistics
div.control-group
label.control-label Engine
div.controls
div#edit-prop-engine.btn-group
div.btn.disabled(style='width: 7ex',data-engine='Local') Local
div.btn(style='width: 6ex',data-engine='Global') Global
select#search-strategy(style='margin-left:20px')
div.form-actions
div#edit-prop-run.btn.btn-success
i.icon-flag.icon-white
| Verify
div#stats-view.form-horizontal
div(style="margin-left: 30px; margin-right: 20px;")
h3 Verification in progress...
table.table.table-condensed
colgroup
col(width='30%')
col(width='70%')
tbody
div.form-actions
div#kill-process.btn.btn-danger
i.icon-stop.icon-white
| Kill verification process
div#edit-prop.hidden.btn.btn-primary
i.icon-pencil.icon-white
| Edit Property
//- Message Box (managed by Panel.coffee)
div#message-box
//- Overwrite promt dialog (managed by Panel.coffee)
div#overwrite-warning.modal.hide.fade
div.modal-header
button.close(data-dismiss='modal') ×
h3 Project "
span.overwrite-name
| " Already Exists!
div.modal-body
p A project with the name "
span.overwrite-name
| " is already stored in localStorage of your browser.
br
b Do you wish to overwrite it?
div.modal-footer
button#overwrite-button.btn.btn-primary(data-dismiss='modal') Overwrite
button.btn(data-dismiss='modal') Cancel
//- Delete from localStorage prompt dialog
div#delete-warning.modal.hide.fade
div.modal-header
button.close(data-dismiss='modal') ×
h3 Delete "
span.delete-name
| " from LocalStorage?
div.modal-body
p Are you sure yo want to delete "
span.delete-name
| " from LocalStorage in your browser?
div.modal-footer
button#delete-button.btn.btn-primary(data-dismiss='modal') Delete
button.btn(data-dismiss='modal') Cancel
//- Load scalable model
div#scalable-model-dialog.modal.hide.fade
div.modal-header
button.close(data-dismiss='modal') ×
h3 Load "
span.scalable-model-name
| "
div.modal-body
p.scalable-model-parameter
div.input-prepend
span.add-on Enter number:
input#model-scale(type='text')
div.modal-footer
button#load-scalable-model-button.btn.btn-primary(data-dismiss='modal') Load
button.btn(data-dismiss='modal') Cancel
//- Visualization layer
div#visualization-layer
div#frame-wrapper
iframe
//- Help layer
div#help-layer
div#help-frame-wrapper
iframe
//- File browser (for opening from file)
input#file-browser(type='file',style='display: none;')