gf-core

GitHub/gf-core

Fork 1

mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-14 15:29:31 -06:00

Commit Graph

Select branches

Hide Pull Requests

build-python-win

build-timestamp

c-runtime

canonical

compact-pgf

concrete-new

gf-lsp-expose-all

js-bindings

lpgf

lpgf-memo

lpgf-string

majestic

majestic-ci

majestic-macos

master

pgf2-complete

remove-example-based

sense-disambiguation

tp_nix_flake

try-to-build-python-module-for-win

wasm

#10

#103

#103

#106

#107

#11

#110

#111

#113

#114

#116

#118

#119

#120

#121

#122

#124

#126

#128

#129

#13

#133

#134

#134

#135

#136

#138

#140

#141

#142

#142

#143

#143

#144

#144

#147

#148

#149

#156

#160

#161

#162

#162

#164

#165

#166

#167

#169

#171

#173

#174

#175

#176

#178

#179

#180

#181

#182

#183

#184

#185

#186

#187

#188

#19

#190

#191

#192

#193

#194

#195

#196

#199

#199

#2

#2

#200

#22

#23

#24

#25

#3

#34

#39

#41

#42

#45

#50

#54

#55

#57

#59

#60

#61

#62

#65

#69

#7

#70

#71

#73

#75

#77

#78

#79

#83

#84

#86

#87

#88

#9

#93

#97

#99

3.11

GF-3.10

RELEASE-3.8

RELEASE-3.9

introduced-parser-test

release-3.12

release3.12-rc-1

release3.12-rc-2

release3.12-rc-3

v3.11-test-release-8

v3.11-test-release-9

c3c834c79e even more compact binary representation. saldo < 19MB krasimir 2008-10-28 16:54:46 +00:00
a977b48b1e even more compact binary representation. saldo < 19MB krasimir 2008-10-28 16:54:46 +00:00
ee8a2738e2 Data.Binary should use Data.ByteString.copy when decoding ByteStrings krasimir 2008-10-28 16:43:00 +00:00
0762bd40ea Data.Binary should use Data.ByteString.copy when decoding ByteStrings krasimir 2008-10-28 16:43:00 +00:00
adcf1a8c34 remove some traces that I left by incident krasimir 2008-10-28 16:31:30 +00:00
44391a9125 remove some traces that I left by incident krasimir 2008-10-28 16:31:30 +00:00
de9ed61a27 German Attempto - lots of words to check aarne 2008-10-28 16:15:13 +00:00
3204702619 German Attempto - lots of words to check aarne 2008-10-28 16:15:13 +00:00
03d86ba05c remove some redundant imports of GF.Text.UTF8 krasimir 2008-10-28 15:47:04 +00:00
a35919542f remove some redundant imports of GF.Text.UTF8 krasimir 2008-10-28 15:47:04 +00:00
e6bb0a8eda forgot to add PGF.Binary krasimir 2008-10-28 15:40:10 +00:00
5e23cece4b forgot to add PGF.Binary krasimir 2008-10-28 15:40:10 +00:00
4448f92c23 notpresent flags in French auxiliaries aarne 2008-10-28 15:33:57 +00:00
e26383f7ca notpresent flags in French auxiliaries aarne 2008-10-28 15:33:57 +00:00
48dc5208b5 Attempto in French ; not correct for mode in "il n'est pas possible que..." etc aarne 2008-10-28 15:33:02 +00:00
61c16c7b34 Attempto in French ; not correct for mode in "il n'est pas possible que..." etc aarne 2008-10-28 15:33:02 +00:00
833752872b part of Attempto controlled language in English and Swedish aarne 2008-10-28 14:05:55 +00:00
4f327ca357 part of Attempto controlled language in English and Swedish aarne 2008-10-28 14:05:55 +00:00
128809b7b8 fixes in next resource needed for Attempto aarne 2008-10-28 14:05:11 +00:00
7408089e29 fixes in next resource needed for Attempto aarne 2008-10-28 14:05:11 +00:00
ebd98056ce binary serialization for PGF krasimir 2008-10-28 13:57:10 +00:00
e44448bad0 binary serialization for PGF krasimir 2008-10-28 13:57:10 +00:00
8e43cfb8a8 GWT: better heuristics for when to ask the server for completions. bjorn 2008-10-28 12:59:00 +00:00
d61f6f1085 GWT: better heuristics for when to ask the server for completions. bjorn 2008-10-28 12:59:00 +00:00
1a34a24df0 GWT completion: only return request.getLimit() results to the SuggestBox. Re-request completions from the server if there is only one completion. bjorn 2008-10-28 12:37:52 +00:00
7ef019b006 GWT completion: only return request.getLimit() results to the SuggestBox. Re-request completions from the server if there is only one completion. bjorn 2008-10-28 12:37:52 +00:00
50b2b453f3 Changed PGF.complete to include the given input if it can be parsed as a complete tree. bjorn 2008-10-28 12:28:46 +00:00
76931b40fb Changed PGF.complete to include the given input if it can be parsed as a complete tree. bjorn 2008-10-28 12:28:46 +00:00
f8331e5b4b define Read and Show instances for Expr and Tree krasimir 2008-10-28 12:22:34 +00:00
8a4cb6ba1d define Read and Show instances for Expr and Tree krasimir 2008-10-28 12:22:34 +00:00
8de7fa2678 GWT: Hold on to the previous suggestions, and try filtering them before asking the server. bjorn 2008-10-27 21:51:54 +00:00
12a17a7e81 GWT: Hold on to the previous suggestions, and try filtering them before asking the server. bjorn 2008-10-27 21:51:54 +00:00
9457ebe0c3 GWT: added IterableJsArray.isEmpty(). bjorn 2008-10-27 10:18:21 +00:00
938340aed3 GWT: added IterableJsArray.isEmpty(). bjorn 2008-10-27 10:18:21 +00:00
970e69add9 missing case in PGF generation aarne 2008-10-27 09:24:33 +00:00
cbb38747f8 missing case in PGF generation aarne 2008-10-27 09:24:33 +00:00
3fed05e121 fix typo krasimir 2008-10-25 20:44:04 +00:00
799c915170 fix typo krasimir 2008-10-25 20:44:04 +00:00
4104b83801 Windows fix: the default coding isn't utf8 but the current system codepage. The se command changes the codepage as well as the coding krasimir 2008-10-25 20:26:48 +00:00
c641cdedb9 Windows fix: the default coding isn't utf8 but the current system codepage. The se command changes the codepage as well as the coding krasimir 2008-10-25 20:26:48 +00:00
e816ae237a add cp1252. usefull for Swedish and German krasimir 2008-10-25 20:25:09 +00:00
96e39ced12 add cp1252. usefull for Swedish and German krasimir 2008-10-25 20:25:09 +00:00
a06d2c6d50 extend the cp1251 coding to cover all cyrillic letters krasimir 2008-10-25 20:22:06 +00:00
4fe931c67f extend the cp1251 coding to cover all cyrillic letters krasimir 2008-10-25 20:22:06 +00:00
4cd3d6395b GWT: hide stale suggestions. bjorn 2008-10-24 14:22:19 +00:00
93b4d6a398 GWT: hide stale suggestions. bjorn 2008-10-24 14:22:19 +00:00
d5678ee2de GWT code import tweak. bjorn 2008-10-24 14:00:24 +00:00
bc255b3a7f GWT code import tweak. bjorn 2008-10-24 14:00:24 +00:00
a2503e3b0f More GWT refactoring. bjorn 2008-10-24 08:45:34 +00:00
a984aaa9cb More GWT refactoring. bjorn 2008-10-24 08:45:34 +00:00
edaf206383 Added Eclipse project stuff for the GWT library. Some refactoring of the GWT code. bjorn 2008-10-23 11:51:52 +00:00
c02d577cde Added Eclipse project stuff for the GWT library. Some refactoring of the GWT code. bjorn 2008-10-23 11:51:52 +00:00
8872b0b010 Added PGF.parse method to GWT client. bjorn 2008-10-22 19:59:43 +00:00
807a314063 Added PGF.parse method to GWT client. bjorn 2008-10-22 19:59:43 +00:00
7c914d39cb Some refactoring of the GWT translator. bjorn 2008-10-22 19:37:57 +00:00
c205b867be Some refactoring of the GWT translator. bjorn 2008-10-22 19:37:57 +00:00
9ba3b739df fix the word completion in the shell krasimir 2008-10-22 11:27:01 +00:00
c658f4057e fix the word completion in the shell krasimir 2008-10-22 11:27:01 +00:00
bb007215ab fix a typo. It is option "-cat" not "-type" krasimir 2008-10-22 09:36:50 +00:00
7a2ef0bb09 Make GWT compilation easier. bjorn 2008-10-22 13:29:57 +00:00
245e1b3300 Remove compiled GWT stuff. bjorn 2008-10-22 13:28:33 +00:00
ecf391ee87 gf-server: preliminary Ubuntu instructions bjorn 2008-10-22 12:36:13 +00:00
4685919ac3 Recompiled GWT code. I should drop the compiled code from the repo soon, this is getting tedious. bjorn 2008-10-22 12:07:04 +00:00
5dbace4cc2 Rename the GWT Translate module to PGF. Rename the GF class to PGF. bjorn 2008-10-22 12:05:59 +00:00
2aa899a5ff Change GWT compilation scripts to make it easier to change the GWT dir location. bjorn 2008-10-22 11:19:12 +00:00
dea941eea9 New compiled GWT stuff. bjorn 2008-10-22 09:37:06 +00:00
b303201200 fix a typo. It is option "-cat" not "-type" krasimir 2008-10-22 09:36:50 +00:00
252ae4cb31 Make GWT compilation easier. bjorn 2008-10-22 13:29:57 +00:00
94b8b451df Remove compiled GWT stuff. bjorn 2008-10-22 13:28:33 +00:00
161cb67082 gf-server: preliminary Ubuntu instructions bjorn 2008-10-22 12:36:13 +00:00
622dc8fbaf Recompiled GWT code. I should drop the compiled code from the repo soon, this is getting tedious. bjorn 2008-10-22 12:07:04 +00:00
22c271ad70 Rename the GWT Translate module to PGF. Rename the GF class to PGF. bjorn 2008-10-22 12:05:59 +00:00
792752c382 Change GWT compilation scripts to make it easier to change the GWT dir location. bjorn 2008-10-22 11:19:12 +00:00
a28183ef01 New compiled GWT stuff. bjorn 2008-10-22 09:37:06 +00:00
acdcd57fa6 Reorganize GWT stuff into a reusable module and one application module. bjorn 2008-10-22 09:36:05 +00:00
e21f64ab09 Reorganize GWT stuff into a reusable module and one application module. bjorn 2008-10-22 09:36:05 +00:00
0606de738e efficient and nicer implementation for literal categories krasimir 2008-10-21 14:30:36 +00:00
c72ee23d85 efficient and nicer implementation for literal categories krasimir 2008-10-21 14:30:36 +00:00
6633ae71f1 gf-server: move some general stuff to FastCGIUtils bjorn 2008-10-20 15:17:57 +00:00
41fb72ca6f the literal categories were slowing down the parser 3 times. this is quick and dirty workaround until I find something cleverer. krasimir 2008-10-20 15:38:59 +00:00
7ae8c798e9 gf-server: move some general stuff to FastCGIUtils bjorn 2008-10-20 15:17:57 +00:00
16dacfdd45 the literal categories were slowing down the parser 3 times. this is quick and dirty workaround until I find something cleverer. krasimir 2008-10-20 15:38:59 +00:00
d327d9da6c Added --parser=ondemand flag. bjorn 2008-10-20 14:52:50 +00:00
5b5b91eb0a Added --parser=ondemand flag. bjorn 2008-10-20 14:52:50 +00:00
6b8c9dd4c9 Added PGF.Macros.mapConcretes bjorn 2008-10-20 14:51:42 +00:00
aed72e7653 Added PGF.Macros.mapConcretes bjorn 2008-10-20 14:51:42 +00:00
05343e78a9 Added on-demand parser generation back in. It's pretty unproblematic, and can help with memory use in some cases. bjorn 2008-10-20 14:05:39 +00:00
e5a595567a Added on-demand parser generation back in. It's pretty unproblematic, and can help with memory use in some cases. bjorn 2008-10-20 14:05:39 +00:00
5cbc5aeb9d Added new generated GWT output. bjorn 2008-10-20 13:30:01 +00:00
d6ef31ada2 Added new generated GWT output. bjorn 2008-10-20 13:30:01 +00:00
66397a454d Removed the flag icons from the GWT client. bjorn 2008-10-20 13:23:40 +00:00
b5756f322f Removed the flag icons from the GWT client. bjorn 2008-10-20 13:23:40 +00:00
9b8f50534c Update gf-server instructions and configuration. bjorn 2008-10-20 12:56:08 +00:00
c783c12b15 Update gf-server instructions and configuration. bjorn 2008-10-20 12:56:08 +00:00
cec2b61af0 Drop -beta2 from version in GF.cabal. It confuses cabal-install. bjorn 2008-10-20 12:49:18 +00:00
e25d03ed32 Drop -beta2 from version in GF.cabal. It confuses cabal-install. bjorn 2008-10-20 12:49:18 +00:00
399d1bb09a fixed typo in the Haddock documentation krasimir 2008-10-20 12:24:07 +00:00
d474800250 fixed typo in the Haddock documentation krasimir 2008-10-20 12:24:07 +00:00
88eed35c18 Reorganize PGF export list to get easier to read haddock. bjorn 2008-10-20 12:10:42 +00:00
82b30838d2 Reorganize PGF export list to get easier to read haddock. bjorn 2008-10-20 12:10:42 +00:00

... 131 132 133 134 135 ...