7 Commits

Author	SHA1	Message	Date
Lephe	c52e7ccaa3	lexer: record each constant's representation in the token	2019-10-17 10:33:30 +02:00
Lephe	907c800696	add the theta variable name	2019-10-15 11:25:39 +02:00
Lephe	053c1ebfaf	add exponentation in the bitcode lexer	2019-10-08 22:32:27 +02:00
Lephe	14846e56ae	add functions with multiple parameters	2019-10-08 21:20:08 +02:00
Lephe	afb0511ea0	allow more flexible constant specifications	2019-10-06 11:51:02 +02:00
Lephe	9bf03c52be	allow <sign><function> atoms	2019-10-06 10:57:58 +02:00
Lephe	69b5b52fdd	structural update: move files to a subfolder ... Also update the documentation of supported tokens and features for more clarity.	2019-10-06 01:34:42 +02:00

Renamed from lexer.py (Browse further)