Skip to content

Issues: lf-lang/lf-lang.github.io

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

29 Open 73 Closed
29 Open 73 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Action documentation for Cpp is incorrect documentation Improvements or additions to documentation
#294 opened Nov 1, 2024 by edwardalee
@cmnrd
Mutable keyword is described for all targets, although it is only supported in C bug Something isn't working
#279 opened Jul 9, 2024 by cmnrd website cleanup
C++ tracing description is outdated
#278 opened Jul 9, 2024 by cmnrd website cleanup
@cmnrd
Check validity of target property descriptions
#276 opened Jul 8, 2024 by lhstrh
1 of 5 tasks
website cleanup
@lhstrh
2
Many links seem to be broken help wanted Extra attention is needed
#240 opened Mar 4, 2024 by AneesHl website cleanup
1
3
Ensure that all section headers are generic and not target specific
#238 opened Feb 25, 2024 by erlingrj website cleanup
3
Add link to YouTube
#213 opened Jan 12, 2024 by lhstrh
Link overlays for featured publications no longer shown
#210 opened Dec 18, 2023 by lhstrh
Run all Markdowns through Prettier
#199 opened Dec 15, 2023 by axmmisaka
Fix TODOs/FIXMEs and missing code examples
#198 opened Dec 15, 2023 by axmmisaka website cleanup
@cmnrd @oowekyala
Fix styling issue with slider on media with narrow width
#190 opened Dec 14, 2023 by axmmisaka
Fix favicon
#185 opened Dec 14, 2023 by lhstrh
Docs: Document the diagram generation options in Epoch and Code
#170 opened Sep 22, 2023 by cmnrd
Document the different parameter and state initialization syntax options in C++ documentation Improvements or additions to documentation
#157 opened Sep 8, 2023 by cmnrd
@cmnrd
1
Docs: Download and install instructions documentation Improvements or additions to documentation
#155 opened Sep 3, 2023 by lhstrh
4 tasks
@lhstrh
Docs: rp2040 target platform documentation Improvements or additions to documentation
#147 opened Aug 1, 2023 by lhstrh
@gundralaa
Search links are agnostic of target bug Something isn't working
#136 opened Apr 16, 2023 by lhstrh
1
"For developers" section for Epoch
#129 opened Mar 2, 2023 by lhstrh
Document Gradle/IntelliJ configuration issues documentation Improvements or additions to documentation
#107 opened Nov 1, 2022 by edwardalee
8
Docs: Check the documentation of target properties for Rust documentation Improvements or additions to documentation
#98 opened Jul 18, 2022 by cmnrd website cleanup
Document lfc and its command line flags good first issue Good for newcomers
#97 opened Jul 18, 2022 by cmnrd
Idea: Create a separate page for schedulers (under Reference)
#82 opened Jun 21, 2022 by Soroosh129
Docs: Add information about serializers under "Distributed Execution" documentation Improvements or additions to documentation
#78 opened Jun 20, 2022 by Soroosh129
@Soroosh129
Docs: Document CLI parsing for non-trivial types (C++) documentation Improvements or additions to documentation
#54 opened May 3, 2022 by cmnrd website cleanup
Document schedule() functions in Cpp documentation Improvements or additions to documentation
#40 opened Apr 25, 2022 by edwardalee website cleanup
@cmnrd
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.