sdfgen 0.25.0__cp310-cp310-musllinux_1_2_x86_64.whl → 0.26.1__cp310-cp310-musllinux_1_2_x86_64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (11) hide show
  1. csdfgen.cpython-310-x86_64-linux-gnu.so +0 -0
  2. libcsdfgen.so +0 -0
  3. libcsdfgen.so.0 +0 -0
  4. libcsdfgen.so.0.26.1 +0 -0
  5. sdfgen/module.py +1 -1
  6. {sdfgen-0.25.0.dist-info → sdfgen-0.26.1.dist-info}/METADATA +1 -1
  7. sdfgen-0.26.1.dist-info/RECORD +11 -0
  8. libcsdfgen.so.0.25.0 +0 -0
  9. sdfgen-0.25.0.dist-info/RECORD +0 -11
  10. {sdfgen-0.25.0.dist-info → sdfgen-0.26.1.dist-info}/WHEEL +0 -0
  11. {sdfgen-0.25.0.dist-info → sdfgen-0.26.1.dist-info}/top_level.txt +0 -0
csdfgen.cpython-310-x86_64-linux-gnu.so CHANGED
Binary file
libcsdfgen.so CHANGED
Binary file
libcsdfgen.so.0 CHANGED
Binary file
libcsdfgen.so.0.26.1 ADDED
Binary file
sdfgen/module.py CHANGED
@@ -476,7 +476,7 @@ class SystemDescription:
476
476
  return self._name
477
477
 
478
478
  @property
479
- def elf(self) -> str:
479
+ def program_image(self) -> str:
480
480
  return self._program_image
481
481
 
482
482
  def add_child_pd(self, child_pd: SystemDescription.ProtectionDomain, child_id=None) -> int:
{sdfgen-0.25.0.dist-info → sdfgen-0.26.1.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: sdfgen
3
- Version: 0.25.0
3
+ Version: 0.26.1
4
4
  Summary: Automating the creation of Microkit System Description Files (SDF)
5
5
  Home-page: https://github.com/au-ts/microkit_sdf_gen
6
6
  Description-Content-Type: text/markdown
sdfgen-0.26.1.dist-info/RECORD ADDED
@@ -0,0 +1,11 @@
1
+ libcsdfgen.so,sha256=cT5c9IP4fUZClJgUutHvTq3qNI-_02OcgnfVYIwaJHI,3993352
2
+ csdfgen.cpython-310-x86_64-linux-gnu.so,sha256=cT5c9IP4fUZClJgUutHvTq3qNI-_02OcgnfVYIwaJHI,3993352
3
+ libcsdfgen.so.0.26.1,sha256=cT5c9IP4fUZClJgUutHvTq3qNI-_02OcgnfVYIwaJHI,3993352
4
+ libcsdfgen.so.0,sha256=cT5c9IP4fUZClJgUutHvTq3qNI-_02OcgnfVYIwaJHI,3993352
5
+ sdfgen/__init__.py,sha256=_d7GGV8GhadIAEYP8uiJlez0yKtXnHMHdRkRzVMKS3c,143
6
+ sdfgen/module.py,sha256=D7_EwTuYhocW3SGGrGo4Hn0fhBf1bGoYeTNUiz0Yxoc,47070
7
+ sdfgen/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
8
+ sdfgen-0.26.1.dist-info/METADATA,sha256=frFihj3LfSTcukEFpFYUiWVCHQkRoma0l6Gl_Q-HyhQ,4458
9
+ sdfgen-0.26.1.dist-info/top_level.txt,sha256=M3gUW9vTMij10peQKgv1Qs0jZkdsk_PG0REFxuv6jNY,15
10
+ sdfgen-0.26.1.dist-info/WHEEL,sha256=G6WAJh_GXUMYPkzQt82j5xHS9Nx3k6AYK5BZjp4Pr1U,112
11
+ sdfgen-0.26.1.dist-info/RECORD,,
libcsdfgen.so.0.25.0 DELETED
Binary file
sdfgen-0.25.0.dist-info/RECORD DELETED
@@ -1,11 +0,0 @@
1
- libcsdfgen.so.0.25.0,sha256=0d0siF1WXU1DKM6t8zffiy1WroQwrKXKyTGnfy6uoho,5440024
2
- libcsdfgen.so,sha256=0d0siF1WXU1DKM6t8zffiy1WroQwrKXKyTGnfy6uoho,5440024
3
- libcsdfgen.so.0,sha256=0d0siF1WXU1DKM6t8zffiy1WroQwrKXKyTGnfy6uoho,5440024
4
- csdfgen.cpython-310-x86_64-linux-gnu.so,sha256=0d0siF1WXU1DKM6t8zffiy1WroQwrKXKyTGnfy6uoho,5440024
5
- sdfgen/__init__.py,sha256=_d7GGV8GhadIAEYP8uiJlez0yKtXnHMHdRkRzVMKS3c,143
6
- sdfgen/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
7
- sdfgen/module.py,sha256=kycjBp3eRga7K0iHvq67nzqqIbUgMEGGr_Iy3xxme_Q,47060
8
- sdfgen-0.25.0.dist-info/WHEEL,sha256=G6WAJh_GXUMYPkzQt82j5xHS9Nx3k6AYK5BZjp4Pr1U,112
9
- sdfgen-0.25.0.dist-info/METADATA,sha256=4hUZy5YdYPb4MebeKwCr9pnbA4uCTVbVe-Q9pgo7fR0,4458
10
- sdfgen-0.25.0.dist-info/RECORD,,
11
- sdfgen-0.25.0.dist-info/top_level.txt,sha256=M3gUW9vTMij10peQKgv1Qs0jZkdsk_PG0REFxuv6jNY,15