search

vermaseren / form

The FORM project for symbolic manipulation of very big expressions
GNU General Public License v3.0
1.15k stars 136 forks source link

Tablebase readonly mode #531

Open Herren opened 4 months ago

Herren commented 4 months ago

As suggested by @jodavies during the currently ongoing FORM workshop, I added an option to the tablebase open command, allowing to open tablebases in read-only mode. This allows to load tablebases in shared environments where not all users of the tablebases have write permissions. In case the addto command is called on a readonly tablebase file, an error is thrown and FORM terminates.

The syntax is simply: TableBase "tablename.tbl" open, readonly

Some documentation on this feature is also added to the relevant manual file.

coveralls commented 4 months ago

Coverage Status

coverage: 50.002% (+0.003%) from 49.999% when pulling 7ed3e849fd448d6eaf56b92a0f853a93b103a1d2 on Herren:tablebase_readonly into 83e3d4185efca2e5938c665a6df9d67d6d9492ca on vermaseren:master.