Commit Graph

700 Commits

Author SHA1 Message Date
Salvo 'LtWorf' Tomaselli
8fd2db12b5 Reuse code to generate the projection python code 2020-06-18 17:10:34 +02:00
Salvo 'LtWorf' Tomaselli
04f568ad50 Merge pull request #21 from ltworf/pythonic
More pythonic code
2020-06-09 23:52:35 +02:00
Salvo 'LtWorf' Tomaselli
5d3823d0ea Merge pull request #20 from ltworf/refactor_parser
Refactor parser
2020-06-09 23:49:11 +02:00
Salvo 'LtWorf' Tomaselli
74e92d2211 More pythonic code 2020-06-09 23:48:43 +02:00
Salvo 'LtWorf' Tomaselli
d7145171de Finish fixing the optimization
I wrote it ages ago, I was not as skilled as I am now.
2020-06-09 23:47:04 +02:00
Salvo 'LtWorf' Tomaselli
f4a4b847af selection_and_product partial 2020-06-09 22:47:54 +02:00
Salvo 'LtWorf' Tomaselli
f4a8344f3e projection_and_union 2020-06-09 19:43:56 +02:00
Salvo 'LtWorf' Tomaselli
b987180d1c useless_projection 2020-06-09 19:37:57 +02:00
Salvo 'LtWorf' Tomaselli
f139257d2c Typing 2020-06-09 19:37:00 +02:00
Salvo 'LtWorf' Tomaselli
67d050e07d Execute context optimizations 2020-06-09 19:34:26 +02:00
Salvo 'LtWorf' Tomaselli
4337e6073e CHANGELOG 2020-06-09 19:31:56 +02:00
Salvo 'LtWorf' Tomaselli
a2111a90c1 select_union_intersect_subtract 2020-06-09 19:27:47 +02:00
Salvo 'LtWorf' Tomaselli
ff2f890b98 Remove legacy thing 2020-06-09 19:16:02 +02:00
Salvo 'LtWorf' Tomaselli
7806a0a27e union_and_product_ 2020-06-09 19:15:34 +02:00
Salvo 'LtWorf' Tomaselli
34ed9405ea swap_rename_select 2020-06-09 19:05:20 +02:00
Salvo 'LtWorf' Tomaselli
2ad28ba9ad Add test to hit swap_rename_select 2020-06-09 18:40:01 +02:00
Salvo 'LtWorf' Tomaselli
cac990b598 swap_rename_projection 2020-06-09 18:27:11 +02:00
Salvo 'LtWorf' Tomaselli
b17bb103f6 Small fixes 2020-06-09 18:26:03 +02:00
Salvo 'LtWorf' Tomaselli
b3b5afec63 Some convenience methods 2020-06-09 15:56:16 +02:00
Salvo 'LtWorf' Tomaselli
e4d62e9571 futile_renames, subsequent_renames 2020-06-09 15:34:40 +02:00
Salvo 'LtWorf' Tomaselli
4a56b8eaac swap_union_renames 2020-06-09 12:40:11 +02:00
Salvo 'LtWorf' Tomaselli
454f4161bc Add test for swap_union_renames 2020-06-09 12:34:07 +02:00
Salvo 'LtWorf' Tomaselli
6208333f48 Use correct symbols
The unicode symbols are some strange script, they look similar but are not the actual symbols for
math operations. They are leftovers from version 1. The actual values were fixed but not the comments.
2020-06-09 12:32:09 +02:00
Salvo 'LtWorf' Tomaselli
72c4746578 Add function to convert the rename property to a python dict
Probably less error prone, and I can remove code duplication.
2020-06-09 12:05:36 +02:00
Salvo 'LtWorf' Tomaselli
6622ba947e selection_inside_projection 2020-06-09 11:55:25 +02:00
Salvo 'LtWorf' Tomaselli
418e293c1d Enable down_to_unions_subtractions_intersections 2020-06-09 11:50:58 +02:00
Salvo 'LtWorf' Tomaselli
403b7b9962 Enable duplicated_projection 2020-06-09 11:45:35 +02:00
Salvo 'LtWorf' Tomaselli
50647294cb Enable futile_union_intersection_subtraction 2020-06-09 11:43:14 +02:00
Salvo 'LtWorf' Tomaselli
0dcd639c9d Enable one optimization
Due to the fact that the nodes are different classes, this required some refactor.
2020-06-09 11:18:33 +02:00
Salvo 'LtWorf' Tomaselli
3e524278e8 Remove unused 2020-06-09 10:51:40 +02:00
Salvo 'LtWorf' Tomaselli
6c677452e8 Remove old things 2020-06-09 10:14:19 +02:00
Salvo 'LtWorf' Tomaselli
a8426840da Disable all optimizations for now
They are in need of a refactor
2020-06-09 02:06:57 +02:00
Salvo 'LtWorf' Tomaselli
b508149583 Major refactory of the parser
It uses subclasses rather than a kind variable.

This is way more typesafe.
2020-06-09 01:37:19 +02:00
Salvo 'LtWorf' Tomaselli
2480c955ae Merge pull request #18 from ltworf/makefile
Makefile
2020-06-02 22:50:22 +02:00
Salvo 'LtWorf' Tomaselli
6da017a562 Make the gui targets file by file 2020-06-02 20:03:59 +02:00
Salvo 'LtWorf' Tomaselli
ee429500ec Make targets as phony, put everything in dist 2020-06-02 20:02:00 +02:00
Salvo 'LtWorf' Tomaselli
3da5aa95b1 Merge pull request #17 from ltworf/travis
Add travis file
2020-06-02 18:34:31 +02:00
Salvo 'LtWorf' Tomaselli
5d82045956 Install xtermcolor 2020-06-02 18:32:47 +02:00
Salvo 'LtWorf' Tomaselli
2c49f924ef Add travis file 2020-06-02 18:29:08 +02:00
Salvo 'LtWorf' Tomaselli
fe34b7f567 FUNDING.yml 2020-03-01 11:23:57 +01:00
Salvo 'LtWorf' Tomaselli
353b40e1ab Use the newer class name 2018-04-22 00:30:20 +02:00
Salvo 'LtWorf' Tomaselli
7b471709c4 Add more typing info 2018-04-22 00:29:37 +02:00
Salvo 'LtWorf' Tomaselli
9101cee7ab Use new class name 2018-01-21 16:55:48 +01:00
Salvo 'LtWorf' Tomaselli
bcdf81cdcd Remove embedded browser with website 2017-08-26 17:51:04 +02:00
Salvo 'LtWorf' Tomaselli
ada4f50843 do_debian script
To make a debian release
2017-08-19 09:10:46 +02:00
Salvo 'LtWorf' Tomaselli
b169a3ab35 debian directory in its own branch 2017-08-18 16:41:46 +02:00
Salvo 'LtWorf' Tomaselli
13e6d64d53 d/rules: no need to override dh_auto_test
It can just run make test
2017-08-18 16:33:41 +02:00
Salvo 'LtWorf' Tomaselli
d4002e117b CHANGELOG 2017-08-18 08:37:47 +02:00
Salvo 'LtWorf' Tomaselli
22aef831ff mypy: use different variable for different type
Instead of reassigning the same one, changing its type
2017-08-18 08:37:34 +02:00
Salvo 'LtWorf' Tomaselli
b8152e2d23 mypy, read explicitly as binary 2017-08-18 07:39:49 +02:00