Archived

This repository has been archived on 2026-01-12. You can view files and clone it. You cannot open issues or pull requests or push a commit.

T

BrittanyBi e47f2556f6 PAN-10 code & tests. 100% coverage.

Node class extracted from ParserService class.
ParserConfig deleted because it wasn't being used.

2019-03-03 18:51:11 -07:00

config

change git root

2019-03-03 16:13:24 -07:00

gradle/wrapper

change git root

2019-03-03 16:13:24 -07:00

lib

change git root

2019-03-03 16:13:24 -07:00

out

change git root

2019-03-03 16:13:24 -07:00

persistence

change git root

2019-03-03 16:13:24 -07:00

services

PAN-10 code & tests. 100% coverage.

2019-03-03 18:51:11 -07:00

src

change git root

2019-03-03 16:13:24 -07:00

utilities

change git root

2019-03-03 16:13:24 -07:00

.gitignore

change git root

2019-03-03 16:13:24 -07:00

.travis.yml

PAN-7 Updated the .travis.yml file

2019-02-24 16:18:36 -07:00

build.gradle

change git root

2019-03-03 16:13:24 -07:00

gradle.properties

change git root

2019-03-03 16:13:24 -07:00

gradlew

change git root

2019-03-03 16:13:24 -07:00

gradlew.bat

change git root

2019-03-03 16:13:24 -07:00

gradlew~Stashed changes

change git root

2019-03-03 16:13:24 -07:00

lombok.config

change git root

2019-03-03 16:13:24 -07:00

README.md

Added the README

2019-03-03 16:15:35 -07:00

settings.gradle

change git root

2019-03-03 16:13:24 -07:00

README.md

Pandamonium Theorem Prover

This is the main repository for the Technical Software Project