{"id":13993627,"url":"https://github.com/ics-jku/wal","last_synced_at":"2025-07-22T18:30:47.220Z","repository":{"id":40676687,"uuid":"419785116","full_name":"ics-jku/wal","owner":"ics-jku","description":"WAL enables programmable waveform analysis.","archived":false,"fork":false,"pushed_at":"2025-06-05T13:18:14.000Z","size":1794,"stargazers_count":152,"open_issues_count":8,"forks_count":21,"subscribers_count":9,"default_branch":"main","last_synced_at":"2025-06-05T14:25:20.127Z","etag":null,"topics":["eda","hardware","rtl","verification"],"latest_commit_sha":null,"homepage":"https://wal-lang.org","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ics-jku.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-10-21T15:49:43.000Z","updated_at":"2025-06-05T13:18:16.000Z","dependencies_parsed_at":"2023-11-09T11:24:23.146Z","dependency_job_id":"4535f870-1cef-41cb-a1e2-1277fca51c29","html_url":"https://github.com/ics-jku/wal","commit_stats":{"total_commits":136,"total_committers":4,"mean_commits":34.0,"dds":"0.34558823529411764","last_synced_commit":"1ffa6a3fc074909fbabae51260e272d25f135b60"},"previous_names":[],"tags_count":8,"template":false,"template_full_name":null,"purl":"pkg:github/ics-jku/wal","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ics-jku%2Fwal","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ics-jku%2Fwal/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ics-jku%2Fwal/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ics-jku%2Fwal/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ics-jku","download_url":"https://codeload.github.com/ics-jku/wal/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ics-jku%2Fwal/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":266552235,"owners_count":23947172,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-07-22T02:00:09.085Z","response_time":66,"last_error":null,"robots_txt_status":null,"robots_txt_updated_at":null,"robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["eda","hardware","rtl","verification"],"created_at":"2024-08-09T14:02:28.439Z","updated_at":"2025-07-22T18:30:46.844Z","avatar_url":"https://github.com/ics-jku.png","language":"Python","funding_links":[],"categories":["Python"],"sub_categories":[],"readme":"# WAL the Waveform Analysis Language\n[![Test and Build](https://github.com/ics-jku/wal/actions/workflows/python-app.yml/badge.svg)](https://github.com/ics-jku/wal/actions/workflows/python-app.yml)\n\n\u003cp align=\"center\"\u003e\n  \u003cimg src=\"https://wal-lang.org/static/logo.svg?\" alt=\"The Waveform Analysis language logo\" width=\"200\"/\u003e\n\u003c/p\u003e\n\nWelcome to the Waveform Analysis Language (WAL) repository. This domain-specific language aims at enabling automated and sophisticated analysis of hardware waveforms. In WAL, hardware-specific things such as signals and simulation time are treated as first-class citizens of the language.\n\n## Installation from PyPi\nWAL is available from [PyPi](https://pypi.org/project/wal-lang/)!\n\u003e pip install wal-lang --user\n\nOn some systems, pip does not add WALs installation path to the PATH variable. If the \"wal\" command is not available after installation please add the installation path, e.g. ~/.local/bin on Ubuntu, to your PATH variable.\n\nTo get the latest development version of WAL you can clone this repository.\nAfter that, follow the instructions for your OS below inside the cloned directory.\n\n## Installation from Source\nFor Ubuntu (22.04 LTS):\n```\nsudo apt install git cmake python3-cffi python3.10-venv python3-pip build-essential -y\ngit clone https://github.com/ics-jku/wal.git\ncd wal\nPYTHON=python3 make install\necho \"export PATH=\\$PATH:$HOME/.local/bin\" \u003e\u003e ~/.bashrc\n```\n\nFor Fedora (36):\n```\nsudo dnf install git cmake g++ zlib-devel python3-devel -y\ngit clone https://github.com/ics-jku/wal.git\ncd wal\nmake install\n```\n\nFor OpenSuse Tumbleweed:\n```\nsudo zypper install git cmake gcc-c++ zlib-devel python3-devel\ngit clone https://github.com/ics-jku/wal.git\ncd wal\nmake install\n```\n\n### Support for fst waveforms\nTo add support for the fst filetype to WAL, install the `pylibfst` package.\n```\npip install --user pylibfst\n```\n\n### PyPy and Pyston Support\nWAL also supports the alternative Python implementations PyPy and Pyston.\nBoth alternative implementations can lead to substantial speedups in a lot of scenarios.\nTo install WAL with an alternative implementation change the *PYTHON* variable in the Makefile or install with `PYTHON=pypy3 make install`.\n\nIf you are using PyPy you must also have the python-dev package installed for PyPy3.\nOn Ubuntu this package can be installed with 'sudo apt install pypy3-dev'.\n\n## Documentation\nThe WAL Programmer Manual is available on [wal-lang.org](https://wal-lang.org/documentation/core).\n\n## Examples\nTo get an impression of WAL you can check out [basic examples](https://github.com/ics-jku/wal/tree/main/examples/basics).\nAlso, this ASCII cast [ASCII Cast](https://asciinema.org/a/I8fQknySyaZqNjXAA8Ej7wOoq), shows how the WAL REPL is used to compare two RISCV cores.\n\n### WAWK\n[WAWK](https://github.com/ics-jku/wal/tree/main/wawk) is a project building on top of the WAL language. It combines the waveform analysis of WAL with the programming Style of AWK.\nInternally, WAWK is transpiled to WAL expressions, showcasing how new languages can be build on top of WAL.\n\n## Publications\nThe initial paper on WAL was presented at ASPDAC'22 and can be downloaded here: https://www.ics.jku.at/files/2022ASPDAC_WAL.pdf.\nThe examples from the paper can be found in the *examples* folder.\n\nIf you like WAL or found it useful, you can cite our paper as follows:\n\n```\n@InProceedings{KG:2022,\n  author        = {Lucas Klemmer and Daniel Gro{\\ss}e},\n  title         = {{WAL:} A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging},\n  booktitle     = {ASP Design Automation Conf.},\n  year          = 2022\n}\n\n```\n\nWAL was also used in other publications for [processor analysis](https://doi.org/10.1145/3489517.3530623), [Spade HDL integration](https://doi.org/10.1109/FDL59689.2023.10272204), [pipeline visualization](https://ics.jku.at/files/2023RISCVSummit_DSLforVisualizingPipelines.pdf), and for a novel [debug methodology](https://ics.jku.at/files/2024ASPDAC_WAL-VirtualSignals.pdf).\n\n## Emacs Mode\nA basic major mode for Emacs is available [here](https://github.com/LucasKl/wal-major-mode).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fics-jku%2Fwal","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fics-jku%2Fwal","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fics-jku%2Fwal/lists"}