Skip to content
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

Jump to bottom

Policy conversion #105

Merged
merged 82 commits into from
Dec 25, 2024
Merged

Policy conversion #105

merged 82 commits into from
Dec 25, 2024

Conversation

ShiriMoran
Copy link
Contributor

No description provided.

ShiriMoran and others added 30 commits December 16, 2024 17:32
@ShiriMoran
added source and destination Groups to Rule
c519f8e
@ShiriMoran
added source and destination Groups to FwRule
89ffc7d
@ShiriMoran
label can be group
6f528f6
@ShiriMoran
synthesis skeleton
167bfe9
@ShiriMoran
typo fix
24440c2
@ShiriMoran
synthesis test
33039e8
@ShiriMoran
NewAtomicTerm
3214816
@ShiriMoran
renaming
439cb1e
@ShiriMoran
typo fix
f79b9ec
@ShiriMoran
typo fix
44ef571
@ShiriMoran
1. Gather the relevant group info into parsedRule
ac06b52 
2. symbolicPaths will be computed an d used only for synthesis; no need to have it in FWRule
@ShiriMoran
added relevant group info to FWRule
5f06a8c
@ShiriMoran
Scope added to FWRule
ab29c8e
@ShiriMoran
Added test printing and exported fields to be used by synthesis
57080c7
@ShiriMoran
update model
e17dfd6
@ShiriMoran
code for convertFWRuleToSymbolicPaths
a583ac2
@ShiriMoran
print path conversion result
7903b88
@ShiriMoran
gathered the data into the relevant data structure and moved printing…
b58a20d 
… to the higher level
@ShiriMoran
renaming
f44b339
@ShiriMoran
minor reorg
a8380bb
@ShiriMoran
test preProcessing
33455b8
@ShiriMoran
moved redundant code
91286b5
@ShiriMoran
temp WA
266ebf1
@ShiriMoran
fixed code so that tests will work after the changes
317c27b
@ShiriMoran
the issue seems to be in the PR pipe and not in my code
509fe93
@ShiriMoran
Merge branch 'main' into synthesisPreProcessing
9dc3066
@ShiriMoran
update wrt latest changes
c48a6fb
@ShiriMoran
lint
61543c3
@ShiriMoran
lint
51dca54
@ShiriMoran
temp commit
05007f9
@ShiriMoran ShiriMoran requested a review from adisos December 25, 2024 12:18
@ShiriMoran ShiriMoran marked this pull request as draft December 25, 2024 12:39
@ShiriMoran ShiriMoran marked this pull request as ready for review December 25, 2024 13:09
@ShiriMoran ShiriMoran merged commit 1983eca into main Dec 25, 2024
4 checks passed
@ShiriMoran ShiriMoran deleted the policyConversion branch December 25, 2024 13:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@adisos adisos adisos approved these changes

Assignees
No one assigned
Labels
size/L
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ShiriMoran @adisos