| Commit | Date | |
|---|---|---|
| 2019-01-22 15:38:02 | Tree | |
| 2019-01-20 21:34:30 | Tree | |
| 2019-01-20 21:32:32 | Tree | |
|
[r9469]
by
"kifer"
in makexsb.in, make sure that dynmodule is not run if we are doing makexsb clean. |
2019-01-18 01:29:24 | Tree |
|
[r9468]
by
dwarren
Handle special characters in modules (in builtin calls), and add type to quite compiler. |
2019-01-15 18:00:30 | Tree |
| 2019-01-15 15:35:39 | Tree | |
| 2019-01-15 15:34:30 | Tree | |
| 2019-01-15 14:24:15 | Tree | |
|
[r9464]
by
dwarren
Update/improve CR's groundedness mode checker/inferencer and make all compiler modules compliant. Also update the Makefile so remaking the compiler invokes the mode checker/inferencer. |
2019-01-14 17:27:37 | Tree |
| 2019-01-09 15:49:32 | Tree |