145 commits

Author	SHA1	Message	Date
Louis Rubet	3063351a3f	#60: printf instead of cout for MPFR	2017-05-24 14:09:52 +02:00
Louis Rubet	6f3c4ffb85	#63: light stack refactoring	2017-05-24 12:01:48 +02:00
Louis Rubet	cf19da87fb	#65: modified help	2017-05-24 11:56:20 +02:00
Louis Rubet	3c4af1fda4	#63: light stack refactoring	2017-05-24 11:55:40 +02:00
Louis Rubet	967ba19d0b	#64: refactored constant.h	2017-05-23 14:55:09 +02:00
Louis Rubet	30aba89b5e	#64: added constant.h	2017-05-23 14:47:30 +02:00
Louis Rubet	a05de24703	#64: removed useless members	2017-05-23 14:34:43 +02:00
Louis Rubet	332e73d561	#63: refactored stack for heavy allocations	2017-05-23 14:34:36 +02:00
Louis Rubet	460f011b80	#63: debugging large stack reallocs	2017-05-22 23:32:39 +02:00
Louis Rubet	dc0061c724	#63: removing vectors from stack	2017-05-22 18:22:15 +02:00
Louis Rubet	1232cb10da	#63: removed object length storing	2017-05-22 17:27:54 +02:00
Louis Rubet	9c13206818	#40: completed commands prec and round	2017-05-22 17:09:15 +02:00
Louis Rubet	6a0885a56c	#40: added command prec	2017-05-22 14:29:55 +02:00
Louis Rubet	5d8096088c	#42: abs, log2, alog2 and aliases exp2, exp10, pow, sqr	2017-05-22 13:48:06 +02:00
Louis Rubet	2d41c64268	#60: mpfr_snprintf instead of mpfr_sprintf	2017-05-21 19:48:23 +02:00
Louis Rubet	b42290d980	#56: added error case in preprocess()	2017-05-20 22:52:53 +02:00
Louis Rubet	272e2417fd	#34, #58, #55: multiple evo (branch and errors refactoring)	2017-05-20 22:52:53 +02:00
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	90d67f00cf	#34: go on debugging start-next commands	2017-05-15 18:00:31 +02:00
Louis Rubet	4de622514e	#34: refactoring start..next	2017-05-15 17:17:49 +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	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	9923cbe514	#50: corrected regression on rot	2017-05-02 17:05:09 +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	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	b0e55854a3	#44: debug get_binary_bin	2017-04-29 16:09:50 +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	c3fff7d08f	Added debug capacities	2017-04-29 15:38:34 +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