git.iko.soy/project-m36
on YuMingLiao-feature/add_with_relvar_macro help sign in
4b4c0d9make hlint changesAgentM 6111028add With testAgentM 41999dafix missing transgraphrelexpr With exprAgentM 263425cadd error on used names for viewsAgentM bb5afabfix capitalizationAgentM e69a063Merge branch 'feature/add_with_relvar_macro' of https://github.com/YuMingLiao/project-m36 into YuMingLiao-feature/add_with_relvar_macroAgentM ab0ee02re-enable database context function script tests they were disabled due to test failure diagnosis which was actually caused by a bungled project-m36 module installationAgentM 9c5162dfix hlint suggestions due to new version of hlintAgentM 77f4c45restore full builds after caches have been primedAgentM e0c4bbbfully comment out building stepsAgentM dc37fb8temporarily disable hlint and haddockAgentM 265bb89temporarily alter travis script to build dependencies to prime build cacheAgentM 4ae6b92fix hlint complaintAgentM 3d36ba8add missing CPP usageAgentM 0080022squelch unused warnings in bigrelAgentM b0fd8a3add support for network-transport-tcp 0.6.0AgentM b21d575conditionalize NonEmpty binary instance based on binary versionAgentM 672d103add relation atom type resolutionAgentM 2b6470cremove nonempty exampleAgentM c33ea32resolve types in atoms of ConstructedAtoms add test for unresolved constructed atom typesAgentM 0b24d9dadd with macro with multiple viewsJohnny Liao 49cb34dremove example in preference of testAgentM d8ab441refactor NonEmptyList type add test rename NonEmpty to NonEmptyList (we can change this once we support modules) add NonEmptyList AtomFunctions to basic AtomFunction listAgentM e6e62e3add Atomable NonEmptyJohnny Liao a81e186add Changelog and bump to v0.4AgentM 4970d23add some basic createarbitraryrelation documentationAgentM 4f8653dfix import for fromMaybeAgentM 88152a5fix unused function in importAgentM c07d5d7implement hlint suggestionsAgentM 35993a3remove code moved to Arbitrary.hsAgentM 1498c38Merge branch 'feature/arbitrary_tupleset' of https://github.com/YuMingLiao/project-m36 into YuMingLiao-feature/arbitrary_tuplesetAgentM a96c6a4--amendJohnny Liao 2220d23--amendJohnny Liao 83df846--amendJohnny Liao bfa3f0amerge with agentM's branch about specializing Interval.Johnny Liao a330746merge with agentM's branch about specializing Interval.Johnny Liao 890fb96I acccidentally merge it with an old upstream branch. When I try to merge with new one. It asks me commit first.Johnny Liao 1a70d58add Arbitrary special case for built-in Interval typeAgentM 9e1d992convert IntervalAtomType into ConstructedAtomType instead of making it PrimitiveAgentM 32563befix Interval type.Johnny Liao 30d99e9Merge remote-tracking branch 'upstream/master' into feature/arbitrary_tuplesetJohnny Liao 02c5d25implement hlint suggestionsAgentM 478e3dbadd test for arbitrary relation generationAgentM da1386cMerge branch 'master' into YuMingLiao-feature/arbitrary_tuplesetAgentM 6aac95duse AtomType resolution for primitive types instead of attempting to parse primitive types separately which lead to conflicts resolves #205AgentM b09d2f2Merge branch 'feature/arbitrary_tupleset' of https://github.com/YuMingLiao/project-m36 into YuMingLiao-feature/arbitrary_tuplesetAgentM 9ac483fMerge branch 'feature/arbitrary_tupleset' of https://github.com/YuMingLiao/project-m36 into feature/arbitrary_tuplesetJohnny Liao 40b4d5eadd arbitrary ConstructedAtomTypeJohnny Liao 827ba56add arbitrary ConstructedAtomTypeJohnny Liao 8911ef7Resolved merge conflict from upstream masterJohnny Liao