Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Fountain/
- Update some documentation. Chris Pressey 19 days ago
- Add some basic documentation on lookahead assertions. Chris Pressey 19 days ago
- Better pretty-printing of stores, other small cleanups. Chris Pressey 21 days ago
- Make parser and generator more similar to each other, again. Chris Pressey 21 days ago
- Radical refactor to remove the Lookahead constraint. Chris Pressey 21 days ago
- Add disjunction of constraints, and `defined` constraint. Chris Pressey 21 days ago
- Rename "Both" to "Conj". Chris Pressey 21 days ago
- Improve pretty-printing. Chris Pressey 21 days ago
- Explain why 2nd version doesn't work for generation. Chris Pressey 21 days ago
- Fix bug in stripLookahead. Chris Pressey 21 days ago
- Common this up again. Chris Pressey 21 days ago
- Update TODO note. Chris Pressey 21 days ago
- Update HISTORY section. Chris Pressey 21 days ago
- Bring another file in Chris Pressey 21 days ago
- Bring in some documentation from the other branch. Chris Pressey 21 days ago
- Needs more debugging Chris Pressey 21 days ago
- stripLookahead Chris Pressey 21 days ago
- Even stronger ignore Chris Pressey 21 days ago
- More strongly ignore lookahead constraints during generation Chris Pressey 21 days ago
- Different getPreCondition implementations for parsing and gen. Chris Pressey 21 days ago
- Allow lookahead constraints to be specified (for debugging only!) Chris Pressey 21 days ago
- Extract self from rabbit-hole. Chris Pressey 21 days ago
- Checkpoint an interesting rabbit-hole from which we will escape Chris Pressey 21 days ago
- "applyGenConstraint" ignores Lookahead constraints. Chris Pressey 21 days ago
- Add "Identity" constraint and drop the missing pre-conditions check Chris Pressey 21 days ago
- Make "get applicable choices" more similar in the two modes. Chris Pressey 21 days ago
- Support negation of constraints. Chris Pressey 23 days ago
- Tiny adjustments to example sources. Chris Pressey 26 days ago
- Merge branch 'master' into develop-0.6 Chris Pressey 28 days ago
- Expand at length on the TLA+-like syntax for constraints idea. Chris Pressey 28 days ago