Commit graph

672 commits

Author SHA1 Message Date
Louis Rubet
2311fbcf14 #5, #34: stack and mpfr issues 2017-05-02 10:47:31 +02:00
Louis Rubet
5e15b3b8dc #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
6101f527a1 #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
fa778e4a7c #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
e47a34529b #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
72a59457b1 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
b0e55854a3 #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
63229a1c8c #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
03bb976b65 #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
d175626a9d #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
7de1177570 #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
da340837e3 #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
136afd3b3c 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
c3fff7d08f 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
dc71d2c560 #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
d7fe2ce743 #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
4d394e845e #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
df3042325a #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
d4a47c32ff #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
e375323434 #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
fd9a78904d #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
b1a3b686f4 #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
5a38bb3cfc #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
5d1a76f539 #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
47a38ba5ae #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
Louis Rubet
991313dbaf #34: going to significand stored in stack [first part] 2017-04-21 17:40:01 +02:00