Add la_mult_pos and la_mult_neg rules (!6) · Merge requests · veriT / Alethe

Merged Lachnitt requested to merge Add-la_mult-rules into master 10 months ago

Status	Pipeline	Stages	Actions
Passed 00:00:59 10 months ago	Apply 1 suggestion(s) to 1 file(s) #24090 Add-la_mult-rules a07a3f6d	Stage: build	No artifacts found
Passed 00:02:56 10 months ago	Merge branch 'Add-la_mult-rules' of https://gitlab.uliege.be/verit/alethe into Add-la_mult-rules #24083 Add-la_mult-rules 81149671	Stage: build	No artifacts found
Passed 00:00:57 10 months ago	Delete accidental copy #24082 Add-la_mult-rules fbea37e0	Stage: build	No artifacts found
Passed 00:02:20 10 months ago	Apply 3 suggestion(s) to 1 file(s) #24081 Add-la_mult-rules 8535f765	Stage: build	No artifacts found
Passed 00:02:13 10 months ago	Add draft for la mult rules #24014 Add-la_mult-rules b7c1ff6b	Stage: build	No artifacts found

Add la_mult_pos and la_mult_neg rules