Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
About branch gaunilo-trunk
Main line of Gaunilo development occurs in this branch.
13 check-ins related to "gaunilo-trunk"
|
2021-02-08
| ||
| 16:14 | First development release of Gaunilo. Working simply-typed intepreter. Leaf check-in: a0652b5805 user: kbg tags: trunk, gaunilo-0.0.0 | |
|
2021-02-05
| ||
| 19:50 | merged in config files from trunk check-in: ec18ae98bb user: kbg tags: gaunilo-dev-kbg | |
|
2021-02-03
| ||
| 17:07 | added config files Leaf check-in: acdfa4bc62 user: kbg tags: gaunilo-trunk | |
| 17:05 | created new branch for configuration settings Leaf check-in: 7f78cd7e4b user: kbg tags: config-trunk | |
|
2021-01-28
| ||
| 21:33 | working interpreter for simply-typed CBPV core calculus check-in: abd171e106 user: kbg tags: gaunilo-trunk | |
| 21:31 | cleaned up gaunilo.pro check-in: 5c232f9c54 user: kbg tags: gaunilo-dev-kbg | |
| 11:44 | working parser/lexer for core gaunilo check-in: 2c7236237e user: kbg tags: gaunilo-trunk | |
| 11:42 | added parser check-in: 81d2681dec user: kbg tags: gaunilo-dev-kbg | |
|
2021-01-27
| ||
| 08:44 | created new dev branch for personal development, renamed CBPV "to" to "seq" check-in: 088518a133 user: kbg tags: gaunilo-dev-kbg | |
|
2021-01-26
| ||
| 06:14 | updated ident parsing check-in: b9035a4f83 user: kbg tags: gaunilo-trunk | |
| 05:11 | added very buggy/incomplete core CBPV interpreter check-in: bd8d31e2ba user: kbg tags: gaunilo-trunk | |
| 04:37 | added branch for gaunilo development check-in: 6db864f704 user: kbg tags: gaunilo-trunk | |
| 04:28 | initial commit check-in: df2b019c62 user: kbg tags: trunk, initial_commit | |