Commit graph

189 commits

Author SHA1 Message Date
Louis Rubet
f2c7753f62 #34: debug for..step commands 2017-05-19 14:12:48 +02:00
Louis Rubet
c250535dd9 #34: implement step command for mpfr 2017-05-17 19:33:38 +02:00
Louis Rubet
e4dced2735 #34: debug for..netx commands 2017-05-17 18:15:03 +02:00
Louis Rubet
a16a9e13ce #3: completed branch 2017-05-17 18:14:33 +02:00
Louis Rubet
90d67f00cf #34: go on debugging start-next commands 2017-05-15 18:00:31 +02:00
Louis Rubet
075aa90fdd #3: added branch tests 2017-05-15 17:18:36 +02:00
Louis Rubet
4de622514e #34: refactoring start..next 2017-05-15 17:17:49 +02:00
Louis Rubet
567ae251c9 #3: renamed tests on test ! 2017-05-13 12:46:42 +02:00
Louis Rubet
e22233c195 #3: test string commands 2017-05-13 12:43:53 +02:00
Louis Rubet
0520646388 #3: test string commands 2017-05-13 12:41:40 +02:00
Louis Rubet
094ce87af1 #52: debug type command 2017-05-13 12:20:07 +02:00
Louis Rubet
33950edba0 #53: removed comand verbose 2017-05-13 12:19:07 +02:00
Louis Rubet
f9ff4f4394 #3: general and real tests 2017-05-13 12:08:41 +02:00
Louis Rubet
ad6e5f598a #3: added string test 2017-05-12 17:47:34 +02:00
Louis Rubet
102073afe3 #3: added default test 2017-05-12 17:27:40 +02:00
Louis Rubet
9ba4654812 #51: type command does not drop its argument anymore 2017-05-02 17:48:14 +02:00
Louis Rubet
3fb349e00b #47: hex, dec, bin are now per real 2017-05-02 17:30:34 +02:00
Louis Rubet
600ec10e59 #3: completed some tests 2017-05-02 17:06:08 +02:00
Louis Rubet
9923cbe514 #50: corrected regression on rot 2017-05-02 17:05:09 +02:00
Louis Rubet
ac692e2f47 #3: completed binary tests 2017-05-02 16:49:57 +02:00
Louis Rubet
6092d15e77 #47: removed binary type and functions 2017-05-02 16:16:46 +02:00
Louis Rubet
eedb29a929 #49: debug eval issue 2017-05-02 11:57:10 +02:00
Louis Rubet
fc4b4dfcd5 #49: debug autoeval issue 2017-05-02 11:39:26 +02:00
Louis Rubet
fdb7c8bff8 #49: debug autoeval issue 2017-05-02 11:33:37 +02:00
Louis Rubet
fd88844f4b #34: debug tests on MPRF 2017-05-02 11:27:04 +02:00
Louis Rubet
d24739734b #3: testing general functions 2017-05-02 10:55:12 +02:00
Louis Rubet
3dbe71fb8b #34, #48: LGPLv3 + mention of MPFR 2017-05-02 10:53:50 +02:00
Louis Rubet
5e15b3b8dc #5, #34: stack and mpfr issues 2017-05-02 10:47:31 +02:00
Louis Rubet
6101f527a1 #5: stack refactoring 2017-05-02 10:47:03 +02:00
Louis Rubet
fa778e4a7c #34: corrected mpfr issues 2017-05-02 10:45:28 +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
72a59457b1 Corrected tests 2017-04-29 16:46:46 +02:00
Louis Rubet
b0e55854a3 #44: debug get_binary_bin 2017-04-29 16:09:50 +02:00
Louis Rubet
63229a1c8c #3: corrected entry test 2017-04-29 15:44:06 +02:00
Louis Rubet
03bb976b65 #5: stack refactoring 2017-04-29 15:43:05 +02:00
Louis Rubet
d175626a9d #5: changes due to stack refactoring 2017-04-29 15:42:41 +02:00
Louis Rubet
7de1177570 #5: changes due to stack refactoring 2017-04-29 15:42:06 +02:00
Louis Rubet
da340837e3 #34: Parsing float for mpfr 2017-04-29 15:40:55 +02:00
Louis Rubet
136afd3b3c Added type, default, pow, sqr, test usage 2017-04-29 15:39:44 +02:00
Louis Rubet
c3fff7d08f Added debug capacities 2017-04-29 15:38:34 +02:00
Louis Rubet
dc71d2c560 #3: completed entry 2017-04-23 15:57:25 +02:00
Louis Rubet
d7fe2ce743 #2: new test sheets 2017-04-23 15:50:19 +02:00
Louis Rubet
4d394e845e #34: stack refactoring 2017-04-23 15:49:28 +02:00
Louis Rubet
df3042325a #2: corrected step determination criteria 2017-04-23 15:37:42 +02:00
Louis Rubet
d4a47c32ff #46: added command default 2017-04-23 15:02:46 +02:00
Louis Rubet
e375323434 #2: test (core) function updated 2017-04-22 22:49:44 +02:00
Louis Rubet
fd9a78904d #45: added command type 2017-04-22 22:17:51 +02:00
Louis Rubet
b1a3b686f4 #34: debug depth 2017-04-22 11:39:24 +02:00
Louis Rubet
5a38bb3cfc #34: debug btor 2017-04-22 11:21:55 +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