gr1c_v0.13.3.zip
tulip-control-gr1c-bceccec
.github
workflows
iga.yaml
1.9 kB
main.yml
2.2 kB
.gitignore
399 Bytes
CHANGELOG
5.6 kB
CITATION.cff
402 Bytes
CMakeLists.txt
1.6 kB
LICENSE.txt
1.5 kB
Makefile
4.4 kB
README.md
3.8 kB
aux
README
227 Bytes
autman.c
11.4 kB
build-deps.sh
395 Bytes
contrib
README
515 Bytes
gen4g.py
1.4 kB
py
.gitignore
35 Bytes
README.rst
813 Bytes
gr1c
__init__.py
113 Bytes
cli.py
363 Bytes
setup.py
1.2 kB
readjson.py
2.7 kB
doc
Doxyfile
688 Bytes
api_intro.md
6.7 kB
formats.md
5.8 kB
gr1c.1
2.3 kB
gr1cdoc.css
39 Bytes
installation.md
8.7 kB
interaction.md
4.5 kB
output.md
298 Bytes
papers.md
1.4 kB
spc_format.md
6.9 kB
start_dev.md
6.9 kB
verification.md
3.8 kB
examples
PitPnuSaa2006
arbiter2.spc
474 Bytes
gen_arbspec.py
2.2 kB
gen_liftspec.py
2.4 kB
liftcon3.spc
590 Bytes
README.md
3.9 kB
adv.spc
104 Bytes
api
Makefile
1.2 kB
printwin.c
4.9 kB
counter.spc
583 Bytes
counter3.spc
176 Bytes
gridworld_bool.spc
15.8 kB
gridworld_dreach.spc
4.9 kB
gridworld_env.spc
4.4 kB
gridworld_env_bool.spc
6.6 kB
jit
1troll.spc
22.4 kB
2trolls.spc
43.8 kB
gw2goals1obs.spc
2.6 kB
gw2goals1obs_1024x1024_o8.spc
132.1 kB
tunnel.spc
37.7 kB
patching
dgridworld_2x10.edc
101 Bytes
dgridworld_2x10.spc
1.1 kB
dgridworld_2x10_bool.edc
353 Bytes
dgridworld_2x10_bool.spc
6.4 kB
trivial.spc
527 Bytes
trivial_partwin.spc
289 Bytes
trivial_reach.spc
433 Bytes
exp
README
756 Bytes
grjit.c
21.7 kB
grpatch.c
26.5 kB
get-deps.sh
1.0 kB
get-extra-deps.sh
1.2 kB
include
automaton.h
11.4 kB
common.h
2.1 kB
gr1c_util.h
5.1 kB
logging.h
1.6 kB
patching.h
4.4 kB
ptree.h
9.2 kB
sim.h
768 Bytes
solve.h
6.3 kB
solve_metric.h
1.4 kB
solve_support.h
2.9 kB
packaging
README
290 Bytes
build-bdist.sh
1.2 kB
build-sdist.sh
194 Bytes
macports
Portfile
1.7 kB
run-tests.sh
265 Bytes
src
automaton.c
12.7 kB
automaton_io.c
40.6 kB
gr1c_parse.y
22.5 kB
gr1c_scan.l
1.8 kB
interactive.c
37.7 kB
logging.c
4.6 kB
main.c
28.0 kB
patching.c
40.8 kB
patching_hotswap.c
30.9 kB
patching_support.c
20.6 kB
ptree.c
30.2 kB
rg_main.c
22.6 kB
rg_parse.y
22.0 kB
sim.c
16.7 kB
solve.c
37.0 kB
solve_metric.c
16.3 kB
solve_operators.c
19.9 kB
solve_support.c
9.6 kB
util.c
27.0 kB
tests
Makefile
2.1 kB
expected_outputs
count_onestep.spc.ALL_INIT.listdump.out
99 Bytes
count_onestep.spc.listdump.out
59 Bytes
free_counter.spc.listdump.out
91 Bytes
patching
gridworld_2x20_1obs.edc.autdump.out
7.5 kB
gridworld_2x20_1obs.spc.autdump.out
6.9 kB
reach_2var.spc.listdump.out
82 Bytes
reach_2var_mustblock.spc.listdump.out
116 Bytes
reach_count_onestep.spc.listdump.out
76 Bytes
reach_free_counter.spc.listdump.out
140 Bytes
reach_free_counter_mustblock.spc.listdump.out
116 Bytes
trivial_2var.spc.listdump.out
97 Bytes
trivial_mustblock.spc.listdump.out
104 Bytes
flawed_reach_specs
duplicate_crossvars.spc
105 Bytes
duplicate_envvars.spc
105 Bytes
trivial_extragoals.spc
111 Bytes
trivial_repgoal.spc
105 Bytes
flawed_specs
duplicate_crossvars.spc
119 Bytes
duplicate_envvars.spc
119 Bytes
invalidvarnames.spc
15 Bytes
trivial_dupeinit.spc
126 Bytes
trivial_novars.spc
90 Bytes
trivial_trans.spc
112 Bytes
trivial_trans2.spc
106 Bytes
trivial_trans3.spc
117 Bytes
trivialnb_lowerbound.spc
59 Bytes
interaction_scripts
gridworld_bool_IN.txt
1.4 kB
gridworld_bool_OUT.txt
680 Bytes
trivial_partwin_IN.txt
331 Bytes
trivial_partwin_OUT.txt
234 Bytes
specs
arbiter4.spc
952 Bytes
count_onestep.spc
384 Bytes
empty.spc
79 Bytes
free_counter.spc
246 Bytes
gridworld_bool.spc
15.8 kB
gridworld_env.spc
6.6 kB
patching
gridworld_2x20_1obs.edc
692 Bytes
gridworld_2x20_1obs.spc
7.6 kB
reach_2var.spc
156 Bytes
reach_2var_mustblock.spc
133 Bytes
reach_count_onestep.spc
229 Bytes
reach_free_counter.spc
301 Bytes
reach_free_counter_mustblock.spc
325 Bytes
trivial_2var.spc
252 Bytes
trivial_mustblock.spc
74 Bytes
trivial_partwin.spc
289 Bytes
trivial_un.spc
108 Bytes
test-cli.sh
3.2 kB
test-gr1c.sh
6.5 kB
test-grpatch.sh
1.6 kB
test-verification.sh
1.6 kB
test_aut_aut_dump.c
6.1 kB
test_aut_aut_load.c
5.7 kB
test_aut_prune_deadends.c
1.0 kB
test_automaton.c
7.0 kB
test_bitblasting.c
929 Bytes
test_logging.c
3.6 kB
test_patching.c
7.3 kB
test_ptree.c
14.9 kB
test_ptree_to_BDD.c
2.5 kB
test_solve_support.c
7.2 kB
test_util.c
2.2 kB
tests_common.h
509 Bytes
vm
Dockerfile
1.1 kB
Vagrantfile
1.0 kB