This website works better with JavaScript
Domů
Procházet
Nápověda
Přihlásit se
taddeus
/
trs
Sledovat
1
Oblíbit
0
Rozštěpit
0
Soubory
Úkoly
0
Pull Requesty
0
Wiki
Strom:
e463573b19
Větve
Značky
breadth_first
develop
master
validation
Historie revizí
Hledat
Autor
SHA1
Zpráva
Datum
Taddeus Kroes
42662f455b
Changed negation precedence to that of subtraction and modified rules+tests correspondingly.
před 14 roky
Taddeus Kroes
6e8d634547
Group combinations now support negated constants.
před 14 roky
Taddeus Kroes
bf7d96e602
Fixed unit tests form group rules.
před 14 roky
Taddeus Kroes
6f628ddddb
Added group combination to rules.
před 14 roky
Taddeus Kroes
efc3c91bf6
Added non-strict equivalence match.
před 14 roky