Commits · 75cc279e9a08bc41acb81f61f3e0b5e74fd32143 · ACG / dev / ACGtk

18 Oct, 2018 3 commits
- Makefile · 75cc279e
  POGODALLA Sylvain authored Oct 18, 2018
  
  75cc279e
- removed deprecated fields · 44c2c2fb
  POGODALLA Sylvain authored Oct 18, 2018
  
  44c2c2fb
- Moving opam files to 2.0 · cab2e405
  POGODALLA Sylvain authored Oct 18, 2018
  
  cab2e405
17 Oct, 2018 1 commit
- Few fixes in dune files. Prepare an opam branch that will be compatible both... · 2d606018
  POGODALLA Sylvain authored Oct 17, 2018
```
Few fixes in dune files. Prepare an opam branch that will be compatible both with menhir >= 20181006 and earlier versions.
```
  2d606018
15 Oct, 2018 4 commits
- Update changes and todo list · 1a0aceba
  POGODALLA Sylvain authored Oct 15, 2018
  
  1a0aceba
- Fixed some missing dependencies for opam install of acgtk 1.5.0 · 8b941865
  POGODALLA Sylvain authored Oct 15, 2018
  
  8b941865
- Opam packaging for the new release · 1861f014
  POGODALLA Sylvain authored Oct 15, 2018
  
  1861f014
- ACG data files parsers rewrinting is now completed. · 8519b0ef
  POGODALLA Sylvain authored Oct 15, 2018
  
  8519b0ef
12 Oct, 2018 1 commit
- Simplified parsers for terms and types. Compiles, and test seem ok. Still needs a bit of cleaning · 5f509c82
  POGODALLA Sylvain authored Oct 12, 2018
  
  5f509c82
11 Oct, 2018 1 commit
- Intermediate state... · 67d9d8f2
  POGODALLA Sylvain authored Oct 11, 2018
  
  67d9d8f2
09 Oct, 2018 1 commit
- indentation fix · cd876851
  POGODALLA Sylvain authored Oct 09, 2018
  
  cd876851
08 Oct, 2018 1 commit
- Associativity and precedence specifications have been added. · a9d70173
  POGODALLA Sylvain authored Oct 08, 2018
  
  a9d70173
05 Oct, 2018 5 commits
- Fixes to feature request #7 · 6379ff57
  POGODALLA Sylvain authored Oct 05, 2018
  
  6379ff57
- Answers to feature request #7 · 4e9d4711
  POGODALLA Sylvain authored Oct 05, 2018
  
  4e9d4711
- Fixes #9 · 235d5742
  POGODALLA Sylvain authored Oct 05, 2018
  
  235d5742
- nl_lexicon now restricts the non linear interpretation to the interpretation... · 4a19f6fd
  POGODALLA Sylvain authored Oct 05, 2018
```
nl_lexicon now restricts the non linear interpretation to the interpretation of -> and lambda at the abstract level. It is the user's responsability to have Lambda's and => in the lexicon and in the object signature when required. Fixes #12
```
  4a19f6fd
- Restrict the effects of nl_lexicon to de-linearization of abstract -> and... · ce862d1a
  POGODALLA Sylvain authored Oct 05, 2018
```
Restrict the effects of nl_lexicon to de-linearization of abstract -> and abstract lambda only. Fixes #12
```
  ce862d1a
04 Oct, 2018 1 commit
- 'extend' and 'with' keywords commented · 415d1d69
  POGODALLA Sylvain authored Oct 04, 2018
  
  415d1d69
03 Oct, 2018 4 commits
- Contectual management of keywords added (fixes #13 ) · 9b572d88
  POGODALLA Sylvain authored Oct 03, 2018
  
  9b572d88
- versions dune generated opam install file for acgtkLib · 3248332d
  POGODALLA Sylvain authored Oct 03, 2018
  
  3248332d
- Reindentation · 146eb32a
  POGODALLA Sylvain authored Oct 03, 2018
  
  146eb32a
- Dypgen dependeny removed. Dependencies to menhir added. Moved to 1.5.0... · c071b8ca
  POGODALLA Sylvain authored Oct 03, 2018
```
Dypgen dependeny removed. Dependencies to menhir added. Moved to 1.5.0 version. Compilation works and first tests (local grammars and scripts, and TAG2ACG grammars and scripts) are ok.
```
  c071b8ca
01 Oct, 2018 1 commit
- It now compiles. Testing starts... · db752686
  POGODALLA Sylvain authored Oct 01, 2018
  
  db752686
28 Sep, 2018 1 commit
- A bit further in the compilation of acg · b992620a
  POGODALLA Sylvain authored Sep 28, 2018
  
  b992620a
27 Sep, 2018 1 commit
- compilation for acg doesn't work yet · ca24eea7
  POGODALLA Sylvain authored Sep 27, 2018
  
  ca24eea7
24 Sep, 2018 1 commit
- Transition to menhir for acgc seems to work. Starting the transition of acg · 280903ec
  POGODALLA Sylvain authored Sep 24, 2018
  
  280903ec
21 Sep, 2018 1 commit
- Fixed optional semi-colon for the last sig entry before the keyword "end" · b412c005
  POGODALLA Sylvain authored Sep 21, 2018
  
  b412c005
20 Sep, 2018 1 commit
- Compile, but a shift/reduce conflict needs to be fixed · d4ddbedd
  POGODALLA Sylvain authored Sep 20, 2018
  
  d4ddbedd
19 Sep, 2018 1 commit
- This version now compiles with the menhir parser and the messages. Bug chasings starts... · 5a51c80a
  POGODALLA Sylvain authored Sep 19, 2018
  
  5a51c80a
17 Sep, 2018 1 commit
- Slowly replacing all the functions triggering parsing of some data · 07cb17e6
  POGODALLA Sylvain authored Sep 17, 2018
  
  07cb17e6
14 Sep, 2018 2 commits
- Fix some left dependencies to bolt. First steps towards using menhir instead of dypgen. · fd4399db
  POGODALLA Sylvain authored Sep 14, 2018
  
  fd4399db
- First steps in replacing dypgen by menhir to generate the ACG data file parsers · db02e6b3
  POGODALLA Sylvain authored Sep 14, 2018
  
  db02e6b3
04 Sep, 2018 4 commits
- Updated install information for dependencies · 320be489
  POGODALLA Sylvain authored Sep 04, 2018
  
  320be489
- Merge branch 'change_log' · acf9bb90
  POGODALLA Sylvain authored Sep 04, 2018
```
Remove the dependency to BOLT and camlp4
```
  acf9bb90
- Removed all configuration scripts and *.in files · 6a702d8b
  POGODALLA Sylvain authored Sep 04, 2018
  
  6a702d8b
- Dependencies to BOLT and camlp4 removed · 63136f42
  POGODALLA Sylvain authored Sep 04, 2018
  
  63136f42
21 Aug, 2018 2 commits
- Introduced exception cases in pattern matching · d1a0f157
  POGODALLA Sylvain authored Aug 21, 2018
  
  d1a0f157
- Use rsync to mirror opam testing repositorly for ACGtk · 901958b5
  POGODALLA Sylvain authored Aug 21, 2018
  
  901958b5
14 Aug, 2018 2 commits
- Update copyright dates. Fixes #2 · c1702698
  POGODALLA Sylvain authored Aug 14, 2018
  
  c1702698
- Added a warning when a sequence of realize operation does not share the... · 87fe7457
  POGODALLA Sylvain authored Aug 14, 2018
```
Added a warning when a sequence of realize operation does not share the abstract vocabulary. Fixes #4
```
  87fe7457