| #
fdba23b0 |
|
27-Sep-2019 |
Konrad Slind <konrad.slind@gmail.com> |
Optimization of proof-based regexp compiler
|
| #
e43d3aeb |
|
03-Jul-2019 |
Konrad Slind <konrad.slind@gmail.com> |
fixing merge conflicts
|
| #
59e6886b |
|
17-Jun-2019 |
Konrad Slind <konrad.slind@gmail.com> |
moved interval stuff out of Regexp_Type into Regexp_Numerics
|
| #
1383cba4 |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete trailing whitespace in examples
|
| #
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
| #
58365d9a |
|
30-May-2018 |
Konrad Slind <konrad.slind@gmail.com> |
added regexp for valid utf-8 strings to test files. Other changes are minor
|
| #
07c4ff31 |
|
03-Jun-2017 |
Konrad Slind <konrad.slind@gmail.com> |
reset permissions
|
| #
3842bf8b |
|
03-Jun-2017 |
Konrad Slind <konrad.slind@gmail.com> |
speed up some proofs, adjust to IntInf, and some re-org
|
| #
42865876 |
|
22-Feb-2017 |
Konrad Slind <konrad.slind@gmail.com> |
Added some code-gen targets (java and sml). Also ruthlessly got rid of whitespace. I don't know why it is so bad, but it is gone.
|
| #
35739ff0 |
|
31-Jan-2017 |
Konrad Slind <konrad.slind@gmail.com> |
Revised regexp package. Now based on charsets modelled with bool[256]. Some optimizations added, and some work on packed intervals also included.
|