Commits · 19778f5f92d5036256722fb2f45bef95952fa286 · AutonomyCourse_ECEIllinois / OUTDATED Verse-library

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
May 19, 2022
- fixing broken imports · 61c7319d
  li213 authored 2 years ago
  
  61c7319d
- setting up pip installation for project · ce5519fc
  li213 authored 2 years ago
  
  ce5519fc
- add animation to visualize simulation results, working on some examples · 5a014889
  li213 authored 2 years ago
  
  5a014889
- add obj type as static · 63d763fd
  crides authored 2 years ago
  
  63d763fd
- update example · 12c5c3ad
  crides authored 2 years ago
  
  12c5c3ad
- an example of vehicle do something in front of sign · e8956949
  li213 authored 2 years ago
  
  e8956949
May 18, 2022
- experiment: simulation error · 1c40ea91
  crides authored 2 years ago
  
  1c40ea91
- experiment: adding (stop) sign to controller · 2044fb85
  crides authored 2 years ago
  
  2044fb85
May 17, 2022
- working on handling the get longitudinal position function · 4b544c76
  li213 authored 2 years ago
  
  4b544c76
May 16, 2022
- keep working on supporting multiple segments in single lane · 34cecc10
  unknown authored 2 years ago
  
  34cecc10
May 14, 2022
- extend plotter for plotting simulation traces and reachtube · a0c0dcbd
  unknown authored 2 years ago
  
  a0c0dcbd
May 10, 2022
- refactoring the code · 39a0fbc7
  li213 authored 2 years ago
  
  39a0fbc7
May 05, 2022
- working on the curved lanes · 1216387a
  li213 authored 2 years ago
  
  1216387a
May 02, 2022
- adding support for ast.UnaryOp · bd479c6d
  li213 authored 2 years ago
  
  bd479c6d
- working on verification, need to fix ast.Unary object · 333f3a96
  unknown authored 2 years ago
  
  333f3a96
Apr 29, 2022
- keep working on handling the continuous and discrete part of reset for... · fa18f9fa
  li213 authored 2 years ago
  
  keep working on handling the continuous and discrete part of reset for verification of the two car example
  fa18f9fa
Apr 27, 2022
- working on verification of the two car straight lane example · f6279be1
  li213 authored 2 years ago
  
  f6279be1
Apr 25, 2022
- switching from my expression tree to using ast as expression tree · d8a85c44
  li213 authored 2 years ago
  
  d8a85c44
- getting two car straight lane switch example working · 95f971c6
  li213 authored 2 years ago
  
  95f971c6
- working on the maps · ff07146b
  li213 authored 2 years ago
  
  ff07146b
Apr 21, 2022

further refine how variables are stored in ControllerAst, deciding the... · dcc18ca2

li213 authored 2 years ago

further refine how variables are stored in ControllerAst, deciding the interface for setting map and sensor for user

dcc18ca2

Apr 20, 2022
- working on interaction between agents, looking into how map should be handled · 5c03682f
  li213 authored 2 years ago
  
  5c03682f