Skip to content

Commit 68a4ed0

Browse files
committed
reorganized vadl.sty [CI SKIP]
1 parent d3f13b2 commit 68a4ed0

File tree

1 file changed

+91
-90
lines changed

1 file changed

+91
-90
lines changed

etc/latex/doxygen.sty

Lines changed: 91 additions & 90 deletions
Original file line numberDiff line numberDiff line change
@@ -172,111 +172,112 @@
172172
, numberstyle=\tiny\color{gray}
173173
, alsoletter={-},
174174
, keywords=[1]
175-
{ instruction
176-
, set
175+
{ address
176+
, alias
177+
, application
177178
, architecture
178-
, instance
179-
, model-type
180-
, model
181-
, record
182-
, memory
183-
, using
184-
, format
185-
, extending
186-
, micro
187-
, processor
188-
, import
189-
, implements
190-
, encoding
179+
, argument
191180
, assembly
192-
, mnemonic
181+
, assert
182+
, as
183+
, binary
184+
, bit
185+
, builtin
186+
, cache
187+
, call
188+
, callee
189+
, caller
193190
, choice
191+
, compute
192+
, computeregex
193+
, constant
194+
, counter
194195
, decimal
195-
, bit
196-
, with
197-
, as
198-
, register
196+
, decoder
197+
, decode
198+
, description
199+
, directives
200+
, do
201+
, else
202+
, encoding
203+
, enumeration
204+
, exception
205+
, extending
206+
, fetch
199207
, file
208+
, fold
209+
, forall
210+
, format
211+
, forwarding
200212
, for
201-
, exception
202-
, raise
203-
, application
204-
, binary
205-
, interface
206-
, relocation
207-
, program
208-
, counter
209-
, group
210-
, return
211-
, address
212-
, stack
213-
, global
214213
, frame
215-
, pointer
216-
, return
217214
, function
218-
, argument
219-
, caller
220-
, callee
221-
, saved
222-
, system
223-
, nop
224-
, call
225-
, sequence
226-
, repeat
227-
, value
228-
, names
229-
, let
230-
, in
215+
, global
216+
, grammar
217+
, group
231218
, if
232-
, then
233-
, else
234-
, match
235-
, alias
236-
, pseudo
237219
, immediate
238-
, constant
239-
, enumeration
240-
, operator
241-
, builtin
242-
, description
243-
, directives
244-
, modifier
245-
, syntax
246-
, grammar
247-
, cache
248-
, read
249-
, process
250-
, modifiers
251-
, unit
252-
, translation
253-
, prediction
254-
, fetch
255-
, decode
256-
, decoder
257-
, startup
258-
, stage
259-
, source
260-
, patch
261-
, signal
220+
, implements
221+
, import
262222
, input
263-
, output
264-
, forall
265-
, do
266-
, tensor
267-
, fold
268-
, with
223+
, instance
224+
, instruction
225+
, interface
226+
, in
227+
, let
269228
, logic
270-
, forwarding
271-
, operation
229+
, match
230+
, memory
231+
, micro
232+
, mnemonic
233+
, model-type
234+
, model
235+
, modifiers
236+
, modifier
237+
, names
238+
, nop
272239
, operands
273-
, compute
274-
, computeregex
240+
, operation
241+
, operator
242+
, output
243+
, patch
244+
, pipeline
245+
, pointer
246+
, prediction
247+
, processor
248+
, process
249+
, program
250+
, pseudo
251+
, raise
252+
, read
253+
, readOrForward
254+
, record
255+
, register
256+
, relocation
257+
, repeat
275258
, results
259+
, return
260+
, saved
261+
, sequence
262+
, set
263+
, signal
264+
, source
265+
, stack
266+
, stage
267+
, startup
268+
, start
269+
, stop
270+
, syntax
271+
, system
272+
, tensor
273+
, then
274+
, translation
275+
, unit
276+
, using
277+
, value
276278
, verify
277-
, readOrForward
278-
, pipeline
279-
, assert
279+
, with
280+
, with
280281
}
281282
, keywordstyle=[1]\color{blue}\bfseries
282283
, keywords=[2]{Ex, Lit, Val, Int, Bin, Str, CallEx, SymEx, Id, BinOp, UnOp, Stat, Stats, Defs, IsaDefs, Encs}

0 commit comments

Comments
 (0)