Skip to content

Commit e8bacbd

Browse files
rororowyourboatrororowyourboat
authored
Merge pull request #146 from BlockScience/dev
feat: gds-analysis package + audit fixes + examples
2 parents 90f2d84 + c49f39f commit e8bacbd

File tree

89 files changed

+958
-75
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

89 files changed

+958
-75
lines changed

‎.hypothesis/constants/021e69632fac0091‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/export.py
2+
# hypothesis_version: 6.151.9
3+
4+
['AdmissibilityDep', 'AtomicBlock', 'BlockIR', 'BoundaryAction', 'CanonicalGDS', 'ControlAction', 'Entity', 'Finding', 'GDSSpec', 'HierarchyNodeIR', 'InputIR', 'Interface', 'Mechanism', 'ParameterDef', 'Policy', 'Port', 'Space', 'SpaceField', 'SpecWiring', 'StateVariable', 'SystemIR', 'TransitionReadEntry', 'TransitionSignature', 'TypeDef', 'UpdateMapEntry', 'VerificationReport', 'Wire', 'WiringIR', 'admissibility', 'block', 'blockName', 'blockType', 'boundaryBlock', 'canonical', 'category', 'checkId', 'colorCode', 'compositionType', 'constrainsBoundary', 'constraint', 'controlBlock', 'depEntity', 'depVariable', 'dependsOnBlock', 'description', 'direction', 'entity', 'exitCondition', 'exportablePredicate', 'fieldName', 'fieldType', 'finding', 'formula', 'generic', 'hasBackwardIn', 'hasBackwardOut', 'hasBlock', 'hasBlockIR', 'hasChild', 'hasConstraint', 'hasDependency', 'hasEntity', 'hasField', 'hasFinding', 'hasForwardIn', 'hasForwardOut', 'hasHierarchy', 'hasInputIR', 'hasInterface', 'hasParameter', 'hasReadEntry', 'hasSpace', 'hasType', 'hasVariable', 'hasWire', 'hasWiring', 'hasWiringIR', 'hierarchy', 'input', 'inst', 'interface', 'isFeedback', 'isTemporal', 'kind', 'label', 'logic', 'lowerBound', 'mechanismBlock', 'message', 'name', 'option', 'paramType', 'parameter', 'passed', 'policyBlock', 'portName', 'preservesInvariant', 'pythonType', 'readEntity', 'readVariable', 'report', 'severity', 'signatureBackwardIn', 'signatureBackwardOut', 'signatureForwardIn', 'signatureForwardOut', 'signatureMechanism', 'source', 'sourceElement', 'sourceLabel', 'space', 'spec', 'state_var', 'symbol', 'system', 'systemName', 'target', 'transition_sig', 'type', 'typeToken', 'units', 'updatesEntity', 'updatesEntry', 'updatesVariable', 'upperBound', 'usesParameter', 'usesType', 'wireOptional', 'wireSource', 'wireSpace', 'wireTarget', 'wiring', 'wiringBlock', 'wiringType']

‎.hypothesis/constants/0a02c611be85e11a‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/spec.py
2+
# hypothesis_version: 6.151.9
3+
4+
[]

‎.hypothesis/constants/0d9a027faceff8d7‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/__init__.py
2+
# hypothesis_version: 6.151.9
3+
4+
['0.2.3', 'AgentID', 'AtomicBlock', 'Block', 'BlockIR', 'BoundaryAction', 'CanonicalGDS', 'CompositionType', 'ControlAction', 'EMPTY', 'Entity', 'FeedbackLoop', 'Finding', 'FlowDirection', 'GDSCompositionError', 'GDSError', 'GDSSpec', 'GDSTypeError', 'HasConstraints', 'HasOptions', 'HasParams', 'HierarchyNodeIR', 'IRDocument', 'IRMetadata', 'InputIR', 'Interface', 'Mechanism', 'NonNegativeFloat', 'ParallelComposition', 'ParameterDef', 'ParameterSchema', 'Policy', 'Port', 'PositiveInt', 'Probability', 'Severity', 'Space', 'SpecQuery', 'SpecWiring', 'StackComposition', 'StateMetric', 'StateVariable', 'StructuralWiring', 'SystemIR', 'TERMINAL', 'Tagged', 'TemporalLoop', 'Timestamp', 'TokenAmount', 'TransitionSignature', 'TypeDef', 'VerificationReport', 'Wire', 'Wiring', 'WiringIR', 'WiringOrigin', 'all_checks', 'check_completeness', 'check_determinism', 'check_reachability', 'check_type_safety', 'compile_system', 'entity', 'extract_hierarchy', 'extract_wirings', 'flatten_blocks', 'gds_check', 'get_custom_checks', 'interface', 'load_ir', 'port', 'project_canonical', 'sanitize_id', 'save_ir', 'space', 'spec_to_dict', 'spec_to_json', 'state_var', 'tokenize', 'tokens_overlap', 'tokens_subset', 'typedef', 'verify']

‎.hypothesis/constants/0f2d12dedcb06219‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/_namespace.py
2+
# hypothesis_version: 6.151.9
3+
4+
['gds', 'gds-core', 'gds-ir', 'gds-verif']

‎.hypothesis/constants/1560a51ac9c66efb‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/ir/serialization.py
2+
# hypothesis_version: 6.151.9
3+
4+
['0.2.1', '1.0']

‎.hypothesis/constants/19377a3a38683453‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/query.py
2+
# hypothesis_version: 6.151.9
3+
4+
['boundary', 'control', 'generic', 'kind', 'mechanism', 'policy']

‎.hypothesis/constants/1e5ba8804462cfbf‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/types/typedef.py
2+
# hypothesis_version: 6.151.9
3+
4+
[0.0, 1.0, 'A value in [0, 1]', 'AgentID', 'NonNegativeFloat', 'PositiveInt', 'Probability', 'Timestamp', 'TokenAmount', 'seconds', 'tokens']

‎.hypothesis/constants/2442a95b57e46661‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-framework/gds/compiler/__init__.py
2+
# hypothesis_version: 6.151.9
3+
4+
['StructuralWiring', 'WiringOrigin', 'compile_system', 'extract_hierarchy', 'extract_wirings', 'flatten_blocks']

‎.hypothesis/constants/2a846dbd39b70828‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/.venv/bin/pytest
2+
# hypothesis_version: 6.151.9
3+
4+
['-script.pyw', '.exe', '__main__']

‎.hypothesis/constants/2ca0f2b446657c76‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# file: /home/rohan/Documents/Github/blockscience/gds-core/packages/gds-owl/gds_owl/shacl.py
2+
# hypothesis_version: 6.151.9
3+
4+
['AtomicBlock', 'BlockIR', 'BlockIRShape', 'BoundaryAction', 'BoundaryActionShape', 'Entity', 'EntityShape', 'Finding', 'FindingShape', 'GDSSpec', 'GDSSpecShape', 'Mechanism', 'MechanismShape', 'ParameterDef', 'Policy', 'PolicyShape', 'SC005ParamRefShape', 'Space', 'SpaceShape', 'SystemIR', 'SystemIRShape', 'TransitionSignature', 'TypeDef', 'TypeDefShape', 'WiringIR', 'WiringIRShape', 'checkId', 'class', 'constrainsBoundary', 'gds-shape', 'hasInterface', 'name', 'passed', 'pythonType', 'severity', 'sh', 'signatureMechanism', 'source', 'target', 'updatesEntry', 'usesParameter', 'xsd']

0 commit comments

Comments
 (0)