Commits · ec158735b71e060c2c57cfc79a46d68cecf1f3cd · AutonomyCourse_ECEIllinois / OUTDATED Verse-library

Jun 21, 2022
- cleaned up version of ball bounce · ec158735
  sayanmitracode authored 2 years ago
  
  ec158735
- Merge branch 'simple_map' · 075fa18a
  li213 authored 2 years ago
  
  075fa18a
- add a simple stop sign example demo8.py; move the time step out as a parameter · bacf14b1
  li213 authored 2 years ago
  
  bacf14b1
Jun 20, 2022
- working on stop sign example · 0d426865
  lyg1597 authored 2 years ago
  
  0d426865
- Merge pull request #6 from braught2/simple_map · b1d4e3f6
  li213 authored 2 years ago
  
  Simple map
  Unverified
  
  b1d4e3f6
- fix small bug due to inconsistency between python 3.8 and 3.10 · 24fd4b39
  li213 authored 2 years ago
  
  24fd4b39
- add baseline (defulat sensor); add default map; add unaryop NOT support for verification · aee1a10d
  li213 authored 2 years ago
  
  aee1a10d
- add function to plot point in 3d plotter · 515a3853
  li213 authored 2 years ago
  
  515a3853
- handle cases when the returned transition is empty · 9041ae32
  li213 authored 2 years ago
  
  9041ae32
Jun 19, 2022
- ball collision checks · a2d8f0c9
  sayanmitracode authored 2 years ago
  
  a2d8f0c9
- done for now · bf1d4b0d
  sayanmitracode authored 2 years ago
  
  bf1d4b0d
- 1 ball semi working · a0aa4a5c
  sayanmitracode authored 2 years ago
  
  a0aa4a5c
- 1 ball semi working · 46a35a21
  sayanmitracode authored 2 years ago
  
  46a35a21
- working version of ball bounces · a69a14d8
  sayanmitracode authored 2 years ago
  
  a69a14d8
Jun 18, 2022
- trying to create a bouncing ball · b991304a
  sayanmitracode authored 2 years ago
  
  b991304a
Jun 16, 2022
- ballsy · 749297c1
  sayanmitracode authored 2 years ago
  
  749297c1
- adding comments in car models · 11ca11c6
  sayanmitracode authored 2 years ago
  
  11ca11c6
- add more examples; handle unary op NOT in verification; handle fix bug in... · ec12971e
  li213 authored 2 years ago
  
  add more examples; handle unary op NOT in verification; handle fix bug in handle of left_lane/right_lane built-in function in any/all statement; utilize how guard for multiple agents are handled in simulation
  ec12971e
Jun 14, 2022
- working on performance optimization by moving around code performing unroll... · c2c610c2
  li213 authored 2 years ago
  
  working on performance optimization by moving around code performing unroll and handle discrete variables
  c2c610c2
Jun 13, 2022
- testing various examples · ec59da39
  li213 authored 2 years ago
  
  ec59da39
Jun 10, 2022
- demo for group meeting · d64288ef
  li213 authored 2 years ago
  
  d64288ef
Jun 09, 2022
- trying N car scenarios with the new plotter · ae508c2c
  li213 authored 2 years ago
  
  ae508c2c
- working on verfication part for any/all, add two examples with N cars · 48a7d895
  li213 authored 2 years ago
  
  48a7d895
- backup the development file · 97f1d3db
  li213 authored 2 years ago
  
  97f1d3db
Jun 08, 2022
- working on examples with any to handle scenarios with N cars · 8b4f18da
  lyg1597 authored 2 years ago
  
  8b4f18da
- add cmd to update dependencies · 767ca6ca
  keyis2 authored 2 years ago
  
  Unverified
  
  767ca6ca
- pkg issue fixed · e836e1b0
  keyis2 authored 2 years ago
  
  e836e1b0
- plotly-based visualization v1 · 230cb58d
  keyis2 authored 2 years ago
  
  230cb58d
Jun 07, 2022
- get a prototype implementation to handle any · b088099e
  unknown authored 2 years ago
  
  b088099e
- working on any/all function calls · acfe68c0
  lyg1597 authored 2 years ago
  
  acfe68c0
May 25, 2022
- tests · c0aa25e6
  sayanmitracode authored 2 years ago
  
  c0aa25e6
- read · dd33a4f4
  Sayan Mitra authored 2 years ago
  
  dd33a4f4
- Merge pull request #5 from braught2/simple_map · 447c5506
  sayan m authored 2 years ago
  
  Simple map
  Unverified
  
  447c5506
- added 2 tests with cars in scene · e2471f0f
  Sayan Mitra authored 2 years ago
  
  e2471f0f
May 22, 2022
- fixed testdpp; still requires example_controller1.py in the same directory · f7e6c2b2
  Sayan Mitra authored 2 years ago
  
  f7e6c2b2
- Merge pull request #4 from braught2/simple_map · b6d4a259
  li213 authored 2 years ago
  
  Merge demo for ICRA to main
  Unverified
  
  b6d4a259
- update README · a13edfd1
  unknown authored 2 years ago
  
  a13edfd1
May 21, 2022
- refining the examples a little bit · 205411f3
  li213 authored 2 years ago
  
  205411f3
May 20, 2022
- small changes on folder structure · 19778f5f
  li213 authored 2 years ago
  
  19778f5f
- moving null controller inside python parser · 386ee2c3
  li213 authored 2 years ago
  
  386ee2c3