|
|
db7a98bb0f
|
allow ports2data to take a tree
|
2023-10-15 16:18:33 -07:00 |
|
|
|
8687badac5
|
misc fixes
|
2023-10-15 16:18:33 -07:00 |
|
|
|
4a6584a60a
|
Only allow 1-sized Libraries
|
2023-10-15 16:18:33 -07:00 |
|
|
|
4a94259249
|
Allow lshift to operate on any library. If only one name, return it, else None
|
2023-10-15 16:18:33 -07:00 |
|
|
|
7cc732248e
|
add missing functions to tree
|
2023-10-15 16:18:33 -07:00 |
|
|
|
98728521fd
|
add Pather.mk()
|
2023-10-15 16:18:33 -07:00 |
|
|
|
460222ce6e
|
add name arg
|
2023-10-15 16:18:33 -07:00 |
|
|
|
f1a380b170
|
pather reorganization/clenaup
|
2023-10-15 16:18:33 -07:00 |
|
|
|
38585e5a9e
|
add lshift operator to MutableLibrary
|
2023-10-15 16:18:33 -07:00 |
|
|
|
2449486a28
|
set default for library to None
|
2023-10-15 16:18:33 -07:00 |
|
|
|
4fc2e67b62
|
Turn Builder into a subset of Pather
|
2023-10-15 16:18:32 -07:00 |
|
|
|
039320d180
|
fix add_tree operator
|
2023-10-15 16:18:32 -07:00 |
|
|
|
853c20e8df
|
Allow LazyLibrary to store Trees as well?
|
2023-10-15 16:18:32 -07:00 |
|
|
|
f642c226c7
|
Use lshift for tree combination
|
2023-10-15 16:18:32 -07:00 |
|
|
|
103eb4f1f8
|
stringy type
|
2023-10-15 16:18:32 -07:00 |
|
|
|
abc721cf67
|
ergonomics
|
2023-10-15 16:18:32 -07:00 |
|
|
|
d8e789f179
|
Add Tree as a possible way to allow construction of whole subtrees at once
|
2023-10-15 16:18:32 -07:00 |
|
|
|
234557dc93
|
Add move_references() and auto-move references during add()-with-rename
Also remove enable_cache, since we now rely on the cache.
|
2023-10-15 16:18:32 -07:00 |
|
|
|
439d5914e0
|
implement auto-renaming during merge, and change _merge() to support it
|
2023-10-15 16:18:32 -07:00 |
|
|
|
ac9776628a
|
remove some trailing undescores
|
2023-10-15 16:18:32 -07:00 |
|
|
|
ab8fd9b351
|
add NamedPattern
|
2023-10-15 16:18:32 -07:00 |
|
|
|
1a9116cdbe
|
add .create()
|
2023-10-15 16:18:32 -07:00 |
|
|
|
e348267a3d
|
notes on organization
|
2023-10-15 16:18:32 -07:00 |
|
|
|
7a8a3ef3c7
|
note in comments
|
2023-10-15 16:18:32 -07:00 |
|
|
|
f8b5cec340
|
Add recurse arg to get_bounds
|
2023-10-15 16:18:32 -07:00 |
|
|
|
1598582865
|
remove log messages
|
2023-10-15 16:18:32 -07:00 |
|
|
|
42ee4db989
|
Return WrapLibrary from read() and readfile()
|
2023-10-15 16:18:32 -07:00 |
|
|
|
a35bf9770a
|
Default to adding ports at the origin
|
2023-10-15 16:18:32 -07:00 |
|
|
|
5c48a28661
|
some cleanup
|
2023-10-15 16:18:32 -07:00 |
|
|
|
a8da0fc429
|
add FlatBuilder
|
2023-10-15 16:18:32 -07:00 |
|
|
|
cb87543e0c
|
import ports2data at top level
|
2023-10-15 16:18:32 -07:00 |
|
|
|
e5029ae21d
|
add library .rename(...)
|
2023-10-15 16:18:32 -07:00 |
|
|
|
0172b7488e
|
missing comma
|
2023-10-15 16:18:32 -07:00 |
|
|
|
d44374bf1f
|
writefile should write to a temporary file first
|
2023-10-15 16:18:32 -07:00 |
|
|
|
5fcd31a719
|
add name_and_set
|
2023-10-15 16:18:32 -07:00 |
|
|
|
2940316c48
|
add missing comments
|
2023-10-15 16:18:32 -07:00 |
|
|
|
c0e4ee1b6b
|
Allow library __setitem__ to take in either Pattern or Callable
No longer need it to be Generic!
|
2023-10-15 16:18:32 -07:00 |
|
|
|
963918d1d9
|
various fixes and cleanup
mainly involving ports_to_data and data_to_ports
|
2023-10-15 16:18:32 -07:00 |
|
|
|
16567c8a66
|
move builder.port_utils into utils.ports2data
and rename functions
|
2023-10-15 16:18:32 -07:00 |
|
|
|
5452bc5608
|
more fixes and improvements
|
2023-10-15 16:18:32 -07:00 |
|
|
|
d9fe295f4f
|
get things working with a LazyLibrary hack while we think about cycles
|
2023-10-15 16:18:32 -07:00 |
|
|
|
f4537a0feb
|
Lots of progress on tutorials
|
2023-10-15 16:18:32 -07:00 |
|
|
|
c31d7dfa2c
|
Add note about reproducibility for DXF
|
2023-10-15 16:18:32 -07:00 |
|
|
|
61b381cfaa
|
remove dead code
|
2023-10-15 16:18:32 -07:00 |
|
|
|
cca7cbaae1
|
formatting
|
2023-10-15 16:18:32 -07:00 |
|
|
|
b75c8de0c4
|
lots of fixes to get test_rep running
|
2023-10-15 16:18:32 -07:00 |
|
|
|
92f7fce6ff
|
improve gzipped file reproducibility
Mostly avoid writing the old filename and modification time to the gzip
header
|
2023-10-15 16:18:32 -07:00 |
|
|
|
ea87418bf5
|
clarify comment
|
2023-10-15 16:18:32 -07:00 |
|
|
|
e812c69bfb
|
get rid of Mapping stuff on PortsList
|
2023-10-15 16:18:32 -07:00 |
|
|
|
71db073a54
|
add todos
|
2023-10-15 16:18:32 -07:00 |
|
