Activity
From 06 Jul 2023 to 04 Aug 2023
03 Aug 2023
- 16:05 Support #1759: Better error mesg for 1.2.3.4?
- Maybe try some other similar wrong inputs? @1.2.@ or @1.2.3@ or even @1.2.3.4.5@
- 16:04 Support #1759 (New): Better error mesg for 1.2.3.4?
- I mistyped and obtained an error message which could be better:...
06 Jul 2023
- 12:14 Feature #1752: Make it easy to run the tests in a public/distrib version
- One possibility is to include the @src/CoCoA-5/tests@ directory in the distribution... it is no doubt small in compar...
- 12:12 Feature #1752 (New): Make it easy to run the tests in a public/distrib version
- It is not currently so easy to verify that the distributed "pre-compiled" version of CoCoA-5 passes all the tests.
M...
Also available in: Atom