Commit graph

184 commits

Author SHA1 Message Date
Louis Rubet
fa1ba11683 #3: added branch tests 2017-05-15 17:18:36 +02:00
Louis Rubet
dc2d33393a #34: refactoring start..next 2017-05-15 17:17:49 +02:00
Louis Rubet
8f0d815f1e #3: renamed tests on test ! 2017-05-13 12:46:42 +02:00
Louis Rubet
7d95bbb211 #3: test string commands 2017-05-13 12:43:53 +02:00
Louis Rubet
95835cae84 #3: test string commands 2017-05-13 12:41:40 +02:00
Louis Rubet
3f77c053c5 #52: debug type command 2017-05-13 12:20:07 +02:00
Louis Rubet
4978776ee0 #53: removed comand verbose 2017-05-13 12:19:07 +02:00
Louis Rubet
a01c5b50bc #3: general and real tests 2017-05-13 12:08:41 +02:00
Louis Rubet
a74eb3914c #3: added string test 2017-05-12 17:47:34 +02:00
Louis Rubet
feffc80bcc #3: added default test 2017-05-12 17:27:40 +02:00
Louis Rubet
9846c3885b #51: type command does not drop its argument anymore 2017-05-02 17:48:14 +02:00
Louis Rubet
e935c5356a #47: hex, dec, bin are now per real 2017-05-02 17:30:34 +02:00
Louis Rubet
f6c18b40a0 #3: completed some tests 2017-05-02 17:06:08 +02:00
Louis Rubet
b9d9f631b0 #50: corrected regression on rot 2017-05-02 17:05:09 +02:00
Louis Rubet
aa660fe8f4 #3: completed binary tests 2017-05-02 16:49:57 +02:00
Louis Rubet
d7a13566fd #47: removed binary type and functions 2017-05-02 16:16:46 +02:00
Louis Rubet
b7691135ed #49: debug eval issue 2017-05-02 11:57:10 +02:00
Louis Rubet
7fe9b7d1ae #49: debug autoeval issue 2017-05-02 11:39:26 +02:00
Louis Rubet
3341e68d64 #49: debug autoeval issue 2017-05-02 11:33:37 +02:00
Louis Rubet
18513ca48b #34: debug tests on MPRF 2017-05-02 11:27:04 +02:00
Louis Rubet
3f79bfee1e #3: testing general functions 2017-05-02 10:55:12 +02:00
Louis Rubet
2e235c1e17 #34, #48: LGPLv3 + mention of MPFR 2017-05-02 10:53:50 +02:00
Louis Rubet
2311fbcf14 #5, #34: stack and mpfr issues 2017-05-02 10:47:31 +02:00
Louis Rubet
e63e6f98aa #5: stack refactoring 2017-05-02 10:47:03 +02:00
Louis Rubet
6fe768006a #34: corrected mpfr issues 2017-05-02 10:45:28 +02:00
Louis Rubet
db320874b6 #5: used correct mpfr_t obj instead of internal MPFR struct 2017-04-29 16:48:14 +02:00
Louis Rubet
537984acd3 Corrected tests 2017-04-29 16:46:46 +02:00
Louis Rubet
dce5743ddf #44: debug get_binary_bin 2017-04-29 16:09:50 +02:00
Louis Rubet
d808cff98b #3: corrected entry test 2017-04-29 15:44:06 +02:00
Louis Rubet
1f48300307 #5: stack refactoring 2017-04-29 15:43:05 +02:00
Louis Rubet
a7255022f9 #5: changes due to stack refactoring 2017-04-29 15:42:41 +02:00
Louis Rubet
58081a3a9e #5: changes due to stack refactoring 2017-04-29 15:42:06 +02:00
Louis Rubet
10a24649c6 #34: Parsing float for mpfr 2017-04-29 15:40:55 +02:00
Louis Rubet
9732561f35 Added type, default, pow, sqr, test usage 2017-04-29 15:39:44 +02:00
Louis Rubet
ea2d25eda3 Added debug capacities 2017-04-29 15:38:34 +02:00
Louis Rubet
d5044077d3 #3: completed entry 2017-04-23 15:57:25 +02:00
Louis Rubet
f3e052db40 #2: new test sheets 2017-04-23 15:50:19 +02:00
Louis Rubet
afd9b0f71c #34: stack refactoring 2017-04-23 15:49:28 +02:00
Louis Rubet
9b706b0099 #2: corrected step determination criteria 2017-04-23 15:37:42 +02:00
Louis Rubet
bdfad9624e #46: added command default 2017-04-23 15:02:46 +02:00
Louis Rubet
f2c65aa4be #2: test (core) function updated 2017-04-22 22:49:44 +02:00
Louis Rubet
335d6f493f #45: added command type 2017-04-22 22:17:51 +02:00
Louis Rubet
c388572fa8 #34: debug depth 2017-04-22 11:39:24 +02:00
Louis Rubet
eb08856132 #34: debug btor 2017-04-22 11:21:55 +02:00
Louis Rubet
0bf44471cb #34: removed adding of pow and sqr (should be changed in its own issue) 2017-04-22 10:53:52 +02:00
Louis Rubet
812bd01d6a #34: going to significand stored in stack [second part]: end and parse 2017-04-22 00:29:50 +02:00
Louis Rubet
e786df74a8 #34: going to significand stored in stack [first part] 2017-04-21 17:40:01 +02:00
RUBET Louis
2bdc1c4f72 #34: refactored stack::pop_back() for easier code 2017-04-21 13:58:44 +02:00
Louis Rubet
980a282fbd #34: version change 2017-04-20 23:06:49 +02:00
Louis Rubet
88708825e4 #34: implements logs, real, test, trig commands with MPFR 2017-04-20 22:46:48 +02:00