Felix Freiberger (51f1eb0c) at 19 Mar 16:36
Add helpful check for weird ASTs to the solver
Felix Freiberger (4eceda15) at 19 Mar 13:12
2.0.1
Felix Freiberger (dfe88864) at 19 Mar 13:12
2.0.1
Felix Freiberger (6cbb2640) at 19 Mar 13:08
Use Node 20 to build and test
Felix Freiberger (136467e2) at 19 Mar 13:06
Add underlyingAction for sync rule applications
Felix Freiberger (370fe270) at 07 Mar 12:30
Felix Freiberger (a1eb9372) at 07 Mar 11:26
2.0.0
Felix Freiberger (370fe270) at 07 Mar 11:26
2.0.0
Felix Freiberger (8862dfcc) at 19 Feb 15:42
Oops
Felix Freiberger (7114c2cd) at 19 Feb 14:56
Add support for comments and blank lines in environments
Felix Freiberger (9ddcfc55) at 19 Feb 12:15
FIX: Ranges were not considered in CCSInput.toString()
Felix Freiberger (eb0d62cd) at 30 Dec 15:46
Version bump
Felix Freiberger (4794cab6) at 30 Dec 15:46
Add \mathit to generated TeX code where appropriate
Felix Freiberger (1bde6536) at 21 Dec 16:23
Version bump
Felix Freiberger (ec9b96d6) at 21 Dec 16:23
Make more CCS features controllable, and export parser errors.
Felix Freiberger (780a38ae) at 12 Dec 17:45
Version bump
Felix Freiberger (bed886ca) at 12 Dec 17:44
Add parseCCSProcess method
Felix Freiberger (0adea78c) at 08 Dec 14:44
FIX: res rule tree renderable constraints failed to render the set ...