|
|
05052f846e
|
eris: remove file+line from most error messages
|
2021-03-18 12:36:55 -04:00 |
|
|
|
fa23ad87c7
|
eris: change the default number format to %.16g
|
2021-03-18 12:07:16 -04:00 |
|
|
|
80b3e84c52
|
eris: initialization and serialization for 'nextid' field
|
2021-03-08 13:26:23 -05:00 |
|
|
|
23ae577fbb
|
eris: add 'getnextid' and 'setnextid'
|
2021-02-28 14:35:10 -05:00 |
|
|
|
21d6203d27
|
eris: add 'build.bat' and update makefile'
|
2021-02-28 13:33:45 -05:00 |
|
|
|
51d41d11bb
|
Install eris-master into tree
|
2021-02-28 13:24:47 -05:00 |
|
