forked from runtimeverification/python-semantics
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpython.k
More file actions
57 lines (56 loc) · 2.03 KB
/
Copy pathpython.k
File metadata and controls
57 lines (56 loc) · 2.03 KB
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
require "python-semantics-arithmetic-ops.k"
require "python-semantics-assignment.k"
require "python-semantics-attribute-ref.k"
require "python-semantics-augmented-assignment.k"
require "python-semantics-builtin-functions.k"
require "python-semantics-bytes.k"
require "python-semantics-classes.k"
require "python-semantics-dicts.k"
require "python-semantics-dunder-builtin.k"
require "python-semantics-environment.k"
require "python-semantics-exceptions.k"
require "python-semantics-floats.k"
require "python-semantics-functions.k"
require "python-semantics-garbage-collection.k"
require "python-semantics-generator.k"
require "python-semantics-import.k"
require "python-semantics-integers.k"
require "python-semantics-io.k"
require "python-semantics-iterators.k"
require "python-semantics-lists.k"
require "python-semantics-macros.k"
require "python-semantics-methods.k"
require "python-semantics-objects.k"
require "python-semantics-sets.k"
require "python-semantics-statements.k"
require "python-semantics-strings.k"
require "python-semantics-tuples.k"
module PYTHON
imports PYTHON-SEMANTICS-ARITHMETIC-OPS
imports PYTHON-SEMANTICS-ASSIGNMENT
imports PYTHON-SEMANTICS-ATTRIBUTE-REF
imports PYTHON-SEMANTICS-AUGMENTED-ASSIGNMENT
imports PYTHON-SEMANTICS-BUILTIN-FUNCTIONS
imports PYTHON-SEMANTICS-BYTES
imports PYTHON-SEMANTICS-CLASSES
imports PYTHON-SEMANTICS-DICTS
imports PYTHON-SEMANTICS-DUNDER-BUILTIN
imports PYTHON-SEMANTICS-ENVIRONMENT
imports PYTHON-SEMANTICS-EXCEPTIONS
imports PYTHON-SEMANTICS-FLOATS
imports PYTHON-SEMANTICS-FUNCTIONS
imports PYTHON-SEMANTICS-GARBAGE-COLLECTION
imports PYTHON-SEMANTICS-GENERATOR
imports PYTHON-SEMANTICS-IMPORT
imports PYTHON-SEMANTICS-INTEGERS
imports PYTHON-SEMANTICS-IO
imports PYTHON-SEMANTICS-ITERATORS
imports PYTHON-SEMANTICS-LISTS
imports PYTHON-SEMANTICS-MACROS
imports PYTHON-SEMANTICS-METHODS
imports PYTHON-SEMANTICS-OBJECTS
imports PYTHON-SEMANTICS-SETS
imports PYTHON-SEMANTICS-STATEMENTS
imports PYTHON-SEMANTICS-STRINGS
imports PYTHON-SEMANTICS-TUPLES
endmodule