| Commit message (Collapse) | Author | Age | Files | |
|---|---|---|---|---|
| * | simplify uni of consts | Mirek Kratochvil | 2023-01-14 | 1 |
| | | ||||
| * | unify simpler heapref cases | Mirek Kratochvil | 2023-01-14 | 1 |
| | | ||||
| * | macros macro | Mirek Kratochvil | 2023-01-14 | 2 |
| | | | | | macron edition | |||
| * | fold app as it should be folded | Mirek Kratochvil | 2023-01-07 | 1 |
| | | ||||
| * | consultation mode | Mirek Kratochvil | 2023-01-07 | 1 |
| | | ||||
| * | ensure BS doesn't get into goal code | Mirek Kratochvil | 2023-01-07 | 1 |
| | | ||||
| * | fix clause order | Mirek Kratochvil | 2023-01-07 | 1 |
| | | ||||
| * | very assertive | Mirek Kratochvil | 2023-01-07 | 2 |
| | | ||||
| * | disambiguate | Mirek Kratochvil | 2023-01-04 | 1 |
| | | ||||
| * | ops op | Mirek Kratochvil | 2023-01-04 | 5 |
| | | ||||
| * | numbers | Mirek Kratochvil | 2023-01-03 | 5 |
| | | ||||
| * | make ! special | Mirek Kratochvil | 2023-01-03 | 1 |
| | | ||||
| * | struct structs | Mirek Kratochvil | 2023-01-03 | 3 |
| | | ||||
| * | 10h vacuum cleaner sound | Mirek Kratochvil | 2022-12-14 | 7 |
| | | ||||
| * | lists | Mirek Kratochvil | 2022-12-14 | 4 |
| | | ||||
| * | slight cleanup, metacall | Mirek Kratochvil | 2022-12-14 | 5 |
| | | ||||
| * | fix minor stuff | Mirek Kratochvil | 2022-11-26 | 2 |
| | | ||||
| * | it prlgs. | Mirek Kratochvil | 2022-11-26 | 1 |
| | | ||||
| * | assert actually recompiles | Mirek Kratochvil | 2022-11-26 | 2 |
| | | ||||
| * | a bit more flexible VarI processing | Mirek Kratochvil | 2022-11-26 | 3 |
| | | ||||
| * | massive cleanup | Mirek Kratochvil | 2022-11-26 | 9 |
| | | ||||
| * | assert v0 | Mirek Kratochvil | 2022-11-25 | 4 |
| | | ||||
| * | compile cuts | Mirek Kratochvil | 2022-11-16 | 2 |
| | | ||||
| * | prints | Mirek Kratochvil | 2022-11-16 | 2 |
| | | ||||
| * | actually print out minor stuff | Mirek Kratochvil | 2022-11-15 | 1 |
| | | ||||
| * | there's outputStrLn | Mirek Kratochvil | 2022-11-15 | 1 |
| | | ||||
| * | ok simplify the refs back | Mirek Kratochvil | 2022-11-15 | 5 |
| | | ||||
| * | builtins are built in | Mirek Kratochvil | 2022-11-13 | 8 |
| | | ||||
| * | reorg 1 | Mirek Kratochvil | 2022-11-12 | 5 |
| | | ||||
| * | o hello prlg | Mirek Kratochvil | 2022-11-12 | 3 |
| | | ||||
| * | compiled vars carry ids | Mirek Kratochvil | 2022-11-12 | 6 |
| | | ||||
| * | reorg. | Mirek Kratochvil | 2022-11-12 | 11 |
| | | ||||
| * | looks like vars work | Mirek Kratochvil | 2022-11-11 | 3 |
| | | ||||
| * | hopefully vars | Mirek Kratochvil | 2022-11-09 | 1 |
| | | ||||
| * | before going State | Mirek Kratochvil | 2022-11-06 | 2 |
| | | ||||
| * | interpreter interprets. | Mirek Kratochvil | 2022-11-05 | 5 |
| | | ||||
| * | better shunting errors | Mirek Kratochvil | 2022-11-04 | 3 |
| | | ||||
| * | this. | Mirek Kratochvil | 2022-10-24 | 2 |
| | | ||||
| * | well | Mirek Kratochvil | 2022-10-23 | 3 |
| | | ||||
| * | actually parse | Mirek Kratochvil | 2022-10-17 | 1 |
| | | ||||
| * | some small stuff | Mirek Kratochvil | 2022-10-16 | 5 |
| | | ||||
| * | cuts | Mirek Kratochvil | 2022-10-15 | 3 |
| | | ||||
| * | le switch | Mirek Kratochvil | 2022-10-15 | 1 |
| | | ||||
| * | attempt | Mirek Kratochvil | 2022-10-15 | 1 |
| | | ||||
| * | have a normal Stk | Mirek Kratochvil | 2022-10-15 | 1 |
| | | ||||
| * | backtracking | Mirek Kratochvil | 2022-10-14 | 2 |
| | | ||||
| * | p r l g | Mirek Kratochvil | 2022-10-14 | 4 |
 |
index : exa/prlg | |
| prague prolog |
| summaryrefslogtreecommitdiff |