Commits · main · Qirui WANG / lmntalc

Mar 06, 2024
- feat: support parsing process context · 610e374a
  Qirui WANG authored 1 year ago
  
  610e374a
- refactor: split AST enum into structs · 1863cec4
  Qirui WANG authored 1 year ago
  
  1863cec4
- fix(lib/python): missing new lines in lib · 902dc8b5
  Qirui WANG authored 1 year ago
  
  902dc8b5
Feb 11, 2024
- refactor: split lex and parse · 3437c213
  Qirui WANG authored 1 year ago
  
  3437c213
Feb 06, 2024
- refactor(lib): refined c++ lib · 20d36be0
  Qirui WANG authored 1 year ago
  
  20d36be0
Jan 29, 2024
- refactor: add span for names in AST · a327bdbe
  Qirui WANG authored 1 year ago
  
  a327bdbe
- refactor: re-organize project structure · e9f807b9
  Qirui WANG authored 1 year ago
  
  e9f807b9
Jan 26, 2024
- crate: bump to 0.9.4 · 9305e689
  Qirui WANG authored 1 year ago
  
  9305e689
- fix: unable to handle unifies · 2b47bc8d
  Qirui WANG authored 1 year ago
  
  2b47bc8d
Jan 20, 2024
- crate: add citation for the crate · 8c595f98
  Qirui WANG authored 1 year ago
  
  8c595f98
Jan 19, 2024
- refactor: clone atom for constrainted free link · abca604a
  Qirui WANG authored 1 year ago
  
  abca604a
Jan 17, 2024
- crate: bump to 0.9.3 · b9711a55
  Qirui WANG authored 1 year ago
  
  b9711a55
- fix: wrong unification order · 6244e4fa
  Qirui WANG authored 1 year ago
  
  6244e4fa
Jan 16, 2024
- doc: update README · 57e44bd0
  Qirui WANG authored 1 year ago
  
  57e44bd0
- fix: unexpected bahavior of constraint · 5dc4d85e
  Qirui WANG authored 1 year ago
  
  5dc4d85e
Jan 15, 2024
- refactor: simplify Program · b270ba0c
  Qirui WANG authored 1 year ago
  
  b270ba0c
- refactor: unified handling · a3cc6a91
  Qirui WANG authored 1 year ago
  
  a3cc6a91
Jan 10, 2024
- fix: index out of range in Python · 1c1307ee
  Qirui WANG authored 1 year ago
  
  1c1307ee
Jan 08, 2024
- refactor: treat guard as variable · 2e3a2a4e
  Qirui WANG authored 1 year ago
  
  2e3a2a4e
Jan 02, 2024
- feat: hyperlink fuse · 0ace139e
  Qirui WANG authored 1 year ago
  
  0ace139e
- feat: add "parse only" option for cli · 253e72bf
  Qirui WANG authored 1 year ago
  
  253e72bf
Dec 31, 2023
- feat: hyperlink support · 22f4a51c
  Qirui WANG authored 1 year ago
  
  22f4a51c
Dec 29, 2023
- refactor(lib): atom display · 449fd965
  Qirui WANG authored 1 year ago
```
fix: unexpected rule application
```
  449fd965
Dec 28, 2023
- feat: compile flat LMNtal to cpp, java, and python · 8c4e8883
  Qirui WANG authored 1 year ago
  
  8c4e8883
Dec 26, 2023
- refactor: refined transformation · c0f546a3
  Qirui WANG authored 1 year ago
  
  c0f546a3
Dec 21, 2023
- fix: unable to analyze link in nested atom · 9ad3a2ee
  Qirui WANG authored 1 year ago
  
  9ad3a2ee
Dec 20, 2023
- refactor: rewindable lexer · b35495c4
  Qirui WANG authored 1 year ago
  
  b35495c4
- crate: bump to 0.6.3 · ebd761b4
  Qirui WANG authored 1 year ago
  
  ebd761b4
- fix: error on alpha connect with atom · a37a5f89
  Qirui WANG authored 1 year ago
  
  a37a5f89
- update gitignore · f6866f08
  Qirui WANG authored 1 year ago
  
  f6866f08
- fix: error when alpha connect link with other process · 1310d0fb
  Qirui WANG authored 1 year ago
  
  1310d0fb
- refactor: get atoms with id · 78d0abd9
  Qirui WANG authored 1 year ago
  
  78d0abd9
- fix: link not solved during transform · 7f2aec1e
  Qirui WANG authored 1 year ago
```
refactor: better error report for analysis
```
  7f2aec1e
Dec 16, 2023
- fix: error when parsing var definition · 512830ab
  Qirui WANG authored 1 year ago
  
  512830ab
- crate: bump to 0.5.2 · 738b7dc4
  Qirui WANG authored 1 year ago
  
  738b7dc4
- refactor: make more field accessible · 8eeb50b8
  Qirui WANG authored 1 year ago
  
  8eeb50b8
- crate: bump to 0.5.1 · d16f6e81
  Qirui WANG authored 1 year ago
  
  d16f6e81
- refactor: comparable process ids · 2986577e
  Qirui WANG authored 1 year ago
  
  2986577e
- crate: bump to 0.5.0 · 348fab29
  Qirui WANG authored 1 year ago
  
  348fab29
- doc: update README · c8c09394
  Qirui WANG authored 1 year ago
  
  c8c09394