Skip to content
Navigation Menu
Toggle navigation
Sign in
Product
GitHub Copilot
Write better code with AI
Security
Find and fix vulnerabilities
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Discussions
Collaborate outside of code
Code Search
Find more, search less
Explore
All features
Documentation
GitHub Skills
Blog
Solutions
By company size
Enterprises
Small and medium teams
Startups
By use case
DevSecOps
DevOps
CI/CD
View all use cases
By industry
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
Topics
AI
DevOps
Security
Software Development
View all
Explore
Learning Pathways
White papers, Ebooks, Webinars
Customer Stories
Partners
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
Enterprise platform
AI-powered developer platform
Available add-ons
Advanced Security
Enterprise-grade security features
GitHub Copilot
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
Reseting focus
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
casm-lang
/
libcasm-fe
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Security
Insights
Additional navigation options
Code
Pull requests
Actions
Security
Insights
Commits
Branch selector
master
User selector
ppaulweber
Datepicker
All time
Commit History
Commits on Jan 28, 2024
Happy New Year 🎉
ppaulweber
committed
Jan 28, 2024
657ed94
Commits on Feb 4, 2023
Happy New Year 🎉
ppaulweber
committed
Feb 4, 2023
39dd12e
Commits on Jan 2, 2023
Merge pull request
#212
from casm-lang/feature/choose_rule
ppaulweber
authored
Jan 2, 2023
463bcf0
ExecutionVisitor: integrated conditional variable choosing for ChooseRule node
ppaulweber
committed
Jan 2, 2023
1e579a6
SymbolicConsistencyVisitor: updated ChooseRule
ppaulweber
committed
Jan 2, 2023
81d0259
UpdateException: format source code
ppaulweber
committed
Jan 2, 2023
46a3d33
TypeInferencePass: provided new ChooseRule support and adopted RangeLiteral
ppaulweber
committed
Jan 2, 2023
7e140fb
FrameSizeDeterminationPass: updated ChooseRule
ppaulweber
committed
Jan 2, 2023
68dcfbe
ConsistencyCheckPass: added ChooseRule stub
ppaulweber
committed
Jan 2, 2023
870a759
TypeCheckPass: format source code
ppaulweber
committed
Jan 2, 2023
f50e753
PropertyResolverPass: updated ChooseRule node
ppaulweber
committed
Jan 2, 2023
ac68fe7
PropertyRevisePass: updated ChooseRule node
ppaulweber
committed
Jan 2, 2023
9ba0f17
SymbolResolverPass: updated ChooseRule node
ppaulweber
committed
Jan 2, 2023
8218105
AstToCstPass: updated ChooseRule transformation
ppaulweber
committed
Jan 2, 2023
ea065e0
CstToAstPass: implemented n:1 flatting of ChooseRule nodes
ppaulweber
committed
Jan 2, 2023
cab3082
AstDumpPass: format source code
ppaulweber
committed
Jan 2, 2023
83c3f26
CstDumpPass: format source code
ppaulweber
committed
Jan 2, 2023
47b8456
LstDumpPass: format source code
ppaulweber
committed
Jan 2, 2023
7a99279
LST: updated Visitor implementation
ppaulweber
committed
Jan 2, 2023
1865052
LST: use flat variable, univierse, and condition in ChooseRule node
ppaulweber
committed
Jan 2, 2023
5979853
AST: updated Visitor implementation
ppaulweber
committed
Jan 2, 2023
753463e
AST: use VariableSelection in ChooseRule node
ppaulweber
committed
Jan 2, 2023
8429c5c
CST: format source code
ppaulweber
committed
Jan 2, 2023
410c2e5
CST: updated Visitor implementation
ppaulweber
committed
Jan 2, 2023
0cb785e
CST: use VariableSelection in ChooseRule node
ppaulweber
committed
Jan 2, 2023
daf7dfe
Grammar: generated source code
ppaulweber
committed
Jan 2, 2023
86b58c7
Grammar: use VariableSelections for ChooseRule
ppaulweber
committed
Jan 2, 2023
5f23594
Configuration: format source code
ppaulweber
committed
Jan 2, 2023
4e6f354
Test: format source code
ppaulweber
committed
Jan 2, 2023
e20db1f
Commits on Dec 2, 2022
Merge pull request
#211
from casm-lang/feature/choose_with_condition
ppaulweber
authored
Dec 2, 2022
532db18
ExecutionVisitor: provided execution behavior for ChooseExpression with condition
ppaulweber
committed
Dec 2, 2022
c4320e5
SymbolicConsistencyVisitor: simplified ChooseExpression node handling
ppaulweber
committed
Dec 2, 2022
13b366c
FrameSizeDeterminiationPass: updated ChooseExpression node
ppaulweber
committed
Dec 2, 2022
3f97b98
PropertyResolverPass: updated ChooseExpression node
ppaulweber
committed
Dec 2, 2022
71ceeca
TemplatingPass: added VariableSelection stubs
ppaulweber
committed
Dec 2, 2022
13cd645
Pagination
Previous
Next
You can’t perform that action at this time.