Commit graph

656 commits

Author SHA1 Message Date
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
RUBET Louis
2bdc1c4f72 #34: refactored stack::pop_back() for easier code 2017-04-21 13:58:44 +02:00
Louis Rubet
14adfd873e #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
c877cb20d8 #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
Louis Rubet
ee508bb605 #34: implements logs, real, test, trig commands with MPFR 2017-04-20 22:46:48 +02:00
Louis Rubet
0f8f76f283 #34: implemented binary, branch, general, stack and store commands 2017-04-19 23:31:18 +02:00
Louis Rubet
c2b3b2a35a #34: implemented binary, branch, general, stack and store commands 2017-04-19 23:31:18 +02:00
Louis Rubet
67403c56ff #34: update test commands 2017-04-19 14:13:22 +02:00
Louis Rubet
f43bd3f9d9 #34: update test commands 2017-04-19 14:13:22 +02:00
Louis Rubet
7ddde5dea5 #34: MPFR lib, general and real calc, some branch 2017-04-18 22:53:55 +02:00
Louis Rubet
a3e13d2823 #34: MPFR lib, general and real calc, some branch 2017-04-18 22:53:55 +02:00
Louis Rubet
4670aa77c0 #34: MPFR lib, first attempt 2017-04-17 23:10:53 +02:00
Louis Rubet
a3db857170 #34: MPFR lib, first attempt 2017-04-17 23:10:53 +02:00
Louis Rubet
ccca25ab24 #37: corrected buffer overflow in string allocation 2017-04-15 19:34:01 +02:00
Louis Rubet
050f66ce50 #37: corrected buffer overflow in string allocation 2017-04-15 19:34:01 +02:00