Recent Releases of seal5
seal5 - Release v0.3.0
Changes in this Release: - 45292d2 - release Seal5 v0.3.0 - 48e34c3 - Merge pull request #178 from tum-ei-eda/develop - 57d362f - Merge branch 'main' into develop - dd06696 - seal5/backends/riscvfieldtypes/writer.py: handle extsettings.requiredimmtypes = None - bc07674 - requirements.txt: use upstream tag of m2isar repo - 304ca49 - fixup detectregisters - b853066 - update docker readmes - 5add854 - move detectregisters pass into a subdir - 823eea4 - update s4e cdsl submodule - c9eff34 - ci: set SEAL5NUMTHREADS=1 - 4277e90 - se demo: update cdsl submodule - 7ca431e - openasip demo: update cdsl submodule - 4340cb9 - worarkound for wrong include path in XCoreVNand.coredesc - f6c22de - Merge pull request #169 from tum-ei-eda/support-custom-imm - fd9fecb - Merge pull request #171 from tum-ei-eda/citation-file - 7149c40 - citation fixes - f5e1804 - Merge pull request #170 from tum-ei-eda/citation-file - fc3e7aa - README.md: update header - 222c40e - README.md: add seal5 publication - 71b75d3 - update CITATION.cff - 0e66646 - Add CITATION.cff - 70ee7ec - Update README.md - 79826dc - eliminaterdcmpzero & eliminaterdcmpzero: handle groups in lhs - f1d82d3 - TRANSFORMPASSMAP: run eliminaterdcmpzero before eliminatemodrfs - 4766280 - seal5/backends/coredsl2/writer.py: some improvements - 3b6e9bd - convertllvmirtogmir: replace assertion with warning - 2ee22df - riscvfieldtypes: only add SEAL5RISCVFIELDSSUPPORT if there are custom fields - 5691827 - Update docker/README.md - 99a710f - dockerfile fixup - 0942b76 - ci fixes - fc19b00 - update gen cdsl submodule - cc140ee - update corev cdsl submodule - ed0f549 - seal5/backends/riscvfieldtypes/writer.py: avoid conflits with existing types - a436d06 - drop uimm12op patches (not required anymore) - 1626d77 - update se cdsl submodule - 147fbc4 - riscvfieldtypes: add missing identation - 3d8c878 - seal5/backends/report/properties/writer.py: fix undefined opcode - ea61178 - Example.coredesc: add example instruction with custom imm size and two immediates - 2dd9f48 - infer llvm imm types automatically from llvm coebase (experimental) - 6cb6e99 - add examples/common/cfg/llvm{18,19,20}immtypes.yml - 0732fbf - checkpatternsupport: add todo - 9878be3 - seal5/tools/injectpatches.py: add better warning - 4a5c959 - genriscvgisellegalizerpatch: fix typo - 7db3830 - ci: small cleanup - 01b2927 - support custom immediate sizes - fa6f7bd - settings: introduce supportedimmtypes and requiredimmtypes - b72090e - dockerfile fixup - 33fbf31 - seal5/passlist.py: fix missing continue statement - 6f56086 - seal5/backends/riscvinstrinfo/writer.py: add --ignore-failing arg - 7867b8b - clonellvmrepo: fix handling of negative depth - 029342f - settings: catch version missmatch errors (dacite.exceptions.UnexpectedDataError) - e4d179d - convertllvmirtogmir: improve err handling - 45c7b8b - only generate patterngen support patch once - 8b5f6ed - seal5/backends/coredsl2/writer.py: limit emitted attributes to cdsl2llvm supported ones - fe972e6 - seal5/wrapper.py: CLONEDEPTH is int, not bool - ed71d27 - followup fix for examples include path - ab46b3e - Refacor example dirs (Resolves Issue #90) - 6566b30 - update se submodule - 4242aa2 - fix typo - 62ac81b - function info import fix - af533d6 - Merge pull request #167 from tum-ei-eda/test-scalar-eff-rebased - 2f39eb0 - refactor sedemo.py example - 3a8e876 - model.py: improve assertion and introduce _llvmimmtypes - 2589a3c - ignore PC in detect inouts - 84540eb - cdsl writer fixes - e365042 - update se submodule - 791774c - examples/sedemo.py: clone depth 1 - c593ab1 - add examples/sedemo.py - c62d85b - add riscv-scalar-efficiency submodule - 4a8fabe - fix examples dest - 32e655d - Merge pull request #160 from tum-ei-eda/docker - ef3d08d - lint - 411e577 - refactor remaining examples - 8edc4b8 - lint - 9ee191f - install llvm in subdir of outdir - 9b2aa68 - use llvm 19.1.7 instead of 19.1.6 - cf98a1c - add examples/cfg/tools.yml - a21d3a1 - lint - 03a5c49 - fix ci - 3172ed7 - fix default build config for install step - d1bb76c - fix prepatched for undefined name - 73387f1 - support empty seal5 home dir - 0310c64 - fix metadir handling - 4ae0c38 - handle SEAL5HOME env var inflow instead of cli - 749def8 - ci: add container.yml for manual docker builds - 62e4668 - seal5/utils.py: improve str2bool - 3088b2b - examples/demo.sh: use flow wrapper - 7c7d506 - examples/demo.py: use flow wrapper - 271c96c - cli: expose flow wrapper - afeb4a3 - add seal5 flow wrapper - cfef00a - fix verbose mode for build/install - 37b9345 - add docker files - f915345 - Merge pull request #159 from tum-ei-eda/alignm2metamodel - ec621b6 - flake8 fixes - 1ed2754 - migrate to new m2isar metamodel based on class instead of dict - 7ef40a8 - add .github/workflows/container.yml to test pr #160 - 2c7dc52 - reqs.txt: update m2isar branch - e424833 - fix SKIPPATTERNGEN - 5861cd4 - seal5/passlist.py: fix - 2e1d9b1 - allow shallow (depth=1) cloning of llvm and patterngen - 04b3594 - seal5/tools/injectpatches.py: fix analyzediff if single file - 904d5ea - lint - 3338c21 - Revert "disable multiprocessing of passes in ci (TODO: investigate bug and drop workaround)" - 5ffb21e - Merge pull request #158 from tum-ei-eda/develop - c047a1c - disable multiprocessing of passes in ci (TODO: investigate bug and drop workaround) - f65bdce - [ci] .github/workflows/demoweekly.yml: add llvm ref to artifacts names - 82fe1e1 - Merge pull request #157 from tum-ei-eda/develop - ee20bab - examples/mergetestartifacts.py: lint - aa99a38 - fixes - fa61cac - seal5/backends/report/testresults/writer.py: fix - e0c0a30 - Merge pull request #154 from tum-ei-eda/develop - 6061549 - Seal5 Test Pass, Test and Coverage result aggregation (#156) - 8b3f00b - add missing file: seal5/transform/detectinouts/utils.py~ - 2cd3fce - update xcorev ref - e31cea8 - ci: enable llvm19 in demos - 508a062 - followup fixes - b1ff8c2 - update intrinsics and tests - 69c2fa0 - examples/cfg/passes.yml: fix - e6a06e2 - examples/cfg/llvm.yml: settings fix - 3bacc0e - seal5/transform/detectinouts: use stack to detect I/Os in a more scenarios - 229e15d - seal5/settings.py: do not allow unknown keys in yaml - aade763 - intrinsics fixes - 20deaf8 - [refactor] settings.extensions -> settings.models.extensions & drop settings.passes.permodel - 656919f - seal5/backends/riscvintrinsics/writer.py: fix - 6bf2007 - examples/cfg/patches.yml: select patches based on llvm version - 16c9e60 - seal5/transform/collectraises/collect.py: fix - 80d037f - fix detectloops - 35eb9de - seal5/tools/llvm.py: fix - 172ea66 - seal5/resources/patches/llvm: support llvm19 - 857b50c - seal5/settings.py: add signed property to IntrinsicArg - b79f8bc - seal5/tools/injectpatches.py: fix - e7eb377 - allow conditional patches in settings - fe9ee97 - seal5/backends/riscvintrinsics/writer.py: add --ignore-failing flag - 5640c3f - seal5/backends/riscvintrinsics/writer.py: support llvm19 - 5a37c45 - add llvm19 patch file - f1775fd - lint code - 3e59e80 - update rvxcorev ref - e4827f4 - examples/cfg/xcorev/XCoreVBitmanip.yml: comment out broken intrinsics - 0d9b604 - examples/cfg/xcorev/XCoreVSimd.yml: define intrinsics - db71174 - examples/cfg/xcorev/XCoreVBitmanip.yml: define intrinsics - 40f6433 - examples fixup - 060c7e7 - add tests for cv.ror (bitmanip) - 5c01aa4 - various fixes for xcorev demo - 96a79bc - expose LLVMREF and LLVMURL in examples - bf02de9 - add automatic lookup of (s)ccache executable - d612b46 - test fix - c90c32e - various fixes for xcorev demo - a20ca60 - various fixes for xcorev demo - f10b7d3 - lint code - f8bff60 - seal5/backends/patterngen/writer.py: fix - a1f6c65 - seal5/backends/riscvinstrinfo/writer.py: fix - fe8eae3 - various fixes for xcorev demo - eef2547 - implement automatic lookup of patterngen(cdsl2llvm) repo ref - 1c5c9be - strip whitespace in intrinsics patches - 600f49e - unity naming of intrinsics/builtins - c218c0b - consider function return type in inlinefunctions pass - a3ded33 - add missing files for detectloops and detectcalls - 020312f - update xs4e tests - 01b82a7 - update corev tests - 6a5c00b - llvm version fix - af3fbaf - seal5/backends/riscvfeatures: fix - a234bc4 - seal5/backends/riscvfeatures: support llvm19 - 46adce7 - seal5/frontends/coredsl2seal5/CoreDSL2.g4: support empty sets - 4a9e58d - add detectcalls and detectloops passes - 48e9351 - expose ccache executable and directory via settings - dca61b8 - seal5/backends/report/properties/writer.py: add skippatterngen to table - b259f22 - fix syntax error in seal5/backends/patterngen/writer.py - 9932ea4 - add missing break(self: behav.Break, context) in visitors - 3aa0f1d - seal5/transform/checkpatternsupport/check.py: fix typo - 0dfc428 - add LLVMINSTR attribute - efcaa83 - SKIPPATTERNGEN related fixes - f2623a4 - seal5/backends/coredsl2/writer.py: add missing quotes for StringRef attr - 3d4b974 - Merge pull request #148 from tum-ei-eda/fix127intrinsics - 5d76425 - Fix #127 (experimental extension intrinsics) - f76d2e9 - ci: fix [skip ci] - 8515ed0 - ci: fix typo - fc9855f - .github/workflows/seal5build.yml: add openasip (wip) - 4470c2e - fix demo.sh - 0bd59da - checkpatternsupport update - e45abd7 - lint and fix detectimmleafs for empty behav - 15cebc0 - implement seal5.transform.checkpatternsupport and use SKIPPATTERNGEN attr - 9584750 - demo.sh: fix typo - eaf29d7 - model: add SKIPPATTERNGEN (unimplemented) - 796ed75 - seal5/backends/report/testresults/writer.py: add --coverage arg - 3a12f4e - more xopenasipbase tests - 0856161 - tests: add openasipbasemax.test-invalid.s - 6ce248d - examples: fix more test names - 22890ca - ci: add coverage reports to demo - 3eb6448 - examples: fix intrin/builtin test names - 5536f4e - test results report: handle empty df - 5dd2d6b - examples: add missing test paths in demo.sh - f37eb5f - times report: sort after groupby - 823432a - ci: fix - a8ffafd - report fixes - 07cb80e - ci: fix - 1dc3ef6 - ci: fix - 54ada9e - fix report model col name - 816951f - reports: add --compact flag - 37f09b7 - ci: generate compact reports - 8b81cd9 - ci: fix typos - 3e1498f - ci: fix sync workflow filename - 2175b03 - ci: fix .github/workflows/seal5build.yml - 3221001 - ci: fix .github/workflows/seal5build.yml - cbeedc6 - [CI] .github/workflows/seal5build.yml: fixes - 2b7f205 - [CI] .github/workflows/seal5build.yml: fixes - 97811e8 - [CI] .github/workflows/seal5build.yml: change repo etissriscvexamples -> etissriscvexampless4e - 3bb6032 - Merge pull request #142 from tum-ei-eda/develop - 03b172b - seal5/backends/report/times/writer.py: add --sum-level arg - 05a713e - ci: enable --markdown-icons - efb2df8 - testresults: add --markdown-icons arg - 9d74300 - seal5/backends/report/status/writer.py: add --markdown-icons arg - 3f60b32 - seal5/backends/report/properties/writer.py: improve format detection - 839501e - seal5/backends/riscvinstrinfo: drop old template - 0ea714e - Merge pull request #134 from tum-ei-eda/openasip-3 - 585f9ca - add missing module docstrings - ccef157 - ci: rm todos - cd77a6b - lint code 2 - efd1de2 - lint code - 49f328f - add new pass: detectimmleafs - 0bda1a5 - seal5/backends/report/properties/writer.py: add hasimmleaf - e4e35ea - seal5/backends/report/properties/writer.py: improve format detection - 30e6bd6 - seal5/backends/coredsl2/visitor.py: fix - 90d5bf6 - examples/cfg/s4e/s4e-mac.yml: use set name instead of model name - a08939d - seal5/backends/report/testresults/writer.py: also add other (non-instr) tests to dataframe - b444870 - fix settings - c055592 - fix xcvalu test - c19f023 - fix settings - 52a07d6 - implement instr format detection - 2341f3f - update submodules - 576fc83 - update submodules - 1c0c1a4 - openasip example: also add instrs from paper - d5e4105 - tests: fix cv-addun.test-cg.ll - 68bf945 - intrinsics: add setname to intrinsics to handle multiple sets - 315e8ab - openasip example: also add instrs from paper - 38fc709 - ci fix - 08a2aec - add missing files - 292346d - seal5/backends/riscvintrinsics/writer.py: add missing return - 41537fa - intrinsicswriter: check instr name and mnemonic - 60c408d - examples: fixes - 23dc85c - extend tumeda tests - d3eae4e - fix xexample64 tests - 379454b - handle more types in seal5/backends/riscvintrinsics/writer.py - 5565eb9 - make seal5/backends/report/testresults/writer.py detect more instrs - f3109e4 - fix examples/cfg/example/intrinsics.yml - 2d072e3 - fix xrvc tests - c384b68 - refactor s4e tests - 9c53664 - patterngen: skip if using custom regs - 19f92e7 - examples: fixes - bdfeb21 - test: fix xexample - 4897cdf - patterngen: skip if using custom regs - 158dc96 - examples: fixes - e3eff0f - add todo - 6d2255b - seal5/backends/report/properties/writer.py: detect opcode and encsize - d25a77c - test: fix xrvc - 9121bd3 - test: fix xexample - 7a7d77c - examples: fixes - d5a6777 - test: fix dirname - abe4578 - examples: fixes - 6b86d7f - fix tests - c9d3edb - tests: add *.test-builtin.ll for openasip and xexample{64} - 13fb91c - enable subincacc intrin for demorv64.py - 8bdcc5b - reports: handle multiple input models - 84c30bb - openasipbasemax.test-cg.c: fix - 3f8807c - split all tests per instruction - 11b270b - increase version to v0.3.dev0 - c49a679 - seal5/settings.py: fix - e673a26 - testresults/writer.py: support multiple models & fix test detection - 3e59acb - testresults/writer.py: support multiple models - 8e27eea - cleanup - 446f213 - seal5/backends/riscvregisterinfo/writer.py: do not add empty patches to index - 921e2e7 - seal5/backends/riscvregisterinfo/writer.py: add comment - 6ccc522 - seal5/backends/report/testresults/writer.py: replace assert with warning - 697cd8e - seal5/backends/report/properties/writer.py: fix - 5bd86d0 - ci: fix - 01160a5 - add seal5.backend.report.diff - 1df4843 - update passlist.py - 1693ff4 - skip patterngen for compressed instructions (fix #126) - 37413c0 - enable usesubprocess: true globally to allow running passes in parallel - 9c8cc9f - add seal5.backend.report.diff - 81840ff - flow: fix test score if no tests are available - d47048f - ci: fix typo - 771606c - ci: update seal5build.yml and syncetisssealbuild.yml after merge - b105058 - Merge pull request #124 from kebi-be/main - e04a6c9 - remove print statements - 3cd05bc - update requirements.txt - 9ac6a55 - update COMPATIBILITY.md to list supported LLVM versions - e7f0a07 - add missing file seal5/metrics.py - 9da6974 - integrate reports backends in ci demo (weekly) - ee1267e - ci: add missing step names - c0f34e6 - integrate reports backends in ci demo (manual) - ad3bd33 - move some backends in seal5.backend.report namespace - 6edccca - track number of changes in deploy stage (resolve #138) - d1e29b4 - track number of changes in patch stage (resolve #138) - f0d4830 - add seal5.backend.times.writer - d7f85cd - passes.py: add pass start/end time to metrics - 32db47c - flow.py: add stage start/end time to metrics - 31bfa7d - implement seal5.backends.testresults.writer (resolves #123) - 868503c - add example openasip test files (see #129) - 059e9a2 - add example openasip instrinsic - d010095 - examples/openasipdemo.py: disable experimental mode (WIP, revert after #127 fixed) - b836445 - /seal5/transform,passlist.py: enable --metrics for most transforms - 99c8fdc - store test metrics in settings (resolves #122) - fd57388 - seal5/backends/status/writer.py: allow exporting markdown and pkl and add cols2rows flag - 77cd30f - seal5/backends/riscvintrinsics/writer.py: fixes and error handling - 6b7905f - seal5/backends/riscvinstrinfo/writer.py: add metrics support - 439de1e - seal5/backends/properties/writer.py: allow exporting markdown and pkl - 3e01f2b - seal5/backends/coredsl2/writer.py: add metrics support - 3e0a52c - add seal5.backends.status.writer (experimental, see #120) - 88aa2d6 - add metrics to PassResult - 2253427 - backends: add more info to metrics (instr/set names) - 26f1acd - backends: write metrics.csv with pandas for proper escaping - 41bd33c - seal5/backends/properties/writer.py: improvements - 5183ac0 - add seal5.backends.properties.writer (experimental, see #117) - 1326b5f - cleanup seal5/transform/inlinefunctions/optimizer.py - 5d74f48 - ExtensionsSettings: prefix arch with x - 64cc530 - cdsl2llvm: enable noextend mode - 1b829cd - update rvopenasip ref - 01a772a - pattern-gen: --mattr2 -> --mattr - d29b878 - add Seal5FunctionAttribute.INLINE - 7e845a3 - add inlinefunctions pass - fe35b76 - convertlltogmir: make optimization level configurable - 9b1557b - patterngen: support --no-extend - dbbfacc - instrtablegen2.mako: remove comment - 43b0aa4 - update openasip submodule - c9a79ed - add openasip yml - 72f18d9 - cdsl2llvm: switch to philippvk5 branch - e853f80 - use new openasip files - 9273444 - Merge pull request #113 from tum-ei-eda/corev-tests - 5baf05f - Added workflow concurrency control - 0995366 - Modification based on PR - 8da8f62 - Removed repository reference to checkout - af45eb5 - Deleted duplicate workflow - 2e1ecd0 - Removed redundant steps - c8f0b50 - Update seal5build.yml - f2bf4b9 - Update syncetissbuild.yml - a574934 - Added branch name to be checked out - 79b7365 - Update seal5build.yml - 6c8826f - Update seal5build.yml - 0806953 - Update seal5build.yml - 4563a8a - Removed step to determine programm - 4710976 - Add files via upload - f97a3ad - Update seal5build.yml - bb84cf9 - Add files via upload - c8a2b22 - Add files via upload - 5afeb09 - add test-intrin fores for xcorevamac (TODO: test and add to corev_demo) - 817d0d2 - update corev demo - c79069a - update corev tests - 23f7701 - examples: add more xcvalu codegen tests - ed97f74 - examples: add cv-abs test files
- Python
Published by github-actions[bot] 12 months ago
seal5 - Release v0.2.0
Changes in this Release: - 5001d75 - increase version to v0.2.0 - cf80445 - Merge pull request #114 from tum-ei-eda/develop - 8b0934b - lint code after intrinsics merge - f75c75c - examples/demo.sh: expose CCACHE - 5f6ea15 - cli: expose seal5 build/install --ccache - 3ee14de - examples/demo.sh: add missing -f for init stage - d95abad - rm input() - ca1dc6a - flow: fix typo - a777a30 - introduce settings.getllvmbuilddir with automatic fallback/lookup - 3bd8a58 - Merge pull request #111 from tum-ei-eda/intrinsics - fe569e9 - add support for ccache build with cmake (ci fix) - 2cd3502 - examples/*.py: expose CCACHE - 4b78d95 - add support for ccache build with cmake (ci fix) - 8708ac6 - fix ccache cmake args - ed2a03e - add support for ccache build with cmake (ci fix) - cf9b08a - ci: fix typo in demoweekly.yml - 1587b20 - add support for ccache build with cmake (flow fix) - 8a6574f - add support for ccache build with cmake (ci fix) - cf134ea - add support for ccache build with cmake (ci fix) - 6b70f78 - examples/demo.py: expose CCACHE - 1f5998c - add support for ccache build with cmake (flow/settings/llvm/ci) - 26505a8 - cfg: set LLVMDEFAULTTARGETTRIPLE in examples/cfg/llvm.yml - 0e0f69b - ci: use python 3.10 in style.yml - c93d63b - Intrinsic for example subincacc instruction - 64eb705 - Basic support for generating intrinsic functions - 4141660 - Merge pull request #112 from tum-ei-eda/demodestdir - f3e5e1d - Added DESTDIR env var to demo scripts - e4d842a - more mattr fixes - 320b812 - ci: update actions to latest versions - 6034485 - fix mattr handling - 4dfafa4 - cleanup prints - 33249e7 - seal5/backends/patterngen/writer.py: fix typo - bd048fb - seal5/passlist.py: fixes - 59f80da - flow.py: add docstrings - ae9e373 - update rvs4e submodule - 39b0d26 - small fixes - 247f0a0 - Flow.export: add temp=False arg - b20d989 - run black linter - 9beb7ad - update linter settings - fc4edbc - lint full codebase - cf365f5 - add missing file: /work/git/seal5new/seal5/riscvutils.py - 4526356 - add util: ispoweroftwo - 8036d23 - add XLEN assertion - 660c671 - remove unused file - 3cb29fe - settings: disable sparsecheckout of patterngen as it needs newer git release (unavailable on ubuntu 20.04) - 082e9ef - Merge branch 'main' into develop - 5775d8d - Merge pull request #99 from tum-ei-eda/support-s4e - 56a5b68 - Merge remote-tracking branch 'origin/main' into support-s4e - b1c820a - fix patterngen writer - 7a6858f - update package description - f25eb25 - version.py: set to v0.2.dev0 - f6c9786 - update version to 0.1.4 - 65e0b93 - improve error handling in gmir pass - 7adc0f2 - introduce riscvutils and improve xlen/features handling - 8122a69 - fix ci deprecations - a572e27 - update package description - 2c2c325 - version.py: set to v0.2.dev0 - be743e6 - resolve merge conflict - 2e10a7d - add missing license headers and file docstrings - 98024f4 - fix typo in s4e-mac.yml - 2a8fa43 - lint code - c92ddd1 - model: extend Seal5Register and Seal5RegisterGroup classes 2 - 6ccf3f2 - detectinouts: collect uses and defs for custom regs - f199af8 - converter: do not drop scalars - e1db571 - model: add USES and DEFS attrs for instructions - 6c7e825 - model: extend Seal5Register and Seal5RegisterGroup classes - 425954a - add new backend (and pass) for riscvregisterinfo patches - 7084abf - flow: move detectregisters transform to earlier point in time - ec74cf9 - riscvinstrinfo: emit Uses/Defs attrs - 921a634 - riscvinstrinfo: introduce attrhelper func
- Python
Published by github-actions[bot] over 1 year ago
seal5 - Release v0.1.4
Changes in this Release: - 30674a2 - update version to 0.1.4 - 9be2047 - cdsl2llvm.py: fix typos - 28e6a03 - llc mattr fix - e66e94f - ci: print pip pkgs - 3b42793 - rm print - 306aed0 - handle missing build dir for pattern-gen/llc - cf87eea - demo.sh fix - 74923e3 - ci fix - b7f5127 - ci: disable broken demos - 5e3e796 - fix rv64 demo - a56f152 - rework examples/demo.sh - 5e6ea90 - Update demoweekly.yml - 9d8c4e4 - ci: fix demoweekly.yml - 385d2df - flow: convert metadir to absolute path - 116e6fb - ci: fix demoweekly.yml - 6d7de64 - rm prints - 463da3d - add missing license headers and file docstrings - 8c60e13 - ci: demoweekly.yml add more scripts - 2555a80 - ci: demoweekly.yml fix - 07870ba - ci: demo.yml fixes - a90b575 - Merge pull request #105 from tum-ei-eda/misc-improvements - d88ac92 - investigate clone issue - c98d616 - flow: metadir fixes - ff18e0f - ci/examples: drop FAST mode - 335ae8a - flow: metadir fix - a081590 - ci: use CLONEDEPTH - 7ce2c1b - ci: use PROGRESS - 745fdb6 - fix Seal5Flow _init__ - 9ae35ac - examples: expose CLONEDEPTH - 63911d7 - examples: expose PROGRESS - 6b5677b - cli: cleanup - 8b14ee4 - expose --progress via cli for init and setup step - d18fd3d - Expose patterngen.sparsecheckout to cfg - 8e8eb79 - ci: add weekly demo script - f75b87c - ci fixes - 46be533 - ci fix - 88d54bf - ci fix - e6a850a - ci: support non-python examples 2 - a899638 - ci: support non-python examples - be526ab - examples: make TEST/INSTALL/DEPLOY/EXPORT/CLEANUP configurable - df27a16 - ci: update demo.yml - 9ff2d20 - metadir fixes - b91fe83 - lint code with black - cacb926 - implement INSTALL stage (including cli) - c182d59 - llvm.py: fixes and install capability - 71750b7 - Flow: write custom name in settings, TODO: check for conflict? - 449b3a6 - CDSL2LLVM: use sparse checkout, TODO: expose to settings - aa996ba - minor EXPORT stage changes - 20526dc - implement INSTALL stage (including cli) - 6b0a48c - implement DEPLOY stage (including cli) - 51faa3c - cli fixes - 87ab3cf - clonedepth fixes - 8b34740 - allow shallow clone of llvm repo - 2134914 - CLI fixes - c2ab3b2 - flow.py: more logging - 97376ca - seal5/dependencies.py: integrate CloneProgress here as well - dec1dd3 - seal5/tools/llvm.py: add progress bar for clone step (WIP) - fa03206 - fix for collectraises - 4a23f85 - seal5/backends/coredsl2/visitor.py: fixes - 538ad31 - allow empty functions section in cdsl frontend - 2af9bfe - fix handling of mattr and xlen in llvmir/gmir/patterngen backend - 35a918a - typing fix - 3f5e201 - lint code with black - d097aa5 - Merge remote-tracking branch 'origin/main' into misc-improvements - 258dcc9 - support custom metadir location - b358745 - seal5/transform/infertypes/visitor.py: add missing procedurecall callback - b479b83 - Merge branch 'main' of https://github.com/tum-ei-eda/seal5 into main - 2f59f70 - fallback to default llvm version if tag not available for git describe - 7fd632b - seal5/settings.yml: use ninja by default - fc77c3a - seal5/flow.py: ensure that parent dir of patch file exists - ca40c2e - handledirectory: resolve to absolute path - 50847f8 - Update README.md - 60a5700 - Update README.md - 68af8df - Update README.md - ad07b78 - demo: remove trailing slash to avoid illegal tar.gz name - e6d92f2 - lint code - 9aaa4e6 - allow shallow (depth=1) cloning of llvm and patterngen - f995eed - allow shallow clone of llvm repo - 3776b2a - examples/cfg/llvm.yml: use LLVMFORCEENABLESTATS - cfdbf40 - update README - 02b7116 - README: add system requirements - ca8cdac - README: lint - 848e2ba - update version -> v0.1.3 - 0200f57 - Update README.md - e69f72f - Update README.md - 19907fc - Update COMPATIBILITY.md - e64a5c9 - Merge branch 'main' of https://github.com/tum-ei-eda/seal5 into main - 73e08b9 - collectoperandtypes: fix logging string - a38480a - model: disabled operand order tests - c46343e - dectect seal5 attributes using model conversion (no need to update upstream parser) - 7d3cdf6 - Update COMPATIBILITY.md - 5056473 - Create COMPATIBILITY.md - f824e3d - fix examples - 9c8ab1a - Update LIMITATIONS.md - ecaa7cc - Update README.md - 9e5833f - model: introduce _llvmcheckoperands - 2b77c9d - tests: fix testsubincacc.c - d349e89 - move ExampleRV32C.coredesc into subdir - dcc6619 - Merge pull request #93 from tum-ei-eda/support-compressed - 5f54bfa - example: update xrvc tests to include imm overflow checks - 1270604 - add missing _init_.py - 48170c6 - ExampleRV32C.coredesc: add (compressed) nandi (with immediate) - efbcdb8 - examples: add llvm tests for (compressed) nandi (with immediate) - 9d4eb39 - Merge branch 'main' into support-compressed - 9333fbf - Merge pull request #92 from jokap11/feature-cli-supp - 156aefb - Merge pull request #94 from tum-ei-eda/support-rv64 - 2fa1cbc - Merge pull request #83 from tum-ei-eda/feature-transform-api - f706884 - Merge branch 'main' into feature-transform-api - 36e3f46 - Copied Apache license header + small bug fix - 6abc816 - update cdsl2llvm dep - e071c95 - Merge remote-tracking branch 'origin/main' into support-rv64 - d67d944 - lint docs/conf - 0ffae45 - remove old todo - b764bf5 - examples: add explicit mnemonic for subincacc (rv32 and rv64) - d99069f - examples: add more tests for rv32 and rv64 example - ca1415c - example: add xexample64 tests - a983a0f - ci: add ignoreerror as input to demo.yml - 378dc73 - examples: expose IGNOREERROR as env var - d3a9475 - add xrvc tests - 16cef47 - ExampleRV32C.coredesc: rename set - cc81d42 - Make --dir dependant on local var / Add name attributes to systemy.yml => Avoid argument for everything but init - f475ed3 - Move redundant args to common.py global args - 6f701b6 - demo script uses now build directory working on Ubuntu 22.10 - ff370c0 - Adjusted args.DIR -> args.dir - 0bd8811 - fix behavior in ExampleRV32C.coredesc - eee23ec - lint code - bf15952 - BehaviorModelBuilder: fix visitStringconstant (drop surrounding double quotes) - 4e21e9b - finish pattern support for compressed instructions - 462a437 - move logic from riscvinstrinfo to Seal5Instruction class (self.llvm*) - 8962364 - ignore *.jar files - 757c47b - model: add Seal5InstrAttribute.COMPRESSED - dd69850 - seal5/frontends/coredsl2seal5/ update antlr generated files - ce17574 - seal5/frontends/coredsl2seal5/behaviormodelbuilder.py: add visitStringconstant - 0ab2821 - seal5/frontends/coredsl2seal5/behaviormodelbuilder.py: allow Seal5InstrAttribute in coredsl files (TODO: how to upstream this?) - db058e3 - seal5/frontends/coredsl2seal5/antlr.sh: update path and version - 54dd7db - seal5/backends/riscvinstrinfo: add code generation for CompressPat (WIP) - 027b4ad - requirements.txt: use different m2isar branch - 3c03322 - seal5/frontends/coredsl2seal5: add stringconstant to coredsl grammar - a1bbeb1 - backends/coredsl2/writer.py: add helper for converting attribute vals - fb4f6cb - Switched DIR to -dir - 6042a97 - switched file mode to 755 - 83aaaa5 - Added similar demo.sh script to demo.py for CLI - 35d2f80 - Small argument adjustment to be coherent - a194374 - Full CLI command support to express demo.py - 1a3a375 - Revert "[Seal5] Apply patch: gitignore" - 4f3f7b5 - Revert "[Seal5] [CI] Add CI/CD-Configuration for GitLab" - 143b623 - Revert "[Seal5] Apply patch: gitignore" - ca1d9ee - Patch Command + moved default folder away from main project ^:) - acf4c74 - [Seal5] Apply patch: gitignore - 2837038 - [Seal5] [CI] Add CI/CD-Configuration for GitLab - 0d64b9d - [Seal5] Apply patch: gitignore - b321393 - add examples/rv64demo.py & examples/cdsl/ExampleRV64.coredesc files - a5576a4 - add examples/cdsl/ExampleRV32C.coredesc file - ebfba25 - Extended with missing encodingsizes object - 9f3587d - BUG-FIX: Made setting reset dependant of func arg - ce23d57 - Add clean, reset, setup and transform CLI command - 0b10560 - Small fix for forgotten attribute functions.opcodes - fd86a7a - add comment - 5b6e90b - add comment - 82e35e1 - Add files via upload - 7140559 - Update README.md - 3507804 - support compressed(16bit) instructions - afe710c - CLI Load command - 5e588a6 - Rectified Format + Right action for init - 5975149 - ignore some flake8 warnings which conflict with black - 9f24c55 - Full CLI Init command - f01bbab - flow: declare versioninfo - 04133a7 - support 64bit instructions - 9dbc19d - Merge branch 'main' into feature-transform-api - d1c86f2 - Merge pull request #85 from tum-ei-eda/tidy-up - 79c6eae - Reverting bad corevdemo.py push - 0bd288f - Added test case for example extension - 52769eb - Submodule catchup - dc80494 - Example test case llvm-lit-ified - f5a614c - add rvcdemo.py - 3b680a2 - examples/cfg: define pass defaults for verbose and usesubprocess - a427049 - Removed dangling file - 4591e0c - Example extension tidy-up - d964251 - riscvinstrinfo: update regex for operands detection - e2b1795 - lint code - 429d1c8 - resolve max-line-len violations - e46c51f - ignore some flake8 warnings which conflict with black - ff80353 - lint code - 69dd6b1 - remove flake8 warnings - d2b5ef3 - wip: make log_level configurable for each pass (TODO: integrate in PassAPI) - cfce7fa - refactor transforms to be callable via python
What's Changed
- Misc improvements by @PhilippvK in https://github.com/tum-ei-eda/seal5/pull/105
Full Changelog: https://github.com/tum-ei-eda/seal5/compare/v0.1.3...v0.1.4
- Python
Published by github-actions[bot] over 1 year ago
seal5 - Release v0.1.3
Changes in this Release: - 848e2ba - update version -> v0.1.3 - 0200f57 - Update README.md - e69f72f - Update README.md - 19907fc - Update COMPATIBILITY.md - e64a5c9 - Merge branch 'main' of https://github.com/tum-ei-eda/seal5 into main - 73e08b9 - collectoperandtypes: fix logging string - a38480a - model: disabled operand order tests - c46343e - dectect seal5 attributes using model conversion (no need to update upstream parser) - 7d3cdf6 - Update COMPATIBILITY.md - 5056473 - Create COMPATIBILITY.md - f824e3d - fix examples - 9c8ab1a - Update LIMITATIONS.md - ecaa7cc - Update README.md - 9e5833f - model: introduce llvmcheckoperands - 2b77c9d - tests: fix testsubincacc.c - d349e89 - move ExampleRV32C.coredesc into subdir - dcc6619 - Merge pull request #93 from tum-ei-eda/support-compressed - 5f54bfa - example: update xrvc tests to include imm overflow checks - 1270604 - add missing _init_.py - 48170c6 - ExampleRV32C.coredesc: add (compressed) nandi (with immediate) - efbcdb8 - examples: add llvm tests for (compressed) nandi (with immediate) - 9d4eb39 - Merge branch 'main' into support-compressed - 9333fbf - Merge pull request #92 from jokap11/feature-cli-supp - 156aefb - Merge pull request #94 from tum-ei-eda/support-rv64 - 2fa1cbc - Merge pull request #83 from tum-ei-eda/feature-transform-api - f706884 - Merge branch 'main' into feature-transform-api - 36e3f46 - Copied Apache license header + small bug fix - 6abc816 - update cdsl2llvm dep - e071c95 - Merge remote-tracking branch 'origin/main' into support-rv64 - d67d944 - lint docs/conf - 0ffae45 - remove old todo - b764bf5 - examples: add explicit mnemonic for subincacc (rv32 and rv64) - d99069f - examples: add more tests for rv32 and rv64 example - ca1415c - example: add xexample64 tests - a983a0f - ci: add ignoreerror as input to demo.yml - 378dc73 - examples: expose IGNOREERROR as env var - d3a9475 - add xrvc tests - 16cef47 - ExampleRV32C.coredesc: rename set - cc81d42 - Make --dir dependant on local var / Add name attributes to systemy.yml => Avoid argument for everything but init - f475ed3 - Move redundant args to common.py global args - 6f701b6 - demo script uses now build directory working on Ubuntu 22.10 - ff370c0 - Adjusted args.DIR -> args.dir - 0bd8811 - fix behavior in ExampleRV32C.coredesc - eee23ec - lint code - bf15952 - BehaviorModelBuilder: fix visitStringconstant (drop surrounding double quotes) - 4e21e9b - finish pattern support for compressed instructions - 462a437 - move logic from riscvinstrinfo to Seal5Instruction class (self.llvm*) - 8962364 - ignore *.jar files - 757c47b - model: add Seal5InstrAttribute.COMPRESSED - dd69850 - seal5/frontends/coredsl2seal5/ update antlr generated files - ce17574 - seal5/frontends/coredsl2seal5/behaviormodelbuilder.py: add visitStringconstant - 0ab2821 - seal5/frontends/coredsl2seal5/behaviormodelbuilder.py: allow Seal5InstrAttribute in coredsl files (TODO: how to upstream this?) - db058e3 - seal5/frontends/coredsl2seal5/antlr.sh: update path and version - 54dd7db - seal5/backends/riscvinstrinfo: add code generation for CompressPat (WIP) - 027b4ad - requirements.txt: use different m2isar branch - 3c03322 - seal5/frontends/coredsl2seal5: add stringconstant to coredsl grammar - a1bbeb1 - backends/coredsl2/writer.py: add helper for converting attribute vals - fb4f6cb - Switched DIR to -dir - 6042a97 - switched file mode to 755 - 83aaaa5 - Added similar demo.sh script to demo.py for CLI - 35d2f80 - Small argument adjustment to be coherent - a194374 - Full CLI command support to express demo.py - 1a3a375 - Revert "[Seal5] Apply patch: gitignore" - 4f3f7b5 - Revert "[Seal5] [CI] Add CI/CD-Configuration for GitLab" - 143b623 - Revert "[Seal5] Apply patch: gitignore" - ca1d9ee - Patch Command + moved default folder away from main project ^:) - acf4c74 - [Seal5] Apply patch: gitignore - 2837038 - [Seal5] [CI] Add CI/CD-Configuration for GitLab - 0d64b9d - [Seal5] Apply patch: gitignore - b321393 - add examples/rv64demo.py & examples/cdsl/ExampleRV64.coredesc files - a5576a4 - add examples/cdsl/ExampleRV32C.coredesc file - ebfba25 - Extended with missing encodingsizes object - 9f3587d - BUG-FIX: Made setting reset dependant of func arg - ce23d57 - Add clean, reset, setup and transform CLI command - 0b10560 - Small fix for forgotten attribute functions.opcodes - fd86a7a - add comment - 5b6e90b - add comment - 82e35e1 - Add files via upload - 7140559 - Update README.md - 3507804 - support compressed(16bit) instructions - afe710c - CLI Load command - 5e588a6 - Rectified Format + Right action for init - 5975149 - ignore some flake8 warnings which conflict with black - 9f24c55 - Full CLI Init command - f01bbab - flow: declare versioninfo - 04133a7 - support 64bit instructions - 9dbc19d - Merge branch 'main' into feature-transform-api - d1c86f2 - Merge pull request #85 from tum-ei-eda/tidy-up - 79c6eae - Reverting bad corevdemo.py push - 0bd288f - Added test case for example extension - 52769eb - Submodule catchup - dc80494 - Example test case llvm-lit-ified - f5a614c - add rvcdemo.py - 3b680a2 - examples/cfg: define pass defaults for verbose and usesubprocess - a427049 - Removed dangling file - 4591e0c - Example extension tidy-up - d964251 - riscvinstrinfo: update regex for operands detection - e2b1795 - lint code - 429d1c8 - resolve max-line-len violations - e46c51f - ignore some flake8 warnings which conflict with black - ff80353 - lint code - 69dd6b1 - remove flake8 warnings - d2b5ef3 - wip: make log_level configurable for each pass (TODO: integrate in PassAPI) - cfce7fa - refactor transforms to be callable via python
- Python
Published by github-actions[bot] over 1 year ago
seal5 - Release v0.1.2
Changes in this Release: - 69e981d - update version: v0.1.2 - 42ed8d9 - [ci] update release.yml
- Python
Published by github-actions[bot] almost 2 years ago