git.iko.soy/project-m36
on 6cd3cb1 help sign in
history ofTutorialDInterpreterTest.hs
all commits
3335353add tests for transaction operatorsAgentM 6e2c6b0add new commit testAgentM 455a020first TransactionGraph test case workingAgentM 3a95699WIP compilation checkpointAgentM 89eff3bWIP transaction supportAgentM 7f32362add Tutorial D insert testAgentM 35688d4add basic tuple constructor to Tutorial D interpreterAgentM f95e64cadd relational equality operator to Tutorial DAgentM 2f6b871implement update operator with simple restriction clause implement simple Tutorial D actions to allow for "quit" actionAgentM 6cbd8a3implement basic restriction clauses and evaluationAgentM f0a3d88add inclusion dependency tutd test and fix constraint checking functionAgentM 2e1e4d2refactoring to add more expression typesAgentM d284af9100% rename test coverageAgentM bbf9221add simple projection test in Tutorial DAgentM 7555bfbimplement rename for Tutorial DAgentM 49ed722working Tutorial D parserAgentM