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
Salvo 'LtWorf' Tomaselli
2a86d52c00
.gitignore
2017-07-02 12:51:06 +02:00
Salvo 'LtWorf' Tomaselli
7a88dc9076
Replace == None with is
2017-07-02 12:50:48 +02:00
Salvo 'LtWorf' Tomaselli
f459f0635a
Add missing returns
...
The conditions were only checking valid values, now exceptions are thrown if
none of the conditions match.
Also correct the type of _find_matching_parenthesis.
2017-07-02 12:47:46 +02:00
Salvo 'LtWorf' Tomaselli
12f4459682
More type information
...
Add type information, change some imports and some style.
2017-06-24 13:01:22 +02:00
Salvo 'LtWorf' Tomaselli
6bda7044ae
added test target to make
2017-06-24 11:35:57 +02:00
Salvo 'LtWorf' Tomaselli
fa08e007db
moved tests directory
2017-06-24 11:35:46 +02:00
Salvo 'LtWorf' Tomaselli
2d9bbf39f0
make mypy happy
2017-06-24 11:31:07 +02:00
Salvo 'LtWorf' Tomaselli
57936db6b9
Add documentation/typing to linegui
2017-06-24 10:47:56 +02:00
Salvo 'LtWorf' Tomaselli
54e4d05837
Don't crash when reading invalid files
2017-06-24 10:38:56 +02:00
Salvo 'LtWorf' Tomaselli
5473e68e60
Copyright line
2017-06-24 10:36:44 +02:00
Salvo 'LtWorf' Tomaselli
83ef5986e2
Style changes
2017-06-24 10:36:01 +02:00
Salvo 'LtWorf' Tomaselli
c1326c23e4
.gitignore
2017-06-24 10:11:28 +02:00
