 krangelov
|
cbcbbc9134
|
if there are no productions for a function, don't create PgfConcrLin at all
|
2021-12-14 10:15:32 +01:00 |
|
|
krangelov
|
77693dca3e
|
one more trivial optimization for string patterns
|
2021-12-14 09:25:08 +01:00 |
|
|
krangelov
|
4886c7ce3b
|
optimize certain pathological pattern matchings for strings
|
2021-12-14 09:16:40 +01:00 |
|
|
krangelov
|
9efb6b002f
|
if a module is compiled with -no-pmcfg the PMCFG is generated on demand
|
2021-12-13 11:17:10 +01:00 |
|
|
krangelov
|
88ac47621a
|
remove deprecated module
|
2021-12-13 11:10:20 +01:00 |
|
|
krangelov
|
404feea345
|
a bit of refactoring
|
2021-12-13 11:04:13 +01:00 |
|
|
krangelov
|
bb053119b3
|
when a pattern macro is invoked, the operation must be computed first
|
2021-12-13 09:55:37 +01:00 |
|
|
krangelov
|
f7bf18d101
|
fix value2term for predefined functions
|
2021-12-13 09:44:28 +01:00 |
|
|
krangelov
|
ad4c5029a3
|
fix the implementation for Predef.tk & Predef.dp
|
2021-12-10 12:05:01 +01:00 |
|
|
krangelov
|
b0672afc67
|
fully implement the linearize command
|
2021-12-10 10:34:57 +01:00 |
|
|
krangelov
|
73c16504d2
|
added bracketedLinearizeAll
|
2021-12-10 10:30:25 +01:00 |
|
|
krangelov
|
3a39fb5f9d
|
added tabularLinearizeAll
|
2021-12-10 09:56:51 +01:00 |
|
|
krangelov
|
494f4c8193
|
added linearizeAll
|
2021-12-10 09:13:45 +01:00 |
|
|
krangelov
|
9b0b038984
|
handle records of parameters
|
2021-12-09 17:45:39 +01:00 |
|
|
krangelov
|
e413293657
|
tabularLinearize should continue after nonExist
|
2021-12-09 15:04:19 +01:00 |
|
|
krangelov
|
1ccfdfce5f
|
another update
|
2021-12-09 10:09:42 +01:00 |
|
|
krangelov
|
5b324faeec
|
update the JavaScript tests
|
2021-12-09 10:07:21 +01:00 |
|
|
krangelov
|
7bbdbbe917
|
update the testsuite for python
|
2021-12-09 10:00:31 +01:00 |
|
|
krangelov
|
b0d364f8e8
|
implement tabularLinearize
|
2021-12-09 09:51:09 +01:00 |
|
|
krangelov
|
09de911499
|
drop the symbol_meta method
|
2021-12-09 08:56:32 +01:00 |
|
|
krangelov
|
72982d2344
|
added testsuite for linearization
|
2021-12-09 08:46:29 +01:00 |
|
|
krangelov
|
0069946f42
|
linearization for HOAS expressions
|
2021-12-09 08:45:53 +01:00 |
|
|
krangelov
|
d1b1cd6e8c
|
an API for constructing HOAS expressions
|
2021-12-09 07:46:49 +01:00 |
|
|
krangelov
|
e312a10882
|
fix a potential crash
|
2021-12-08 19:34:28 +01:00 |
|
|
krangelov
|
a7686cddde
|
detect an attempt to linearize tree with partial application
|
2021-12-08 19:32:53 +01:00 |
|
|
krangelov
|
3f8642d0b9
|
linearize discontinuous categories with linref
|
2021-12-08 15:49:13 +01:00 |
|
|
krangelov
|
ac3b654b6c
|
handle functions without lin rules as well as meta variables
|
2021-12-08 12:00:53 +01:00 |
|
|
krangelov
|
cd3f290ff2
|
always generate PMCFG for the literal categories
|
2021-12-07 15:51:34 +01:00 |
|
|
krangelov
|
f71ba14f6a
|
fix bracketed linearization for literals
|
2021-12-07 15:51:05 +01:00 |
|
|
krangelov
|
e177aa5d01
|
added graphiviz.cxx
|
2021-12-06 19:20:20 +01:00 |
|
|
krangelov
|
2c79b81565
|
missed graphviz.h
|
2021-12-06 19:05:32 +01:00 |
|
|
krangelov
|
d274f4856e
|
compile lindef & linref rules
|
2021-12-06 15:47:57 +01:00 |
|
|
krangelov
|
0b8a1a0de8
|
fix the order in which HOAS variables are shown in pgf_graphviz_abstract_tree
|
2021-12-04 18:09:08 +01:00 |
|
|
krangelov
|
a3d680f317
|
restored graphvizAbstractTree
|
2021-12-04 16:05:24 +01:00 |
|
|
krangelov
|
3d1123eed4
|
restore graphvizParseTree
|
2021-12-04 14:12:23 +01:00 |
|
|
krangelov
|
bbff79aaa3
|
added API for print names
|
2021-12-03 16:49:36 +01:00 |
|
|
krangelov
|
655576c291
|
the variable labeling should start with 0.
|
2021-12-03 15:00:04 +01:00 |
|
|
krangelov
|
348963d13c
|
flush the pre stack at the end of the linearization as well
|
2021-12-03 14:52:31 +01:00 |
|
|
krangelov
|
d10f63c16b
|
fix the ranges for brackets around pre
|
2021-12-03 13:55:29 +01:00 |
|
|
krangelov
|
0132a70b94
|
take into account the order in which CAPIT && ALL_CAPIT appears
|
2021-12-03 11:40:00 +01:00 |
|
|
krangelov
|
df82e1e7ca
|
complete the linearization of pre
|
2021-12-03 11:29:01 +01:00 |
|
|
krangelov
|
baf78528d3
|
implement bracketedLinearize
|
2021-12-03 09:44:03 +01:00 |
|
|
krangelov
|
dc344fccc0
|
detect failures to resolve linearization
|
2021-12-02 15:28:48 +01:00 |
|
|
krangelov
|
9ca68b1b4b
|
support for Int,Float and String
|
2021-12-01 15:54:34 +01:00 |
|
|
krangelov
|
15c03816ea
|
implemented nonExist
|
2021-12-01 14:10:34 +01:00 |
|
|
krangelov
|
7e1a2447c2
|
PgfSymbolLit is the same as PgfSymbolCat for the linearizer
|
2021-12-01 13:58:12 +01:00 |
|
|
krangelov
|
03a5353c08
|
implement CAPIT & ALL_CAPIT
|
2021-12-01 13:56:52 +01:00 |
|
|
krangelov
|
0562d3fbdb
|
various small bugfixes
|
2021-12-01 13:56:14 +01:00 |
|
|
krangelov
|
8e19b7d31c
|
fix the memory leaks in the linearizer
|
2021-12-01 10:30:08 +01:00 |
|
|
krangelov
|
483f93822c
|
fix in the PMCFG generation
|
2021-12-01 10:13:01 +01:00 |
|
|
krangelov
|
9ed74d7772
|
basic linearization is working
|
2021-11-30 17:54:36 +01:00 |
|
|
krangelov
|
ae08d42d6e
|
started the linearizer
|
2021-11-26 18:44:17 +01:00 |
|
|
krangelov
|
3134a89307
|
reduce import symbols
|
2021-11-26 15:00:24 +01:00 |
|
|
krangelov
|
4a68ea93b3
|
generate and store the ranges for all linearization rules
|
2021-11-26 14:05:03 +01:00 |
|
|
krangelov
|
794e15aca3
|
fix in the PMCFG generation
|
2021-11-26 08:32:00 +01:00 |
|
|
krangelov
|
857e85c8a1
|
implement pre {..}
|
2021-11-25 19:04:35 +01:00 |
|
|
krangelov
|
3fd668e525
|
fix failure is the printout is empty
|
2021-11-25 13:51:19 +01:00 |
|
|
krangelov
|
f845889702
|
fix potential crashes
|
2021-11-25 11:50:09 +01:00 |
|
|
krangelov
|
fa1d7cf859
|
started on the typechecker
|
2021-11-19 10:39:06 +01:00 |
|
|
krangelov
|
1107b245da
|
remove obsolete code
|
2021-11-19 09:38:04 +01:00 |
|
|
krangelov
|
a5cbf3e894
|
fix other potential allocation failures
|
2021-11-18 18:16:41 +01:00 |
|
|
krangelov
|
9dc80f7706
|
fix the crash in the python testsuite
|
2021-11-18 14:11:35 +01:00 |
|
|
krangelov
|
f8fb64a53e
|
added test case for showPGF
|
2021-11-18 13:55:57 +01:00 |
|
|
krangelov
|
06980404a9
|
correctly distinguish between fun and data judgements
|
2021-11-18 13:50:09 +01:00 |
|
|
krangelov
|
7ff38bfcbe
|
show field names in double quotes
|
2021-11-18 11:43:44 +01:00 |
|
|
krangelov
|
09731b985c
|
fix showPGF for the case where a category has no fields
|
2021-11-18 11:41:24 +01:00 |
|
|
krangelov
|
5ada91f026
|
fix the serialization for empty strings
|
2021-11-18 11:36:18 +01:00 |
|
|
krangelov
|
ad068151f8
|
simple fix for showPGF
|
2021-11-18 11:19:35 +01:00 |
|
|
krangelov
|
aae6123e9e
|
fix: call symks instead of symvar
|
2021-11-18 11:17:20 +01:00 |
|
|
krangelov
|
dc609d2fff
|
change from curly braces to square brackets
|
2021-11-18 10:57:12 +01:00 |
|
|
krangelov
|
71020baa5e
|
added sanity checking in the linearization builder
|
2021-11-18 10:33:20 +01:00 |
|
|
krangelov
|
ec76223b41
|
properly release memory for PgfConcrLincat & PgfConcrLin
|
2021-11-18 08:24:24 +01:00 |
|
|
krangelov
|
070f63a049
|
complete showPGF
|
2021-11-17 14:03:04 +01:00 |
|
|
krangelov
|
6295b32405
|
generate field names and pipe them to the runtime
|
2021-11-17 11:34:31 +01:00 |
|
|
Krasimir Angelov
|
9e00cdd7f4
|
Update README.md
|
2021-11-17 08:23:07 +01:00 |
|
|
Krasimir Angelov
|
e1f6a24371
|
Update transactions.md
|
2021-11-17 08:11:24 +01:00 |
|
|
Krasimir Angelov
|
ed6b0f303e
|
Update README.md
|
2021-11-16 21:45:19 +01:00 |
|
|
krangelov
|
c4ff30cc34
|
add libwinpthread-1.dll as well
|
2021-11-16 21:42:55 +01:00 |
|
|
krangelov
|
0784b00a47
|
grab the extra .dll dependencies from MinGW as well
|
2021-11-16 21:27:20 +01:00 |
|
|
krangelov
|
6838aaa1fe
|
add the .dll to the artifact as well
|
2021-11-16 21:04:36 +01:00 |
|
|
krangelov
|
6b301f916d
|
add msys64 to the artifact path
|
2021-11-16 20:53:25 +01:00 |
|
|
krangelov
|
83e28f47f9
|
third guess
|
2021-11-16 20:45:50 +01:00 |
|
|
krangelov
|
2c11c25940
|
another attempt to build the artifact
|
2021-11-16 20:34:25 +01:00 |
|
|
krangelov
|
4750de888a
|
an attempt to upload the windows build as an artifact
|
2021-11-16 20:26:58 +01:00 |
|
|
krangelov
|
f469b9979f
|
no sudo on Windows
|
2021-11-16 20:05:08 +01:00 |
|
|
krangelov
|
f5fea82020
|
set working directory
|
2021-11-16 19:49:08 +01:00 |
|
|
krangelov
|
e00378c820
|
attempt to build the Windows runtime
|
2021-11-16 19:40:14 +01:00 |
|
|
krangelov
|
2c38ba6ca4
|
test msys
|
2021-11-16 19:36:02 +01:00 |
|
|
krangelov
|
7797aa6ed5
|
build instructions for Windows
|
2021-11-16 19:19:21 +01:00 |
|
|
Krasimir Angelov
|
30c5109bfd
|
install GCC for MinGW
|
2021-11-16 19:13:56 +01:00 |
|
|
Krasimir Angelov
|
051eb737f2
|
Try to setup Windows build
|
2021-11-16 19:06:32 +01:00 |
|
|
krangelov
|
2cbf59d75b
|
fix the include for WINDOWS
|
2021-11-16 17:23:03 +01:00 |
|
|
krangelov
|
1e3efd9fa4
|
progress on showPGF
|
2021-11-16 16:15:22 +01:00 |
|
|
krangelov
|
10e26575de
|
started on showPGF
|
2021-11-16 12:07:38 +01:00 |
|
|
krangelov
|
5649bc1ef0
|
started piping PMCFG rules to the runtime
|
2021-11-16 11:49:02 +01:00 |
|
|
krangelov
|
db92bcfff6
|
fix for MacOS
|
2021-11-16 09:53:41 +01:00 |
|
|
krangelov
|
4a62ea02f4
|
destroy the r/w lock if there is no shared file
|
2021-11-16 09:48:50 +01:00 |
|
|
krangelov
|
c26f3b3cd5
|
an attempt to fix the failure on MacOS
|
2021-11-16 09:36:26 +01:00 |
|
|
krangelov
|
f5e6c695a7
|
make r/w lock shared only if there is a shared file as well
|
2021-11-16 08:53:22 +01:00 |
|
|
krangelov
|
c80ef3549c
|
fix error reporting when the r/w lock is created
|
2021-11-16 08:47:07 +01:00 |
|