- Apr 14, 2022
-
-
Tomáš Pecka authored
The representation '*' was shared with NodeWildcard. I believe '*' is better for NodeWildcard so let's change Gap to '~'. At first I wanted to use '_' but it is already occupied by BottomOfTheStackSymbol and the underscore is probably better suited for that.
-
- Apr 13, 2022
-
-
Jan Trávníček authored
-
- Feb 26, 2022
-
-
Jan Trávníček authored
-
- Feb 23, 2022
-
-
Jan Trávníček authored
-
- Feb 22, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Feb 07, 2022
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Jan 26, 2022
-
-
- Nov 23, 2021
-
-
breaking change!
-
- Oct 15, 2021
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Jul 20, 2021
-
-
Jan Trávníček authored
-
- Jul 08, 2021
-
-
Jan Trávníček authored
-
- Apr 03, 2021
-
-
Jan Trávníček authored
-
- Apr 02, 2021
-
-
Tomáš Pecka authored
-
Jan Trávníček authored
-
- Mar 08, 2021
-
-
Tomáš Pecka authored
-
Tomáš Pecka authored
... because most developers were copy-pasting the preambule anyway and did not pay any attention to change it. Also, I think that git does better job in managing that.
-
- Jan 30, 2021
-
-
Jan Trávníček authored
remove unnecessary move of an integral value, add const qualifier to a method that does not change the this object and remove another use of _identifier
-
Although #pragma once is not a standard, compilers nowadays usually support it. We don't have any tricky build system so we should be OK. This also fixes many errors regarding using reserved identifiers (names starting with double underscore).
-
- Aug 16, 2020
-
-
Jan Trávníček authored
-
- Jul 11, 2019
-
-
Jan Trávníček authored
-
- May 30, 2019
-
-
Jan Trávníček authored
-
- May 29, 2019
-
-
-
-
Jan Trávníček authored
-
- Feb 03, 2019
-
-
Jan Trávníček authored
-
- Oct 16, 2018
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Oct 15, 2018
-
-
Jan Trávníček authored
-