Tree @master (Download .tar.gz)
History of
src
/
samovar
@master
git clone https://git.catseye.tc/Samovar/
- Don't re-consider states that we have already considered. Chris Pressey 2 years ago
- Make candidate_rules() a generator. Chris Pressey 2 years ago
- Rules that don't change the state are not worth considering. Chris Pressey 2 years ago
- Replace `--randomness-type` with `--deterministic`. Chris Pressey 2 years ago
- Rename "random" generator to "stochastic" generator. Chris Pressey 2 years ago
- Fix some bugs. The complete generator does indeed seem to work. Chris Pressey 2 years ago
- Make the sketch of the complete generator less rough. Chris Pressey 2 years ago
- Factor common methods into base class. Chris Pressey 2 years ago
- Refactor so generate_events() has same signature in both classes Chris Pressey 2 years ago
- Allow generator to be selected; have both confirm to base interface Chris Pressey 2 years ago
- flake8 (mainly the argparser setup) Chris Pressey 2 years ago
- Add base class for Generators. Chris Pressey 2 years ago
- Add rough sketch of CompleteGenerator. Chris Pressey 2 years ago
- Establish new `generators` sub-package, allowing more kinds of. Chris Pressey 2 years ago
- Add `--unsorted-search` command-line option. Chris Pressey 2 years ago
- Establish a `sorted_search` option when constructing a Database. Chris Pressey 2 years ago
- match_all() is now a method of the Database class. Chris Pressey 2 years ago
- Remove two TODO comments. Chris Pressey 2 years ago
- Unify `--verbose` and `--debug` options into `--verbosity` level. Chris Pressey 2 years ago
- Initial work on branch for version 0.5 of Samovar. Chris Pressey 2 years ago
- Replace --profile option with ./profile.sh script. Chris Pressey 3 years ago
- Introduce samovar.main module so we don't clutter driver script. Chris Pressey 3 years ago
- flake8 cleanups Chris Pressey 3 years ago
- Sort the database of facts before accumulating matches on it. Chris Pressey 3 years ago
- Strange. Python 3 output is nondeterministic even when no random. Chris Pressey 3 years ago
- A variable in a `where` may appear in the text and consequences. Chris Pressey 5 years ago
- Statically check no unbound variables in text nor consequences. Chris Pressey 5 years ago
- Statically check that consequences of a rule has no `where` clause. Chris Pressey 5 years ago
- Multiple bindings in `where` clause may be seperated by commas. Chris Pressey 5 years ago
- "wildcard" variable ?_ matches anything, *without* binding it. Chris Pressey 5 years ago