aboutsummaryrefslogtreecommitdiffstats
path: root/bin/server.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Improve the error handling situation (#71)Estevan Castilho2026-05-271-1/+1
* FormatMarcos Magueta2026-04-271-1/+1
* Prototype for configurationMarcos Magueta2026-04-221-92/+9
* New Server & Manipulation refactorMarcos Magueta2026-04-201-243/+44
* formatMarcos Magueta2026-04-031-163/+176
* Session with stream control sublanguage (#55)Marcos Magueta2026-03-241-1/+31
* Constraint walker and polarity analysisMarcos Magueta2026-03-231-2/+2
* Sublanguages improvement & Coq experiment (#53)Marcos Magueta2026-03-221-241/+95
* Branching and naïve merge strategiesMarcos Magueta2026-03-141-24/+95
* server with examplesMarcos Magueta2026-03-111-51/+44
* examples on serverMarcos Magueta2026-03-111-2/+134
* defenestrate jsonMarcos Magueta2026-03-091-63/+30
* format todos and comment improvementMarcos Magueta2026-03-081-45/+25
* serverMarcos Magueta2026-03-081-0/+254
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 11:26:34 +0000