Tree @master (Download .tar.gz)
Commit History
@master
git clone https://git.catseye.tc/Samovar/
- Merge branch 'develop-0.2' of https://github.com/catseye/Samovar into propositions-query Chris Pressey 6 years ago
- Merge pull request #6 from catseye/new-grammar-idea Chris Pressey (commit: GitHub) 6 years ago
- Add --profile option. Chris Pressey 6 years ago
- Knock off a TODO item. Chris Pressey 6 years ago
- Use match_all to find all matches in the database. Seems to work. Chris Pressey 6 years ago
- Implement negative-sense clauses in our pattern matching search. Chris Pressey 6 years ago
- match_all takes a list of Assert's (soon to come: Retract's too.) Chris Pressey 6 years ago
- Make constructor syntax for Term less gratuitously brutal. Chris Pressey 6 years ago
- Implement the basic proposition query w/ recursive pattern matching. Chris Pressey 6 years ago
- Fix up example in README. Chris Pressey 6 years ago
- Generator simulates all and only the scenarios that have a goal. Chris Pressey 6 years ago
- Merge pull request #4 from catseye/unit-tests Chris Pressey (commit: GitHub) 6 years ago
- Merge pull request #5 from catseye/immutable-envs-in-match Chris Pressey (commit: GitHub) 6 years ago
- Allow scenarios to import other preceding scenarios. Chris Pressey 6 years ago
- Add some TODO items. Chris Pressey 6 years ago
- Update the syntax used in other places. Remove obsolete examples. Chris Pressey 6 years ago
- Take the overall grammar of the language in a differen direction. Chris Pressey 6 years ago
- Make Term.match() return the unifier instead of modifying the env. Chris Pressey 6 years ago
- Add two more unit tests, suggesting something we want to change. Chris Pressey 6 years ago
- Some of these methods are unused. Chris Pressey 6 years ago
- Begin adding a unit test suite to test the internals. Chris Pressey 6 years ago
- Merge pull request #3 from catseye/remove-functions Chris Pressey (commit: GitHub) 6 years ago
- Implement ?Var syntax for variables, convert TODO to test case. Chris Pressey 6 years ago
- Merge branch 'develop-0.2' of https://github.com/catseye/Samovar into remove-functions Chris Pressey 6 years ago
- Merge pull request #2 from catseye/syntax-reformation Chris Pressey (commit: GitHub) 6 years ago
- Update test case. Chris Pressey 6 years ago
- Merge branch 'develop-0.2' of https://github.com/catseye/Samovar into syntax-reformation Chris Pressey 6 years ago
- Merge pull request #1 from catseye/add-tests Chris Pressey (commit: GitHub) 6 years ago
- Remove support for functions, as I've concluded they're unneeded. Chris Pressey 6 years ago
- Support for new lexical forms (logic symbols and variable names). Chris Pressey 6 years ago