Skip to content

Commit bb32e74

Browse files
fern-api[bot]fern-api[bot]
committed
Release 0.0.125
1 parent 189d3dd commit bb32e74

File tree

16 files changed

+72
-48
lines changed

16 files changed

+72
-48
lines changed

‎poetry.lock‎

Lines changed: 6 additions & 6 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ name = "axiomatic"
33

44
[tool.poetry]
55
name = "axiomatic"
6-
version = "0.0.124"
6+
version = "0.0.125"
77
description = ""
88
readme = "README.md"
99
authors = []

‎reference.md‎

Lines changed: 21 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1643,7 +1643,7 @@ client.fso.lens.generate(
16431643
</details>
16441644

16451645
## Lean Z3
1646-
<details><summary><code>client.lean.z_3.<a href="src/axiomatic/lean/z_3/client.py">execute</a>(...)</code></summary>
1646+
<details><summary><code>client.lean.z3.<a href="src/axiomatic/lean/z3/client.py">execute</a>(...)</code></summary>
16471647
<dl>
16481648
<dd>
16491649

@@ -1661,7 +1661,7 @@ from axiomatic import Axiomatic
16611661
client = Axiomatic(
16621662
api_key="YOUR_API_KEY",
16631663
)
1664-
client.lean.z_3.execute(
1664+
client.lean.z3.execute(
16651665
code="code",
16661666
)
16671667

@@ -2296,6 +2296,14 @@ client.pic.circuit.generate(
22962296
<dl>
22972297
<dd>
22982298

2299+
**return_cell:** `typing.Optional[bool]`
2300+
2301+
</dd>
2302+
</dl>
2303+
2304+
<dl>
2305+
<dd>
2306+
22992307
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
23002308

23012309
</dd>
@@ -2422,6 +2430,14 @@ client.pic.circuit.refine(
24222430
<dl>
24232431
<dd>
24242432

2433+
**return_cell:** `typing.Optional[bool]`
2434+
2435+
</dd>
2436+
</dl>
2437+
2438+
<dl>
2439+
<dd>
2440+
24252441
**request_options:** `typing.Optional[RequestOptions]` — Request-specific configuration.
24262442

24272443
</dd>
@@ -2719,8 +2735,6 @@ client = Axiomatic(
27192735
)
27202736
client.pic.circuit.get_sax_spectrum(
27212737
netlist=Netlist(),
2722-
port_pairs=[[]],
2723-
settings={"key": "value"},
27242738
wls=[1.1],
27252739
)
27262740

@@ -2746,23 +2760,23 @@ client.pic.circuit.get_sax_spectrum(
27462760
<dl>
27472761
<dd>
27482762

2749-
**port_pairs:** `typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]]`
2763+
**wls:** `typing.Sequence[float]`
27502764

27512765
</dd>
27522766
</dl>
27532767

27542768
<dl>
27552769
<dd>
27562770

2757-
**settings:** `Settings`
2771+
**port_pairs:** `typing.Optional[typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]]]`
27582772

27592773
</dd>
27602774
</dl>
27612775

27622776
<dl>
27632777
<dd>
27642778

2765-
**wls:** `typing.Sequence[float]`
2779+
**settings:** `typing.Optional[Settings]`
27662780

27672781
</dd>
27682782
</dl>

‎src/axiomatic/core/client_wrapper.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ def get_headers(self) -> typing.Dict[str, str]:
1616
headers: typing.Dict[str, str] = {
1717
"X-Fern-Language": "Python",
1818
"X-Fern-SDK-Name": "axiomatic",
19-
"X-Fern-SDK-Version": "0.0.124",
19+
"X-Fern-SDK-Version": "0.0.125",
2020
}
2121
headers["X-API-Key"] = self.api_key
2222
return headers

‎src/axiomatic/lean/__init__.py‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
# This file was auto-generated by Fern from our API Definition.
22

3-
from . import z_3
3+
from . import z3
44

5-
__all__ = ["z_3"]
5+
__all__ = ["z3"]

‎src/axiomatic/lean/client.py‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,15 @@
22

33
import typing
44
from ..core.client_wrapper import SyncClientWrapper
5-
from .z_3.client import Z3Client
5+
from .z3.client import Z3Client
66
from ..core.request_options import RequestOptions
77
from ..core.pydantic_utilities import parse_obj_as
88
from ..errors.unprocessable_entity_error import UnprocessableEntityError
99
from ..types.http_validation_error import HttpValidationError
1010
from json.decoder import JSONDecodeError
1111
from ..core.api_error import ApiError
1212
from ..core.client_wrapper import AsyncClientWrapper
13-
from .z_3.client import AsyncZ3Client
13+
from .z3.client import AsyncZ3Client
1414

1515
# this is used as the default value for optional parameters
1616
OMIT = typing.cast(typing.Any, ...)
@@ -19,7 +19,7 @@
1919
class LeanClient:
2020
def __init__(self, *, client_wrapper: SyncClientWrapper):
2121
self._client_wrapper = client_wrapper
22-
self.z_3 = Z3Client(client_wrapper=self._client_wrapper)
22+
self.z3 = Z3Client(client_wrapper=self._client_wrapper)
2323

2424
def execute(
2525
self, *, code: str, request_options: typing.Optional[RequestOptions] = None
@@ -155,7 +155,7 @@ def suggest(
155155
class AsyncLeanClient:
156156
def __init__(self, *, client_wrapper: AsyncClientWrapper):
157157
self._client_wrapper = client_wrapper
158-
self.z_3 = AsyncZ3Client(client_wrapper=self._client_wrapper)
158+
self.z3 = AsyncZ3Client(client_wrapper=self._client_wrapper)
159159

160160
async def execute(
161161
self, *, code: str, request_options: typing.Optional[RequestOptions] = None

‎src/axiomatic/lean/z_3/__init__.py‎ renamed to ‎src/axiomatic/lean/z3/__init__.py‎

File renamed without changes.

‎src/axiomatic/lean/z_3/client.py‎ renamed to ‎src/axiomatic/lean/z3/client.py‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ def execute(
4141
client = Axiomatic(
4242
api_key="YOUR_API_KEY",
4343
)
44-
client.lean.z_3.execute(
44+
client.lean.z3.execute(
4545
code="code",
4646
)
4747
"""
@@ -114,7 +114,7 @@ async def execute(
114114
115115
116116
async def main() -> None:
117-
await client.lean.z_3.execute(
117+
await client.lean.z3.execute(
118118
code="code",
119119
)
120120

‎src/axiomatic/pic/circuit/client.py‎

Lines changed: 28 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -434,6 +434,7 @@ def generate(
434434
apply_orientation: typing.Optional[bool] = OMIT,
435435
apply_placement: typing.Optional[bool] = OMIT,
436436
apply_routing: typing.Optional[bool] = OMIT,
437+
return_cell: typing.Optional[bool] = OMIT,
437438
request_options: typing.Optional[RequestOptions] = None,
438439
) -> GenerateCodeResponse:
439440
"""
@@ -453,6 +454,8 @@ def generate(
453454
454455
apply_routing : typing.Optional[bool]
455456
457+
return_cell : typing.Optional[bool]
458+
456459
request_options : typing.Optional[RequestOptions]
457460
Request-specific configuration.
458461
@@ -482,6 +485,7 @@ def generate(
482485
"apply_orientation": apply_orientation,
483486
"apply_placement": apply_placement,
484487
"apply_routing": apply_routing,
488+
"return_cell": return_cell,
485489
},
486490
headers={
487491
"content-type": "application/json",
@@ -524,6 +528,7 @@ def refine(
524528
apply_orientation: typing.Optional[bool] = OMIT,
525529
apply_placement: typing.Optional[bool] = OMIT,
526530
apply_routing: typing.Optional[bool] = OMIT,
531+
return_cell: typing.Optional[bool] = OMIT,
527532
request_options: typing.Optional[RequestOptions] = None,
528533
) -> RefineCodeResponse:
529534
"""
@@ -547,6 +552,8 @@ def refine(
547552
548553
apply_routing : typing.Optional[bool]
549554
555+
return_cell : typing.Optional[bool]
556+
550557
request_options : typing.Optional[RequestOptions]
551558
Request-specific configuration.
552559
@@ -578,6 +585,7 @@ def refine(
578585
"apply_orientation": apply_orientation,
579586
"apply_placement": apply_placement,
580587
"apply_routing": apply_routing,
588+
"return_cell": return_cell,
581589
},
582590
headers={
583591
"content-type": "application/json",
@@ -845,9 +853,9 @@ def get_sax_spectrum(
845853
self,
846854
*,
847855
netlist: Netlist,
848-
port_pairs: typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]],
849-
settings: Settings,
850856
wls: typing.Sequence[float],
857+
port_pairs: typing.Optional[typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]]] = OMIT,
858+
settings: typing.Optional[Settings] = OMIT,
851859
request_options: typing.Optional[RequestOptions] = None,
852860
) -> GetSpectrumResponse:
853861
"""
@@ -857,11 +865,11 @@ def get_sax_spectrum(
857865
----------
858866
netlist : Netlist
859867
860-
port_pairs : typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]]
868+
wls : typing.Sequence[float]
861869
862-
settings : Settings
870+
port_pairs : typing.Optional[typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]]]
863871
864-
wls : typing.Sequence[float]
872+
settings : typing.Optional[Settings]
865873
866874
request_options : typing.Optional[RequestOptions]
867875
Request-specific configuration.
@@ -880,8 +888,6 @@ def get_sax_spectrum(
880888
)
881889
client.pic.circuit.get_sax_spectrum(
882890
netlist=Netlist(),
883-
port_pairs=[[]],
884-
settings={"key": "value"},
885891
wls=[1.1],
886892
)
887893
"""
@@ -892,11 +898,11 @@ def get_sax_spectrum(
892898
"netlist": convert_and_respect_annotation_metadata(
893899
object_=netlist, annotation=Netlist, direction="write"
894900
),
901+
"wls": wls,
895902
"port_pairs": port_pairs,
896903
"settings": convert_and_respect_annotation_metadata(
897904
object_=settings, annotation=Settings, direction="write"
898905
),
899-
"wls": wls,
900906
},
901907
headers={
902908
"content-type": "application/json",
@@ -1512,6 +1518,7 @@ async def generate(
15121518
apply_orientation: typing.Optional[bool] = OMIT,
15131519
apply_placement: typing.Optional[bool] = OMIT,
15141520
apply_routing: typing.Optional[bool] = OMIT,
1521+
return_cell: typing.Optional[bool] = OMIT,
15151522
request_options: typing.Optional[RequestOptions] = None,
15161523
) -> GenerateCodeResponse:
15171524
"""
@@ -1531,6 +1538,8 @@ async def generate(
15311538
15321539
apply_routing : typing.Optional[bool]
15331540
1541+
return_cell : typing.Optional[bool]
1542+
15341543
request_options : typing.Optional[RequestOptions]
15351544
Request-specific configuration.
15361545
@@ -1568,6 +1577,7 @@ async def main() -> None:
15681577
"apply_orientation": apply_orientation,
15691578
"apply_placement": apply_placement,
15701579
"apply_routing": apply_routing,
1580+
"return_cell": return_cell,
15711581
},
15721582
headers={
15731583
"content-type": "application/json",
@@ -1610,6 +1620,7 @@ async def refine(
16101620
apply_orientation: typing.Optional[bool] = OMIT,
16111621
apply_placement: typing.Optional[bool] = OMIT,
16121622
apply_routing: typing.Optional[bool] = OMIT,
1623+
return_cell: typing.Optional[bool] = OMIT,
16131624
request_options: typing.Optional[RequestOptions] = None,
16141625
) -> RefineCodeResponse:
16151626
"""
@@ -1633,6 +1644,8 @@ async def refine(
16331644
16341645
apply_routing : typing.Optional[bool]
16351646
1647+
return_cell : typing.Optional[bool]
1648+
16361649
request_options : typing.Optional[RequestOptions]
16371650
Request-specific configuration.
16381651
@@ -1672,6 +1685,7 @@ async def main() -> None:
16721685
"apply_orientation": apply_orientation,
16731686
"apply_placement": apply_placement,
16741687
"apply_routing": apply_routing,
1688+
"return_cell": return_cell,
16751689
},
16761690
headers={
16771691
"content-type": "application/json",
@@ -1963,9 +1977,9 @@ async def get_sax_spectrum(
19631977
self,
19641978
*,
19651979
netlist: Netlist,
1966-
port_pairs: typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]],
1967-
settings: Settings,
19681980
wls: typing.Sequence[float],
1981+
port_pairs: typing.Optional[typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]]] = OMIT,
1982+
settings: typing.Optional[Settings] = OMIT,
19691983
request_options: typing.Optional[RequestOptions] = None,
19701984
) -> GetSpectrumResponse:
19711985
"""
@@ -1975,11 +1989,11 @@ async def get_sax_spectrum(
19751989
----------
19761990
netlist : Netlist
19771991
1978-
port_pairs : typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]]
1992+
wls : typing.Sequence[float]
19791993
1980-
settings : Settings
1994+
port_pairs : typing.Optional[typing.Sequence[typing.Sequence[typing.Optional[typing.Any]]]]
19811995
1982-
wls : typing.Sequence[float]
1996+
settings : typing.Optional[Settings]
19831997
19841998
request_options : typing.Optional[RequestOptions]
19851999
Request-specific configuration.
@@ -2003,8 +2017,6 @@ async def get_sax_spectrum(
20032017
async def main() -> None:
20042018
await client.pic.circuit.get_sax_spectrum(
20052019
netlist=Netlist(),
2006-
port_pairs=[[]],
2007-
settings={"key": "value"},
20082020
wls=[1.1],
20092021
)
20102022
@@ -2018,11 +2030,11 @@ async def main() -> None:
20182030
"netlist": convert_and_respect_annotation_metadata(
20192031
object_=netlist, annotation=Netlist, direction="write"
20202032
),
2033+
"wls": wls,
20212034
"port_pairs": port_pairs,
20222035
"settings": convert_and_respect_annotation_metadata(
20232036
object_=settings, annotation=Settings, direction="write"
20242037
),
2025-
"wls": wls,
20262038
},
20272039
headers={
20282040
"content-type": "application/json",

0 commit comments

Comments
 (0)