Clarification regarding contractor bitsets about ibex-lib

[gchabert]

My advice is to use mutable constants. It's unfortunately not documented yet, but this is what best fits your problem.
Just add a star below the constant declaration in the Minibex file, e.g.,

constants 
 * x = 1;   // ---> mutable constant
   y = 2;   //        regular constant

The constant is then accessible in c++ and can be dynamically changed, see the System::constant(char*) function. But be aware that a mutable constant also hinders the simplification process (so to be used with parsimony).
Hope it will solve your problem.

[eparrott]

Thanks Gilles! That actually sounds like exactly what I'm looking for! I appreciate your help! Cheers, Ted Edward Parrott - BSE.ME, MSc.ME PhD Candidate - Advanced Controls University of New Brunswick 506-878-3859

…

-------- Original message -------- From: Gilles Chabert ***@***.***> Date: 2021-05-10 5:59 p.m. (GMT-04:00) To: ibex-team/ibex-lib ***@***.***> Cc: Edward Barrington Parrott ***@***.***>, Author ***@***.***> Subject: Re: [ibex-team/ibex-lib] Clarification regarding contractor bitsets (#509) ✉External message: Use caution. My advice is to use mutable constants. It's unfortunately not documented yet, but this is what best fits your problem. Just add a star below the constant declaration in the Minibex file, e.g., constants * x = 1; // ---> mutable constant y = 2; // regular constant The constant is then accessible in c++ and can be dynamically changed, see the System::constant(char*) function. But be aware that a mutable constant also hinders the simplification process (so to be used with parsimony). Hope it will solve your problem. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub<#509 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AMERNWVRECHRM2MPAYSHEDDTNBCLVANCNFSM44EY3X6Q>.

[gchabert]

You're welcome. Do you allow me to add your name in the guest book ?

[eparrott]

Gilles, Sure! Go right ahead. Ted Edward Parrott - BSE.ME, MSc.ME PhD Candidate - Advanced Controls University of New Brunswick 506-878-3859

…

-------- Original message -------- From: Gilles Chabert ***@***.***> Date: 2021-05-10 6:13 p.m. (GMT-04:00) To: ibex-team/ibex-lib ***@***.***> Cc: Edward Barrington Parrott ***@***.***>, Author ***@***.***> Subject: Re: [ibex-team/ibex-lib] Clarification regarding contractor bitsets (#509) ✉External message: Use caution. You're welcome. Do you allow me to add your name in the guest book<http://www.ibex-lib.org/guestbook> ? — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub<#509 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AMERNWQSA6MTI4KAXHBRJQTTNBEAZANCNFSM44EY3X6Q>.