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

May 28, 2024
- Apply 1 suggestion(s) to 1 file(s) · a07a3f6d
  Haniel Barbosa authored 10 months ago and Lachnitt committed 10 months ago
  
  Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
  a07a3f6d
- Merge branch 'Add-la_mult-rules' of https://gitlab.uliege.be/verit/alethe into Add-la_mult-rules · 81149671
  Lachnitt authored 10 months ago
  
  81149671
- document additon of la_mult rules in changelog · daf9ce83
  Lachnitt authored 10 months ago
  
  daf9ce83
- Delete accidental copy · fbea37e0
  Lachnitt authored 10 months ago
  
  fbea37e0
- Apply 3 suggestion(s) to 1 file(s) · 8535f765
  Hans-Jörg authored 10 months ago and Lachnitt committed 10 months ago
  
  Co-authored-by: Hans-Jörg <commits@schurr.at>
  8535f765
May 24, 2024
- Add draft for la mult rules · b7c1ff6b
  Lachnitt authored 10 months ago
  
  b7c1ff6b

Add la_mult_pos and la_mult_neg rules