3b219db | Johannes Waldmann | 08 March 2016, 20:10:11 UTC | small changes to build and run scripts | 08 March 2016, 20:10:11 UTC |
9184446 | Johannes Waldmann | 08 March 2016, 19:14:05 UTC | star exec run scripts | 08 March 2016, 19:14:05 UTC |
5ab1ed5 | Johannes Waldmann | 08 March 2016, 19:12:34 UTC | better computation of degree, better handling of options | 08 March 2016, 19:12:34 UTC |
20a8ac3 | Johannes Waldmann | 08 March 2016, 16:46:17 UTC | relaxed test for polynomial growth (some power of max matrix is upper triangular) | 08 March 2016, 16:46:17 UTC |
9e9666f | Johannes Waldmann | 18 November 2015, 12:51:52 UTC | add libgmp.so | 18 November 2015, 12:51:52 UTC |
84429a8 | Johannes Waldmann | 26 July 2015, 16:35:42 UTC | moved | 26 July 2015, 16:35:42 UTC |
161471a | Johannes Waldmann | 26 July 2015, 16:34:06 UTC | change configs (no arctic except for cyc, small constraints) | 26 July 2015, 16:34:06 UTC |
e1830d3 | Johannes Waldmann | 26 July 2015, 16:30:20 UTC | better transformation of claim | 26 July 2015, 16:30:20 UTC |
441ff45 | Johannes Waldmann | 26 July 2015, 14:35:08 UTC | add default | 26 July 2015, 14:35:08 UTC |
1a4d2f9 | Johannes Waldmann | 26 July 2015, 14:33:18 UTC | more friendly output | 26 July 2015, 14:33:18 UTC |
ae8219a | Johannes Waldmann | 26 July 2015, 13:54:40 UTC | add closure shape for issue #19 | 26 July 2015, 13:54:40 UTC |
ca00b4b | Johannes Waldmann | 26 July 2015, 12:33:58 UTC | repair issue #19 | 26 July 2015, 12:33:58 UTC |
a691282 | Johannes Waldmann | 26 July 2015, 12:18:39 UTC | switches for using different implementations | 26 July 2015, 12:18:39 UTC |
2b98951 | Johannes Waldmann | 26 July 2015, 12:00:12 UTC | test driver for issue #19 | 26 July 2015, 12:00:12 UTC |
0f7a61a | Johannes Waldmann | 25 July 2015, 10:58:08 UTC | repair issue #21 | 25 July 2015, 10:58:08 UTC |
780a5db | Johannes Waldmann | 25 July 2015, 10:43:00 UTC | switch solver, do context switch more often (RTS -C) | 25 July 2015, 10:43:00 UTC |
d131c18 | Johannes Waldmann | 24 July 2015, 17:15:30 UTC | merge yeah and noh (issue #20) | 24 July 2015, 17:15:30 UTC |
7f583f5 | Johannes Waldmann | 21 July 2015, 10:46:31 UTC | compile with 7.8 | 21 July 2015, 10:46:31 UTC |
754d3cd | Johannes Waldmann | 21 July 2015, 10:44:44 UTC | reduce RTS M option value | 21 July 2015, 10:44:44 UTC |
cb6cffe | Johannes Waldmann | 21 July 2015, 10:43:40 UTC | add timing information to closure search | 21 July 2015, 10:43:40 UTC |
9711399 | Johannes Waldmann | 21 July 2015, 10:28:23 UTC | fix for issue #18 | 21 July 2015, 10:28:23 UTC |
262c0e9 | Johannes Waldmann | 20 July 2015, 20:43:02 UTC | outside ? | 20 July 2015, 20:43:02 UTC |
8c2acdb | Johannes Waldmann | 20 July 2015, 19:12:02 UTC | for release | 20 July 2015, 19:12:02 UTC |
c1d9978 | Johannes Waldmann | 20 July 2015, 18:58:04 UTC | cycle-non-termination analysis (extra config) | 20 July 2015, 18:58:04 UTC |
2c3deea | Johannes Waldmann | 20 July 2015, 17:59:35 UTC | prepare for inclusion on non-termination proofs | 20 July 2015, 17:59:35 UTC |
cc0f7de | Johannes Waldmann | 20 July 2015, 15:17:36 UTC | prettified output | 20 July 2015, 15:17:36 UTC |
618b4b1 | Johannes Waldmann | 20 July 2015, 14:55:06 UTC | restrict to cases that are obvious, for others, use SRS loops | 20 July 2015, 14:55:06 UTC |
6152e46 | Johannes Waldmann | 20 July 2015, 14:00:29 UTC | rename, use notation (exponents p,q,r,s) from Zantema/Geser 95 | 20 July 2015, 14:00:29 UTC |
8512552 | Johannes Waldmann | 20 July 2015, 12:07:12 UTC | measure and improve performance | 20 July 2015, 12:07:12 UTC |
8785b62 | Johannes Waldmann | 20 July 2015, 10:42:36 UTC | repair loop certificate | 20 July 2015, 10:42:36 UTC |
bd2662f | Johannes Waldmann | 19 July 2015, 20:04:25 UTC | modify closure enumeration | 19 July 2015, 20:04:25 UTC |
bca7841 | Johannes Waldmann | 19 July 2015, 19:16:38 UTC | performance tweaks | 19 July 2015, 19:16:38 UTC |
178d8f0 | Johannes Waldmann | 19 July 2015, 17:24:21 UTC | Merge branch 'master' of github.com:/jwaldmann/matchbox | 19 July 2015, 17:24:21 UTC |
cf46f91 | Johannes Waldmann | 19 July 2015, 17:23:59 UTC | simple test for cycle-nontermination | 19 July 2015, 17:23:59 UTC |
58a158e | Johannes Waldmann | 11 July 2015, 16:35:47 UTC | version (repair complexity) | 11 July 2015, 16:35:47 UTC |
47cbe2a | Johannes Waldmann | 11 July 2015, 12:36:57 UTC | new config | 11 July 2015, 12:36:57 UTC |
1c321c9 | Johannes Waldmann | 11 July 2015, 01:38:42 UTC | build scripts | 11 July 2015, 01:38:42 UTC |
7670a49 | Johannes Waldmann | 10 July 2015, 20:00:06 UTC | repair output | 10 July 2015, 20:00:06 UTC |
92d2f6f | Johannes Waldmann | 10 July 2015, 19:51:06 UTC | trace decreasing for arctic as well | 10 July 2015, 19:51:06 UTC |
dbc3a93 | Johannes Waldmann | 10 July 2015, 19:28:12 UTC | prepare for cycle termination | 10 July 2015, 19:28:12 UTC |
5cefdf1 | Johannes Waldmann | 27 March 2015, 19:32:28 UTC | make compile with ghc-7.10 | 27 March 2015, 19:32:28 UTC |
0c3c623 | Johannes Waldmann | 22 March 2015, 12:59:48 UTC | add cpf | 22 March 2015, 12:59:48 UTC |
9ac59ca | Johannes Waldmann | 22 March 2015, 12:48:34 UTC | more run scripts | 22 March 2015, 12:48:34 UTC |
b59f3e0 | Johannes Waldmann | 21 March 2015, 13:38:44 UTC | run scripts aufräumen | 21 March 2015, 13:38:44 UTC |
acde412 | Johannes Waldmann | 20 March 2015, 19:24:22 UTC | more timing output | 20 March 2015, 19:24:22 UTC |
e251efa | Johannes Waldmann | 17 February 2015, 20:29:36 UTC | choose what formulas to dump | 17 February 2015, 20:29:36 UTC |
76e0967 | Johannes Waldmann | 17 February 2015, 16:23:08 UTC | repair taking the start time | 17 February 2015, 16:23:08 UTC |
8852b92 | Johannes Waldmann | 17 February 2015, 15:44:46 UTC | add missing package | 17 February 2015, 15:44:46 UTC |
fcda326 | Johannes Waldmann | 17 February 2015, 15:43:07 UTC | set name for dump according to time | 17 February 2015, 15:43:07 UTC |
2424eec | Johannes Waldmann | 17 February 2015, 15:18:28 UTC | introduce option --dump-boolector for dumping smt2 files (beware - huge amounts) | 17 February 2015, 15:18:28 UTC |
a4ed102 | Johannes Waldmann | 11 February 2015, 10:38:21 UTC | add latex output for rules, repair formatting | 11 February 2015, 10:38:21 UTC |
3db7e91 | Johannes Waldmann | 08 February 2015, 17:38:56 UTC | introduce flag for smallnums in constraints | 08 February 2015, 17:38:56 UTC |
ce12ef8 | Johannes Waldmann | 05 February 2015, 11:27:15 UTC | add option (issue #17) | 05 February 2015, 11:27:15 UTC |
a94adb6 | Johannes Waldmann | 04 February 2015, 20:22:18 UTC | add run script | 04 February 2015, 20:22:18 UTC |
742365f | Johannes Waldmann | 03 February 2015, 18:32:32 UTC | handle trivial case (no proof output) | 03 February 2015, 18:32:32 UTC |
8e83db8 | Johannes Waldmann | 03 February 2015, 18:06:56 UTC | add --latex option | 03 February 2015, 18:06:56 UTC |
0f8680a | Johannes Waldmann | 03 February 2015, 18:03:56 UTC | new run files | 03 February 2015, 18:03:56 UTC |
de97b98 | Johannes Waldmann | 03 February 2015, 17:43:40 UTC | work-around hatex behaviour | 03 February 2015, 17:43:40 UTC |
5cc4b29 | Johannes Waldmann | 03 February 2015, 15:44:22 UTC | start latex output (issue #15) | 03 February 2015, 15:44:22 UTC |
9413153 | Johannes Waldmann | 02 February 2015, 16:30:43 UTC | direct implementation of small nonneg numbers (use just 2 bit) | 02 February 2015, 16:30:43 UTC |
e54a39e | Johannes Waldmann | 02 February 2015, 16:15:58 UTC | fix bug in decoding of (small bit width) numbers | 02 February 2015, 16:15:58 UTC |
6ec2273 | Johannes Waldmann | 02 February 2015, 12:01:13 UTC | typo | 02 February 2015, 12:01:13 UTC |
c8f03fc | Johannes Waldmann | 02 February 2015, 11:44:09 UTC | Merge branch 'master' of github.com:jwaldmann/matchbox | 02 February 2015, 11:44:09 UTC |
b7fa401 | Johannes Waldmann | 02 February 2015, 11:43:47 UTC | remove obsolete run scripts | 02 February 2015, 11:43:47 UTC |
6d7fb7b | Johannes Waldmann | 02 February 2015, 11:40:31 UTC | Merge branch 'master' of github.com:jwaldmann/matchbox | 02 February 2015, 11:40:31 UTC |
7b5d4bf | Johannes Waldmann | 02 February 2015, 11:39:44 UTC | new driver (no constraints, for comparison) | 02 February 2015, 11:39:44 UTC |
5e121c5 | Johannes Waldmann | 02 February 2015, 11:15:12 UTC | repair arctic | 02 February 2015, 11:15:12 UTC |
b8b67bf | Johannes Waldmann | 02 February 2015, 10:24:41 UTC | use bounded_parallel_or | 02 February 2015, 10:24:41 UTC |
4fe6ec1 | Johannes Waldmann | 02 February 2015, 09:56:32 UTC | bounded_parallel (ansatz) | 02 February 2015, 09:56:32 UTC |
f4de50a | Johannes Waldmann | 01 February 2015, 23:17:07 UTC | Merge branch 'master' of github.com:jwaldmann/matchbox | 01 February 2015, 23:17:07 UTC |
ef83d3a | Johannes Waldmann | 01 February 2015, 23:16:52 UTC | add dim (?) | 01 February 2015, 23:16:52 UTC |
cc766c4 | Johannes Waldmann | 01 February 2015, 19:17:24 UTC | smallnumbers | 01 February 2015, 19:17:24 UTC |
c13dbcc | Johannes Waldmann | 01 February 2015, 18:57:31 UTC | repair parallel_or (finally) | 01 February 2015, 18:57:31 UTC |
442d293 | Johannes Waldmann | 01 February 2015, 15:37:54 UTC | with arctic (but it does not work with the constraints) | 01 February 2015, 15:37:54 UTC |
fa29102 | Johannes Waldmann | 01 February 2015, 14:05:27 UTC | add file | 01 February 2015, 14:05:27 UTC |
1a2ed99 | Johannes Waldmann | 01 February 2015, 14:04:48 UTC | repaired parallel_or (strange that the previous version worked at all) | 01 February 2015, 14:04:48 UTC |
b2c6b8b | Johannes Waldmann | 31 January 2015, 08:44:40 UTC | version | 31 January 2015, 08:44:40 UTC |
6541e2f | Johannes Waldmann | 30 January 2015, 19:07:24 UTC | version (work in parallel, broken) | 30 January 2015, 19:07:24 UTC |
5170072 | Johannes Waldmann | 30 January 2015, 17:28:47 UTC | use satchmo native integers (DANGER: their implementation is somewhat broken) | 30 January 2015, 17:28:47 UTC |
9d74453 | Johannes Waldmann | 30 January 2015, 17:04:07 UTC | introduce smallnumbers (because of issue #14) | 30 January 2015, 17:04:07 UTC |
458c231 | Johannes Waldmann | 29 January 2015, 19:28:58 UTC | just one constraint | 29 January 2015, 19:28:58 UTC |
26326c5 | Johannes Waldmann | 29 January 2015, 19:23:27 UTC | switch to boolector | 29 January 2015, 19:23:27 UTC |
9ed79e9 | Johannes Waldmann | 29 January 2015, 19:20:48 UTC | remove unnecessary detail from output (issue #13) | 29 January 2015, 19:20:48 UTC |
2d3db83 | Johannes Waldmann | 29 January 2015, 17:50:19 UTC | try several combinations of vector dim. and constraint size (see issue #8) | 29 January 2015, 17:50:19 UTC |
e33b208 | Johannes Waldmann | 29 January 2015, 17:31:36 UTC | add atmost for boolector | 29 January 2015, 17:31:36 UTC |
5de6730 | Johannes Waldmann | 29 January 2015, 12:48:20 UTC | add method | 29 January 2015, 12:48:20 UTC |
0095188 | Johannes Waldmann | 29 January 2015, 12:41:42 UTC | boolector files | 29 January 2015, 12:41:42 UTC |
01bb4e2 | Johannes Waldmann | 29 January 2015, 12:39:13 UTC | integers from boolector (--bool) | 29 January 2015, 12:39:13 UTC |
6432f13 | Johannes Waldmann | 29 January 2015, 12:23:41 UTC | rewrite computation (more additions, less multiplications) | 29 January 2015, 12:23:41 UTC |
0e81a05 | Johannes Waldmann | 29 January 2015, 02:41:43 UTC | add scripts | 29 January 2015, 02:41:43 UTC |
5b7778d | Johannes Waldmann | 29 January 2015, 02:39:28 UTC | fix issue #9 | 29 January 2015, 02:39:28 UTC |
824bd2a | Johannes Waldmann | 29 January 2015, 02:26:10 UTC | rename dp option, introduce ur option | 29 January 2015, 02:26:10 UTC |
8a38ddf | Johannes Waldmann | 28 January 2015, 02:58:09 UTC | dp with constraints | 28 January 2015, 02:58:09 UTC |
dda6382 | Johannes Waldmann | 28 January 2015, 01:09:59 UTC | AMP (ghc-7.10) | 28 January 2015, 01:09:59 UTC |
f7f22bd | Johannes Waldmann | 27 January 2015, 20:05:01 UTC | improved degree bound computation | 27 January 2015, 20:05:01 UTC |
a32eb63 | Johannes Waldmann | 27 January 2015, 18:37:26 UTC | print some more information | 27 January 2015, 18:37:26 UTC |
f9a387d | Johannes Waldmann | 27 January 2015, 10:46:42 UTC | fix typo | 27 January 2015, 10:46:42 UTC |
ef0c8ef | Johannes Waldmann | 27 January 2015, 10:34:56 UTC | add complexity stuff | 27 January 2015, 10:34:56 UTC |
ef585d8 | Johannes Waldmann | 26 January 2015, 09:34:45 UTC | repair matrix comparison | 26 January 2015, 09:34:45 UTC |
7db23b9 | Johannes Waldmann | 26 January 2015, 09:30:40 UTC | better printing | 26 January 2015, 09:30:40 UTC |