31552cf | Jan Wroblewski | 10 February 2022, 12:43:54 UTC | Removed unusable benchmark and renamed the other g45 one. | 10 February 2022, 12:43:54 UTC |
fb9c90c | Jan Wroblewski | 09 February 2022, 07:50:02 UTC | Changed atomic type from o to r. Added new example. Added benchmark info to README. Refactoring. | 09 February 2022, 07:50:02 UTC |
882f785 | Jan Wroblewski | 08 February 2022, 13:55:24 UTC | Fixed benchmark script and added new benchmark data from a faster machine. | 08 February 2022, 13:55:24 UTC |
e2a8862 | Jan Wroblewski | 27 September 2019, 11:10:06 UTC | Added more unit tests to cover some edge cases. Some refactoring. | 27 September 2019, 11:10:06 UTC |
a296fd5 | Jan Wroblewski | 26 September 2019, 00:52:53 UTC | Adding new benchmarks. | 26 September 2019, 00:52:53 UTC |
262a212 | Jan Wroblewski | 25 September 2019, 19:09:21 UTC | Introduced a flag to print all types at the end. Changed error codes, because OOM was resulting in error code 2, which was the same as unsafe finite error code. | 25 September 2019, 19:09:21 UTC |
1ee702c | Jan Wroblewski | 18 September 2019, 00:43:02 UTC | Cleanup of the documentation. | 18 September 2019, 00:43:02 UTC |
82f92bd | Jan Wroblewski | 17 September 2019, 19:57:01 UTC | Partial cleanup of conversion module. | 17 September 2019, 19:57:01 UTC |
acf67cc | Jan Wroblewski | 17 September 2019, 17:01:57 UTC | Cleanup of TODOs. | 17 September 2019, 17:01:57 UTC |
4d177a3 | Jan Wroblewski | 17 September 2019, 16:30:45 UTC | Added benchmark results after making them harder. | 17 September 2019, 16:30:45 UTC |
855f3f3 | Jan Wroblewski | 16 September 2019, 22:58:07 UTC | Made benchmarks harder to solve for infsat by changing productive terminals. Removed some unused code in cfa. | 16 September 2019, 22:58:07 UTC |
370a770 | Jan Wroblewski | 15 September 2019, 22:05:03 UTC | Updated benchmarks after the change. Sometimes slower, sometimes faster, but better complexity. | 15 September 2019, 22:05:03 UTC |
2e4af43 | Jan Wroblewski | 14 September 2019, 14:54:39 UTC | Replaced list with set and list with array in htys for better complexity. Did not change the benchmarks much but may help in some border cases with lots of intersected types. | 14 September 2019, 14:54:50 UTC |
347adde | Jan Wroblewski | 14 September 2019, 13:19:58 UTC | Added benchmark results for different flags. Updated TODO. | 14 September 2019, 13:19:58 UTC |
4e1e479 | Jan Wroblewski | 14 September 2019, 03:50:25 UTC | Merged prop nt into prop nt_ty queue. Finished implementing optimizations for no headvars, forcing hterms hty, and forcing nt ty. Updated examples tests to try all 8 flag combinations. | 14 September 2019, 03:50:25 UTC |
d2fdb11 | Jan Wroblewski | 13 September 2019, 05:15:14 UTC | Added flags for turning off 3 optimizations. Added optimization with forcing nt types that is buggy. Added deoptimization for not forcing hterms types that works. Not added the no headvars optimization yet. | 13 September 2019, 05:15:14 UTC |
978bf6b | Jan Wroblewski | 13 September 2019, 02:43:24 UTC | Added flag for printing iteration number to see progress. | 13 September 2019, 02:43:24 UTC |
ecb5ea5 | Jan Wroblewski | 13 September 2019, 02:25:57 UTC | Added new benchmark results. | 13 September 2019, 02:25:57 UTC |
5651d65 | Jan Wroblewski | 13 September 2019, 01:27:11 UTC | Fixed a bug with passing force_pr_var incorrectly to had of application. Added regression tests. Improved debugging output. | 13 September 2019, 01:27:11 UTC |
1a63bb9 | Jan Wroblewski | 11 September 2019, 20:44:54 UTC | Added sorting benchmark input files for consistency of output. There are some bugs, as some benchmark tests give different outputs. | 11 September 2019, 20:44:54 UTC |
b9b7887 | Jan Wroblewski | 11 September 2019, 20:35:17 UTC | Added a TODO. Fixed problem with T arguments in nonterminal types being treated as nonexistent changing their kind. All tests pass. | 11 September 2019, 20:35:17 UTC |
4438f03 | Jan Wroblewski | 11 September 2019, 17:39:36 UTC | Fixed a problem with ignoring available nonterminal types. Made nonterminal type storage more efficient by replacing it with a set. | 11 September 2019, 17:39:36 UTC |
d0cb9bb | Jan Wroblewski | 11 September 2019, 15:10:27 UTC | Finished updating tests to contexts. Added back examples tests that do not pass. All other unit tests pass. | 11 September 2019, 15:10:27 UTC |
417ce46 | Jan Wroblewski | 10 September 2019, 16:20:50 UTC | Removed nt_ity from context, instead requiring it when splitting by nt. Fixed tests. | 10 September 2019, 16:20:50 UTC |
d55a63e | Jan Wroblewski | 10 September 2019, 03:54:37 UTC | Added support for mask to context. Fixed creating contexts from bindings with masked forced hty. | 10 September 2019, 03:54:37 UTC |
267dbe9 | Jan Wroblewski | 09 September 2019, 03:14:51 UTC | Made more tests pass. Fixed a bug in typing. | 09 September 2019, 03:14:51 UTC |
a0b7436 | Jan Wroblewski | 07 September 2019, 11:27:08 UTC | Fixed more tests. | 07 September 2019, 11:27:08 UTC |
a79cb53 | Jan Wroblewski | 05 September 2019, 21:15:55 UTC | Replaced environments with compressed products of typings of variables - contexts. Not yet working. Added tests for contexts. Added benchmark from before the changes. | 05 September 2019, 21:15:55 UTC |
3ee5195 | Jan Wroblewski | 27 August 2019, 11:41:03 UTC | Replaced stub hash in environment with a real one. | 27 August 2019, 11:41:03 UTC |
92a7f68 | Jan Wroblewski | 06 August 2019, 23:35:28 UTC | Fixed parsing of positional arguments. Moved info with positive results after proofs. | 06 August 2019, 23:35:28 UTC |
22c8393 | Jan Wroblewski | 31 July 2019, 22:48:34 UTC | Added another Fibonacci test. | 31 July 2019, 22:48:34 UTC |
f656b66 | Jan Wroblewski | 31 July 2019, 21:40:37 UTC | Added even Fibonacci test. | 31 July 2019, 21:40:37 UTC |
9aa5207 | Jan Wroblewski | 31 July 2019, 21:09:52 UTC | Updated benchmark output. | 31 July 2019, 21:09:52 UTC |
c26b7a6 | Jan Wroblewski | 31 July 2019, 20:29:24 UTC | Added productive-terminals-only version of benchmarks. | 31 July 2019, 20:29:24 UTC |
2fc5db4 | Jan Wroblewski | 31 July 2019, 14:04:40 UTC | Updated benchmark results with larger timeout. | 31 July 2019, 14:04:40 UTC |
789062d | Jan Wroblewski | 31 July 2019, 12:54:00 UTC | Added option of custom timeout to benchmark script. | 31 July 2019, 12:54:00 UTC |
147934d | Jan Wroblewski | 31 July 2019, 12:13:24 UTC | Added benchmark results. Tweaked benchmark script to use only .inf files. | 31 July 2019, 12:13:24 UTC |
a5e913b | Jan Wroblewski | 31 July 2019, 11:57:31 UTC | Changed benchmark timeout to 60s. | 31 July 2019, 11:57:31 UTC |
0bdb27e | Jan Wroblewski | 31 July 2019, 11:56:35 UTC | Improved benchmark script. | 31 July 2019, 11:56:35 UTC |
0f36164 | Jan Wroblewski | 31 July 2019, 11:43:05 UTC | Added running benchmark to Makefile. | 31 July 2019, 11:43:05 UTC |
2fff622 | Jan Wroblewski | 31 July 2019, 11:41:01 UTC | Added benchmark script. Improved docs of error output in quiet mode and made 0 for infinite result. | 31 July 2019, 11:41:01 UTC |
eee1332 | Jan Wroblewski | 31 July 2019, 07:44:42 UTC | Fixed sorts of terminals in pmrs examples. | 31 July 2019, 07:44:42 UTC |
5446498 | Jan Wroblewski | 30 July 2019, 20:29:30 UTC | Added modified version of HORSat benchmarks presented in its paper plus two new benchmarks. pmrs benchmarks still need modifications. | 30 July 2019, 20:29:30 UTC |
f00be31 | Jan Wroblewski | 30 July 2019, 20:25:31 UTC | Improved error output of eta expansion phase. | 30 July 2019, 20:25:31 UTC |
29cd9ac | Jan Wroblewski | 23 June 2019, 23:19:32 UTC | Added test for corner case with replacing initial proof in DFG. | 23 June 2019, 23:19:32 UTC |
014748d | Jan Wroblewski | 23 June 2019, 18:15:44 UTC | Added proof to_string test. Added computing coverage of unit tests. | 23 June 2019, 18:15:44 UTC |
a7b578f | Jan Wroblewski | 22 June 2019, 04:41:55 UTC | Added additional DFG tests. Refactored DFG. Updated README. | 22 June 2019, 04:41:55 UTC |
2bf255a | Jan Wroblewski | 15 June 2019, 02:10:11 UTC | Updated explanation in example. | 15 June 2019, 02:10:11 UTC |
ec6b973 | Jan Wroblewski | 15 June 2019, 01:58:38 UTC | Updated TODO. | 15 June 2019, 01:58:38 UTC |
f5166e6 | Jan Wroblewski | 15 June 2019, 01:57:37 UTC | Updated TODO. | 15 June 2019, 01:57:37 UTC |
b0cf269 | Jan Wroblewski | 15 June 2019, 01:57:03 UTC | Modified counterexamples. | 15 June 2019, 01:57:03 UTC |
a4247a7 | Jan Wroblewski | 15 June 2019, 01:47:02 UTC | Added more conversion tests. | 15 June 2019, 01:47:02 UTC |
c5399ec | Jan Wroblewski | 14 June 2019, 23:02:32 UTC | Added a bunch of conversion tests. | 14 June 2019, 23:02:32 UTC |
875195e | Jan Wroblewski | 13 June 2019, 21:26:13 UTC | Implemented universal custom terminals. Changed reserved terminals to a, b, e, t. Always printing rewritten grammar. Not tested thoroughly yet and has at least one bug. | 13 June 2019, 21:26:13 UTC |
3fb93b5 | Jan Wroblewski | 13 June 2019, 16:54:31 UTC | Added info on number of usages of each atom in each location. | 13 June 2019, 16:54:31 UTC |
fb72b1b | Jan Wroblewski | 12 June 2019, 19:13:56 UTC | Squelching message about unsafe terms unless the language was found to be finite. | 12 June 2019, 19:13:56 UTC |
08e15b6 | Jan Wroblewski | 12 June 2019, 18:50:42 UTC | Updated TODO. | 12 June 2019, 18:50:42 UTC |
3020ecf | Jan Wroblewski | 11 June 2019, 00:52:31 UTC | Implemented proper scoping in fun and optimized fun conversion to only take used closure. | 11 June 2019, 00:52:31 UTC |
af16cdc | Jan Wroblewski | 11 June 2019, 00:17:36 UTC | Made tests work with checking safety. | 11 June 2019, 00:17:36 UTC |
d22a264 | Jan Wroblewski | 10 June 2019, 23:38:55 UTC | Updated TODO. | 10 June 2019, 23:38:55 UTC |
02c4dd5 | Jan Wroblewski | 10 June 2019, 23:37:09 UTC | Implemented checking term safety. | 10 June 2019, 23:37:09 UTC |
0ef4ce7 | Jan Wroblewski | 10 June 2019, 22:27:42 UTC | Refactoring. | 10 June 2019, 22:27:42 UTC |
93e3f5f | Jan Wroblewski | 31 May 2019, 13:56:21 UTC | Added some comments. | 31 May 2019, 13:56:21 UTC |
d709a1a | Jan Wroblewski | 31 May 2019, 11:25:33 UTC | Removed gathering unneeded data in printing proofs. | 31 May 2019, 11:25:33 UTC |
11ac9db | Jan Wroblewski | 31 May 2019, 11:20:15 UTC | Fixed numbering heads in proofs. | 31 May 2019, 11:20:15 UTC |
fa947a7 | Jan Wroblewski | 29 May 2019, 05:51:50 UTC | Nonterminal type printing bugfix. | 29 May 2019, 05:51:50 UTC |
37a6699 | Jan Wroblewski | 29 May 2019, 04:29:01 UTC | Fixed bugs with marking occurences of terminals and nonterminals. | 29 May 2019, 04:29:01 UTC |
0e94dfd | Jan Wroblewski | 29 May 2019, 00:44:34 UTC | Written README. Updated TODO. | 29 May 2019, 00:44:34 UTC |
68cfa36 | Jan Wroblewski | 29 May 2019, 00:32:01 UTC | Implemented better printing of cycle in graph with ascii art. | 29 May 2019, 00:32:01 UTC |
cea367a | Jan Wroblewski | 28 May 2019, 21:26:57 UTC | Updated TODO. | 28 May 2019, 21:26:57 UTC |
26d7693 | Jan Wroblewski | 28 May 2019, 21:25:54 UTC | Implemented printing proofs with marks when not precise which occurences of terminals/nontemrinals have which types. | 28 May 2019, 21:25:54 UTC |
ff1f1d1 | Jan Wroblewski | 28 May 2019, 01:38:25 UTC | Added gathering more precise proof metadata. | 28 May 2019, 01:38:25 UTC |
18bbc13 | Jan Wroblewski | 14 May 2019, 11:41:30 UTC | Updated TODO. | 14 May 2019, 11:41:30 UTC |
2623d58 | Jan Wroblewski | 14 May 2019, 11:38:25 UTC | Implemented two new types of pretty printing the type. Added option to switch between them. | 14 May 2019, 11:38:25 UTC |
a7a8522 | Jan Wroblewski | 14 May 2019, 01:35:05 UTC | Added a small program that colors matching parentheses. | 14 May 2019, 01:35:05 UTC |
8228950 | Jan Wroblewski | 13 May 2019, 19:49:49 UTC | Fixed bug with conversion of counted nullary terminal. | 13 May 2019, 19:49:49 UTC |
b56783e | Jan Wroblewski | 13 May 2019, 15:30:16 UTC | Added new examples. | 13 May 2019, 15:30:16 UTC |
c8acbf2 | Jan Wroblewski | 26 April 2019, 02:47:30 UTC | Moved from textual construction of proofs to data structure for proof. Fixed possible not including all proofs when escape path crosses path to circle. | 26 April 2019, 02:47:30 UTC |
ecfb098 | Jan Wroblewski | 22 April 2019, 19:09:29 UTC | Implemented finding acyclic proofs of escape path from detected cycle in DFG. Improved readability of printed proofs. | 22 April 2019, 19:09:29 UTC |
247a4cf | Jan Wroblewski | 22 April 2019, 01:24:47 UTC | Added first proofs to DFG to use later in finding escape path. | 22 April 2019, 01:24:47 UTC |
9db2c8f | Jan Wroblewski | 20 April 2019, 06:09:19 UTC | Saving now leaf proofs of vertices. | 20 April 2019, 06:09:19 UTC |
7b42708 | Jan Wroblewski | 20 April 2019, 03:04:18 UTC | Improved printing and debugging. | 20 April 2019, 03:04:18 UTC |
89b1804 | Jan Wroblewski | 18 April 2019, 15:47:48 UTC | Improved printing. | 18 April 2019, 15:47:48 UTC |
3067452 | Jan Wroblewski | 18 April 2019, 15:02:55 UTC | Fixed a problem with finding wrong cycles in DFG. Improved saturation loop to work better with maxiter. Improved debugging. | 18 April 2019, 15:02:55 UTC |
f6d1c96 | Jan Wroblewski | 16 April 2019, 17:51:09 UTC | Reworked verbose printing and parsing arguments. | 16 April 2019, 17:51:09 UTC |
d4d3ee2 | Jan Wroblewski | 16 April 2019, 02:58:45 UTC | Optimized types by changing their structure into list of types and pr/np codomain. | 16 April 2019, 02:58:45 UTC |
ee50827 | Jan Wroblewski | 15 April 2019, 01:49:44 UTC | Added some debugging utilities. | 15 April 2019, 01:49:44 UTC |
b62c7c4 | Jan Wroblewski | 14 April 2019, 17:07:25 UTC | Added debug profiling script. | 14 April 2019, 17:07:25 UTC |
ff9ba41 | Jan Wroblewski | 14 April 2019, 03:50:11 UTC | Changed environment data structures. | 14 April 2019, 03:52:59 UTC |
98eb14b | Jan Wroblewski | 13 April 2019, 13:44:37 UTC | Unfinished upgraded hashmap with details how it may have been used. | 13 April 2019, 13:44:54 UTC |
143691b | Jan Wroblewski | 11 April 2019, 21:11:01 UTC | Introduced a tree node terminal. Added tests. Some new bugs detected. | 11 April 2019, 21:11:01 UTC |
6971462 | Jan Wroblewski | 11 April 2019, 12:36:52 UTC | Prepared the binary for profiling. Renamed profiling module to timing since it caused some conflicts. | 11 April 2019, 12:36:52 UTC |
9ab859d | Jan Wroblewski | 09 April 2019, 23:14:00 UTC | Added counterexample. Improved printing. | 09 April 2019, 23:14:00 UTC |
31f7fda | Jan Wroblewski | 09 April 2019, 21:40:55 UTC | Improved debugging. Fixed a bug caused by propagating types of hterms directly instead of taking into account productive variables in them. Added integration test cases. | 09 April 2019, 21:40:55 UTC |
2506c0c | Jan Wroblewski | 07 April 2019, 21:59:22 UTC | Fixed an issue with test. | 07 April 2019, 21:59:22 UTC |
175b34c | Jan Wroblewski | 07 April 2019, 08:44:21 UTC | Fixed one saturation bug. | 07 April 2019, 08:44:21 UTC |
878009a | Jan Wroblewski | 06 April 2019, 12:04:12 UTC | Switched Makefile all target to production one. Made conversion module stateless. Hooked up integration tests. Fixed value returned by saturation. Integration tests not passing. | 06 April 2019, 12:04:12 UTC |
da91f1b | Jan Wroblewski | 06 April 2019, 10:45:16 UTC | Hooked up duplication factor graph to saturation. | 06 April 2019, 10:45:16 UTC |
bc6d69d | Jan Wroblewski | 06 April 2019, 10:17:32 UTC | Removed a bunch of unused code from utilities. | 06 April 2019, 10:17:32 UTC |
b5735da | Jan Wroblewski | 06 April 2019, 10:15:34 UTC | Removed unused files. Implemented duplication factor graph with checking for positive cycles (linear). Added test for new code. Replaced raise with faster raise_notrace where applicable. | 06 April 2019, 10:15:34 UTC |