rairlab/Spectra
1
0
Fork 0
mirror of https://github.com/RAIRLab/Spectra.git synced 2025-10-26 22:51:19 +00:00
Code Issues Projects Releases Packages Wiki Activity
61 commits 3 branches 0 tags 6.2 MiB
Commit graph

61 commits

This branch
This branch
All branches
Author SHA1 Message Date
Brandon Rozek
d9a893e487
Checkout submodule 2023-03-30 16:01:12 -04:00
Brandon Rozek
067db0e5b8
Updating java version 2023-03-30 15:58:37 -04:00
Brandon Rozek
97843c79e0
Install ShadowProver first 2023-03-30 15:55:21 -04:00
Brandon Rozek
007c87e57e
GitHub Compile Action 2023-03-30 15:51:01 -04:00
Brandon Rozek
4f1f9c0b83
Moved snark to submodule 2023-03-30 15:33:03 -04:00
Brandon Rozek
0b01117377
Command check fix 2023-03-29 22:18:35 -04:00
Brandon Rozek
0e3de64cdd
Maven command check 2023-03-29 21:47:43 -04:00
Brandon Rozek
8790ccde66
Argument count check 2023-03-29 21:25:00 -04:00
Brandon Rozek
d6bc88566f
Runner CLI Script 2023-03-29 21:17:09 -04:00
Brandon Rozek
395872a4d4
Breadth First Search Implementation 2023-03-29 21:16:53 -04:00
Brandon Rozek
bad5fb5914
Work to get it to compile 2023-03-29 21:15:57 -04:00
Naveen Sundar Govindarajulu
9532243465 remove unused file 2021-01-04 17:49:21 -08:00
Naveen Sundar Govindarajulu
e4835758b7 Added a docker image containg a Py4J server. 2021-01-04 17:46:04 -08:00
Naveen Sundar Govindarajulu
344824aae8 clean up tests 2021-01-04 15:24:49 -08:00
Naveen Sundar G
eb31602b35
Update Guava 2020-06-16 09:58:42 -07:00
Naveen Sundar Govindarajulu
839b3e3172 Adding a simplifier. 2018-06-18 22:05:40 -07:00
Naveen Sundar Govindarajulu
32e7a8fe4c TORA example 2018-06-18 18:29:40 -07:00
Naveen Sundar Govindarajulu
2624b0c411 Adding in the soda can challenge. 2018-06-15 14:55:57 -07:00
Naveen Sundar Govindarajulu
5ca5fcfc5d pom file 2018-06-15 14:48:38 -07:00
Naveen Sundar Govindarajulu
6764c7faa4 Adding in the soda can challenge. 2018-06-15 14:48:24 -07:00
Naveen Sundar G
411e51dfc9 Set theme jekyll-theme-minimal 2018-06-01 14:10:41 -04:00
Naveen Sundar Govindarajulu
f47ea35b08 Merge branch 'master' of github.com:naveensundarg/Spectra 2018-06-01 13:43:52 -04:00
Naveen Sundar Govindarajulu
96688ccf2e changes 2018-06-01 13:43:49 -04:00
Naveen Sundar Govindarajulu
fc1cbfb5ab Fixes 2018-03-15 00:25:49 -07:00
Naveen Sundar Govindarajulu
e6cfb3e654 A lot of commits. 2018-01-02 14:32:09 -08:00
Naveen Sundar G
8b5a78f323
Update README.md 2017-12-29 00:53:33 -08:00
Naveen Sundar G
aabdc39b8a
Update README.md 2017-12-29 00:52:55 -08:00
Naveen Sundar G
f58f0eecbf
Update README.md 2017-12-29 00:52:08 -08:00
Naveen Sundar G
6abf53c6b5
Update README.md 2017-12-29 00:44:28 -08:00
Naveen Sundar G
df4d99d855
Update README.md 2017-12-29 00:40:04 -08:00
Naveen Sundar G
7722931bd9
Update README.md 2017-12-29 00:25:16 -08:00
Naveen Sundar G
6a47400d33
Update README.md 2017-12-29 00:22:24 -08:00
Naveen Sundar G
df6d93b9d5
Update README.md 2017-12-29 00:21:34 -08:00
Naveen Sundar G
e43943fdc6
Update README.md 2017-12-29 00:14:01 -08:00
Naveen Sundar G
b0f425d3c7
Update README.md 2017-12-29 00:11:50 -08:00
Naveen Sundar G
e723fb5a1e
Update README.md 2017-12-29 00:08:54 -08:00
Naveen Sundar G
3c0df78d28
Create README.md 2017-12-29 00:05:17 -08:00
Naveen Sundar G
e485f19c64 Set theme jekyll-theme-cayman 2017-12-29 00:04:19 -08:00
Naveen Sundar Govindarajulu
9bdf4fe029 Support for plan methods 2017-12-22 17:44:24 -08:00
Naveen Sundar Govindarajulu
381bbc60af Solving a seriated cup challenge. 2017-06-10 22:44:47 -07:00
Naveen Sundar Govindarajulu
cdb9c455c8 Fix caching bug. Getting demo to work. 2017-01-24 15:40:51 -06:00
Naveen Sundar Govindarajulu
5ec5169ae5 some more edits. 2017-01-24 15:24:08 -06:00
Naveen Sundar Govindarajulu
04995c6990 Caching and new problem. 2017-01-23 23:21:01 -08:00
Naveen Sundar Govindarajulu
17cf8b245d More warming up. 2017-01-22 11:31:57 -08:00
Naveen Sundar Govindarajulu
5cc43e4b00 More tweaks. 2017-01-22 11:29:26 -08:00
Naveen Sundar Govindarajulu
8d5f2464a1 Checking if an action is non-trivial 2017-01-22 09:33:10 -08:00
Naveen Sundar Govindarajulu
079af81ce0 getters and setters added. 2017-01-21 09:15:17 -06:00
Naveen Sundar Govindarajulu
bfaaf6d882 Speeding up things 2017-01-21 09:13:58 -06:00
Naveen Sundar Govindarajulu
b2da460d5c adding methods to manage the background. 2017-01-19 17:19:46 -05:00
Naveen Sundar Govindarajulu
6919c09a4a Delete goal method. 2017-01-19 16:41:07 -05:00